skysight-inc/HackerNews huggingface dataset:
Look, I'm not trying to bash on static typing. I like type systems. I love Haskell's, for example. I missed static type checker in every single dynamically typed language, and Clojure is not an exception.

That being said, there's no conclusive evidence that dynamically typed systems can't be robust and scalable. Sometimes, dynamically typed systems make absolute sense, especially in the context of homoiconic language like Clojure, where you have a "true" REPL.

An analogy I can think of is wired headphones vs. Bluetooth headphones. Audiophiles would vehemently argue that you cannot deliver quality sound via wireless, and all professionals use wired headphones. But sometimes, wireless headphones are what you need - they grant you some freedom, for a small price - you have to charge them, you have to be close the source all the time, there's interference, etc. But at the end of the day, I rather charge them once in a while and enjoy the music.

After using Clojure for some time, now, whenever I need to program in a statically typed language - it feels like I'm a traveler, passing through a series of checkpoints in medieval China or something. Too much ceremony. Perhaps I'm just not smart enough to solve puzzles imposed by a type system over and over again. Maybe the simplicity that Clojure offers allows me to stay dumb and focused on the task at hand, and enjoy the ride.
China bans cash rewards for publishing papers
It is not an issue of "do this to fix it." It's an open secret that it is very intentional. You just have to look at the demographics with any sense of integrity. The issue is that there are people who fundamentally believe certain groups should not have the right to vote.

They can't actually say "I don't want X to vote because we all know they commit rampant voter fraud" because it isn't politically correct (or true, but the U.S. doesn't care about truth); however, they really believe they are literally fighting a holy/principled war to protect the U.S.

The U.S. is being carved apart because there are fundamental beliefs that are beyond being tested for veracity and must be enacted or the "others" will destroy this country.
The common cold definitely destroys vast amounts of wealth day after day, we just don't see a dip because it's regular and predictable, that is, already priced in stock prices.

As to the question, yes, that can well happen.

Note that we could also argue that the common cold virus has domesticated us. We're its cattle.
Work on scripts/automation/testing. Do any prep work or reading/research.

Get any systems setup, updated, patched etc.

Learn new tech and methodologies that may help you in the new project.
Figma mockups connected to AirTable for a working Nativeapp (BravoStudio)
Angaza | San Francisco or Nairobi | ONSITE | https://www.angaza.com/careers/

Angaza makes it possible for life-changing products, such as solar + battery home energy systems, to be sold _on payment plans_ in off-grid regions across Africa and Asia.

We've reached millions of people whose homes now have electricity for the first time:

- https://youtu.be/2EvEeAs_9R4 and https://youtu.be/onMT6_Yv67I

- https://www.angaza.com/category/engineering/

The technology you build will reach more than a billion more. We are hiring software engineers (Python + Postgres, JS + React), an embedded applications engineer, and other roles in San Francisco and Nairobi:

- https://www.angaza.com/careers/

You can also read more about Angaza engineering culture on our Key Values page:

- https://www.keyvalues.com/angaza
Don't blame the US. Here in Germany, its 300 EUR out of pocket to get tested (source: tagesspiegel from a few days ago, a story about a guy in Berlin, returning from a trip to Italy and wanting to get tested before getting together with his wife and kids. Doctors didn't want to see him, and the only clinic that was willing to do the test would charge 300 EUR. Public health insurance doesn't pay. Private health insurance probably would though, but it sounded the like he had just public).
Only because apparently you don't make proper use of Dataflow and TPL libraries.

Besides, the recent security exploits have proven that it is time to go back into multi-processes, and here Rust doesn't have anything to offer.

So one should tune a bit down the tone of labelling all the other languages as unsafe, even managed ones, industry standards like SPARK, or system research languages like ATS.
I'd like to understand what you're doing, but I'm missing something.

1. Adjoining ε such that ε² = 0.

If the numbers have the form a + bε, isn't the action of ε to map (a, b) to (0, a)? Did you mean to say that ε = [0,1; 0,0]?

2. Adjoining φ = (1 + √5)/2 = [0,1; 1,1].

I'm fascinated by the idea of determining that a 2x2 matrix is equal to a real number.

I see that if you take successive powers of the real number φ, and express them in the form aφ + b, the coefficients a and b will take on values from the Fibonacci sequence. So far so good.

I don't follow the claim that the matrix [0,1; 1,1] actually represents φ. This would imply that the formula F_n = [1, 0] · φ^(n+1) · [1, 0] means that F_N equals the real number 1 (= 1 + 0φ), times φ^{n+1}, times 1 again. But this isn't true. It certainly is true that [1,0][0,1; 1,1]^{n+1}[1,0] is equal to F_n, but I don't follow the interpretation as adjoined numeric values (as opposed to as coefficients of φ).

3. Equivalence of representations [a,b] and aI + bM, where M is a 2x2 matrix representing any adjoined number.

This looks to me like the claim that if [a,b]M = [c,d], then (aI + bM)M = cI + dM. I tried to work this out algebraically and I'm pretty sure it isn't true in general. I'm open to being told that I'm wrong about this. Have I interpreted the idea correctly? What are the conditions under which the equivalence holds?
I can't find any crops that are high in vitamin D.

Some fungi have decent vitamin D, but it's certainly not a major "crop" in Scandinavia.
Great work! Curious about a couple of things on your app store listing [1]:

1. What does the app's home page look like? What I can see from the screenshots looks like a second-level view to me.

2. When you say "Reports written for you by real human editors" does that mean that you are personally employing someone to write these reports or are they algorithmically selected?

3. How much is the monthly subscription and what does it offer over and above the free version?

[1] https://apps.apple.com/us/app/brief-news-for-busy-people/id1...

> Right now we’re iOS only, but we want to build web and Android options. If you’d be interested in either

Yes, definitely interested in the web version.
The corresponding race in the Second Apocalypse are the Sranc, an artificial genetic aberration derived from the Nonmen by aliens that possess superior biotech.

I concur with OP's comments that the Second Apocalypse is much darker than LOTR. The Sranc embody this difference. Partly due to how much more graphic detail an author can get away with these days, Sranc are much more brutal, bestial and disgusting than Orcs.
Compuware to be sold to Houston firm also owned by private-equity
Why blue whales are not cancer-prone [video]
SEEKING WORK | Remote | Europe, Vienna | Technical Lead in Machine Learning | 20 hours/week

I am a technical lead with experience (10y+) in building APIs, Full-Stack systems, and ML/DL solutions. To mention a few, my teams and I have designed systems to process 100s of TB of data, deployed conversational (speech) agents, and I have coached junior developers to build OCR and Speech Recognition systems. I've hired and managed developers, introduced them to TDD and CI concepts.

Ideally, I am looking for clients with projects that need to do some data crunching. I love working with startups as I used to run one.

Technologies: Python, PyTorch, Keras, PyMC, Pandas, Java, Spring Boot, Rust, Google Cloud, Azure, Docker, Kubernetes, Spark, Ansible

LinkedIn: https://www.linkedin.com/in/tadassubonis/

Email: tadas dot subonis at gmail dot com

Hourly Rate: 120€/h
It seems like this problem has only been allowed to get so bad because it's a silent failure. We throw things in the recycling, and without any feedback we assume they are recycled.

The failure should be pushed up the chain, at least to the consumer. The rules on what can be recycled should be realistic and consistently enforced, then people can make more informed choices (up to and including pushing for regulation on manufacturers).
I think a lot of the people choosing to forgo education for an immediate job probably also had some familiar financial pressures that made that choice more appealing. Children helping their parents with money isn't new; the expectation of 12+ years of schooling is new.

Choosing to continue formal education rather than generate income is a choice that is a lot easier for those who are better off. It's surprising to me that, even as vaguely leftist sentiments run through it, your argument hinges on a myth of egalitarian education while denying any possible effect of wealth inequality.
You can create GIFs of your product in action using this handy tool: https://www.screentogif.com/
I don't buy this answer. If the shift button is three actions then the capslock is four.

Shift: Press -> hold -> release

Lock: Press -> release -> press -> release

Both cases require timing. I'm not convinced he's faster because of capslock, he seems to be faster in spite of it.

I also use a hybrid typing style. For example, the word "server". The first time I strike the "e" with my middle finger and the second "e" is with my ring finger, freeing my middle finger to type the final "r" because my index finger is still at the lower row after typing "v". Surely he uses this style of non-traditional touch typing for words like "Azure, Qatar, Zaire," but I think the flexibility of finger choice is the secret to success, not the capslock key.
Is this integrated with the shell? Can I write shell scripts and python scripts to eg. grab today's entries from my gmail calendar, etc
Completely missing all of the legacy data aggregators that form the bulk of the iceberg.
I don't know where you are going with this.

The thesis is that wheeled bags were created due to "air travel by people too poor to have someone else cary the bag".

I read this as meaning specifically passengers, but I'll accept that it also applies to flight crew.

My counter-thesis is that even if they could afford porter services, wheeled luggage is still useful, and there's no reason that a, say, $5 million/year salary would have precluded the creation of wheeled luggage for flight crew.

It really must be porter services, as personal butlers isn't a realistic possibility. Consider that crew changes mean the butler may end up on a different flight than the crew member, at the last minute. The butler could follow in a private jet, but it needs the same range, and the ability to handle the same weather.

Could Besos, working as a steward with a last-minute flight change into La Guardia when all slots are full, also bring his butler along with him? I ... don't think so?

If we say they are all centi-millionaries - and assuming that commercial travel would exist in that case - we still need to consider peer pressure. Every rich golfer can afford golf cart rental to go from tee to tee. But it's part of the sport to walk it, and those who don't, and where there's no health issue or other reason preventing walking, are frowned upon.

Does the King of the Netherlands, in his part-time career as a KLM pilot, use a porter or steward? From what little I could infer, no, he does not. But he does short-haul flights, so that's not really conclusive.

Edit: You wrote: "Even paying someone minimum wage to carry the bag to the airport would be a significant chunk of change."

The upper bound for that is the cost of a taxi ride. The crew member would want to be on the same transport as the luggage.

And for overnights away from home, I believe the airliner pays for hotel and ground transport already.
Ugh, I hate it already. I am sure it would be wildly successful.
"imagine a VR world"

I don't see how this contributes any insights into the issue. How is that "world" any different from a real world experience, relevant to this issue?

I mean, nothing in Disneyland's Pirates of the Caribbean ride explains "why it feels to everyone like experiences are being exported out of it" either.
In any case, if the program forks in order to exec, it shouldn't be using fork at all, but posix_spawn. Fork gets more expensive as the virtual memory of the process grows, since it needs to copy page tables. For very large process forking can be prohibitively expensive due to this. And posix_spawn does not have this problem.
Parents too
Not connected with them. Here is a their website https://www.bravostudio.app/
Do you believe that Google or Facebook sells personalized profiles of the form "jschwartzi is interested in tacos"?

Because that isn't how these companies work.
Looks interesting, excited to see where it goes.

It feels to me like something a motivated open source project could do well, too. What's the thing that will get people to pay for this? Slick team/enterprise features?
More simply? Forget about the word "remote" because it doesn't work like any remote in the history of the universe and it confuses the hell out of people to say it's one.

Here's simpler:

Start watching something on your phone. Now hit this button, this is the button to send what you're watching to the TV. Now choose the TV. See, it's stopped playing on your phone and picked up on the TV from right where you were.
I tossed my $0.02 in reply to a sibling comment.
6S? I'm still rocking my iPhone SE!
Location: Portugal, Europe

Remote: Yes

Willing to relocate: No

Technologies: React, HTML, CSS, JavaScript (ES6+), Styled Components, Emotion, PostCSS, Next.js, Gatsby.js, Redux, MobX,GraphQL, Bootstrap, Figma, Sketch, Node.js

Résumé: https://tiagoduarte.com/static/resume.pdf

Email: hello@tiagoduarte.com

GitHub: https://github.com/HelloTiago

I'm a seasoned front-end developer with extensive experienced working with both designers and backend developers to implement modern and performant User Interfaces. I enjoy working in a fast paced environment and preferably in small teams, but I don't shy away from being part for a large team.
Changed to that from https://www.schneier.com/blog/archives/2020/03/facebooks_dow.... Thanks!
Procore is a construction tech "unicorn".

A helpful analysis of the S-1 can be found here:
https://news.crunchbase.com/news/construction-tech-unicorn-p...

The summary:

> It revealed both increased revenue and net loss in 2019. Specifically, the company’s revenue surged 55 percent in 2019 to $289.2 million compared with $186.4 million in 2018. At the same time, its net loss was up by 46.5 percent to $83.1 million in 2019 compared to $56.7 million in 2018.
I picked up this half keyboard for $30 at an embedded conference in Boston probably 15 years ago. It's amazing how quickly your brain 'gets' it and your typing speed ramps up:
https://matias.ca/halfkeyboard/

I'm guessing at some point they got approved as an assistance device, because now they sell for $500. Presumably it's insurance companies that are paying at this rate.
I was just at a pharmacy where I asked the cashier to use hand sanitizer because she kept touching her damn nose every minute or two and she blew me off and told me "I've been using hand sanitizer all day."

If you could smack a few million people upside the back of the head and get them to actually, in fact, practice the hygiene stuff that gets repeated all the time and utterly ignored, you could save thousands of lives.

Stop touching your face.

Stop touching your face.

Train cashiers to practice actual germ control.

Don't let them lick their fingers to open bags. Fire them if they do stuff like touch their nose and then immediately handle money or lick their fingers to open bags.

The single biggest obstacle to germ control is the fact that most humans don't want to actually practice it. Making it a widespread habit would nearly put a stop to most epidemics all on its own, but we are too busy sticking our heads up our butts to do that.
A Stealthmode start-up in the AI/Healthcare space is looking for the following:

-UX Researcher

-Product Manager: Healthcare experience required

-Signal Radar Signal Processing Engineering: Familiar with radar systems, including FMCW, MIMO, beamforming, etc. Proficiency in C/C++, Matlab, and Python.

Please email resumes to hiring@stealthmode.co
Ntropy | https://ntropy.network/ | ML & Backend engineers | SF Bay Area / Remote | Full-time

Ntropy is a platform to unify user data between fintechs in a scalable and privacy-preserving way. This will enable large players to monetise their data advantage and small projects to bootstrap risk models to the level of an established bank.

You will be one of the first hires joining the team of two founders to disrupt the way machine learning models train on user data in personal finance.

We are currently closing our second round of funding and will be scaling up the team to 10-12 people over the next 8 months

stack: Tensorflow / Node.js / Python / some Rust / lots of GPUs
You may reasonably expect C++23 library features to show up in (or by) 2023, just as C++20 features will be out in this calendar year. You might have private reasons to delay adopting C++23 until 2025, but there is nothing the rest of us can do about that.

Java TPL is very, very limited when compared to C++23 executors.

"Concurrency", by the way, has come to refer to the synchronizing interactions that cause slower-than-xN parallelism.
Their email is even down so you can't even contact them anymore except via twitter. Emails to support@robinhood.com are being rejected.
Hey New York Times: a causal loop diagram is not a PowerPoint fail (2013)
I believe they meant that it's scary that we don't have data in here from a place where we have heard the virus is both spreading quickly and having a high mortality rate.

Not ominous as in any way indicative of a conspiracy or otherwise.
Yes, they took it. But my understanding is that only a small proportion that made it to China even got recycled and much of it ended up in Chinese landfill or being incinerated [1]. Hence they banned accepting it.

1. https://advances.sciencemag.org/content/3/7/e1700782?ijkey=8...
To follow up on this (in case you see ever see this comment) - I don't think that the linked article suggests that rooting the phone -permanently- damages anything. To me, that reads more like "the phone's bootloader checks to see whether it's booting a signed kernel. If not, it tells the battery controller to limit charging capacity until the next boot."

In this particular case, it was probably a safety thing on that particular phone. I bet that Samsung pushed it in a firmware update because of their "batteries catch fire" issue, which was fixed with some patches to the kernel driver. Chances are this was intended to make sure that somebody running an unsigned/homebrew kernel (which might or might not have the patched charge-controller drivers) wouldn't be able to make their battery catch fire.
Definitely the worst timing possible. As stocks receded last week and now are bouncing back today, many investors will want to get back and take out positions to either reclaim some losses or just catch the upside.

But if you weren't in at the opening bell or there about those profits are gone.

Of course with any platform like this they do not hold liability for the inability to perform orders as that will be stipulated in their TOS but it will certainly lead to a considerable amount of churn.

There are industries where you can have an outage and it won't ruin your business. Certainly Twitter had it's fair share and was able to get past them over time, but having an entertainment or news source go down isn't the same as a service which is dealing with your money.

A single outage at the wrong moment is enough to create enough of a reason for customers to lose all trust and immediately leave. And the timing of the issue couldn't have been worse.

Whether it was an update to the app from last week, or simply a surge in trading activity that led to the issue is unknown but certainly the impact of this will likely be felt for the next couple of weeks as customers decide whether or not to stick with the platform. But breaking trust in the fintech sector happens quickly and it's hard to retrace.
The sluggishness with video streaming in Firefox on macOS might be because Firefox supports VP9 so those services will use it to save bandwidth but macOS doesn't provide an API for hardware decoding of VP9 so it happens in software. Safari only supports h264 so that's what gets used and goes through hardware decoding. You can try extensions like h264ify on Firefox (and Chrome) to make it use h264 too.
Do you know of a website that's using the API? I genuinely want to see how it's used in the wild.
Hmm but my phone wasn’t crashing ... it definitely was slower!
Adam Neumann played SoftBank and gave them what they had coming. We need people like Adam to keep the markets from bubbling too much. It’s part of the checks and balances in a healthy capitalist system.
No. Remote controls let you change channels up or down, or navigate through menus on the TV. If you explain it like a remote control it will confuse people who don't really understand the underlying technology.

Instead just tell them to watch something on their phone. Then press this button and it sends it over to the TV instead. End of instructions. This was what finally made it click for my mother.
Yes of course. In my case I feel like my grandparents wouldn't feel very concerned if no one was pressuring them and telling them it could potentially be very serious.
Business Email Compromise (BEC) – Between the Hacks
If you actually believe in the OpenBSD philosophy this is a must anyway. Part of the point of OBSD is a willingness to break older things if it can improve correctness, simplicity, and security (which it very frequently can).
Foo(bar) vs. Bar.foo()
Active Desktop was the first thing I disabled whenever I installed Win98 on a new machine.
Back in our Usenet days (wow, around 20 years ago now), Michael was firmly in the pro-wing camp: he insisted that Tolkien was using a rhetorical technique where vagueness gave way to clarity, and there were definitely wings, and anyone who said otherwise was flat out rejecting Tolkien's words on the matter (or entirely failing to understand plain English). After years of lengthy debate, I eventually recognized that much of the argument boiled down to nothing but different definitions of "wing", and I championed a consensus position (as described here: http://tolkien.slimy.com/faq/Creatures.html#BalWings). As I recall, Michael's response was to say more or less "Yes, that's obviously what I mean, but you're misrepresenting everyone on the 'no wings' side, who would never agree to such a statement." Of course, most of the 'no wings' folks also said, "Yes, that's what I've meant all along" (and yeah, some of them said, "But I know Michael would never agree with that"). It was pretty satisfying!

(And all these years later, it's nice to see that Michael is being reasonably explicit about that issue in his own writing on the topic. It's interesting to compare this 2010 archive link to the current version on his site: after he says "Yes, the Balrog had wings", he's now added a clarification that "The wings were simply shapes made of darkness." Though in the link later in this thread, he evidently can't resist one final jab at anyone who disagrees with him: "I like the book the way it is without all the rewriting and propaganda". And he describes other people trying to discuss the topic as "long-winded nonsense essays". Honestly, I haven't missed those bits of interacting with him.)