skysight-inc/HackerNews huggingface dataset:
You might wish to have a look at "Propositions as Types" by Philip Wadler (thanks rbonvall, for the link!) -- at 21:30 (1290 seconds) into the video:

https://youtu.be/IOiZatlZtGU?t=1290

"Evaluation corresponds exactly to simplification of proofs..."

(The rest of the video, both before and after this statement, contain more context...)

That being said, I agree with you that languages which are used primarily for theorem proving (AKA, "proof assistants") -- are usually not as applicable to as broad a range of programming paradigms and problems as most general purpose computer programming languages are...
Agreed, also in the MDN compatibility table it says it's experimental, but that Chrome supports it, so maybe there's a difference in browser implementation handling it?

https://developer.mozilla.org/en-US/docs/Web/HTTP/Headers/Li...
For data notebooks, functions aren't enough
Boston Dynamics The Lab: Taking Atlas from SIM to Scaffold
Sadly (?), in some cultures lying, libel and profanity is not something normally expected even from anonymous strangers, so they basically believe most things on Twitter and Facebook. And applying critical thinking to every piece of info online is too much effort and time-consuming, so that is not practical for the unsophisticated.

May be there should be at least some effort to address "realistic looking" misinfo, so that the lack thereof could not be interpreted as avoiding to engage out of fear.
> The notion that the loudest and most populist voices that make ridiculous arguments and appeal to sentimentality - have anything to do with the 'truth' or anything positive

... is an obvious strawman.

> Next time you visit your 'Corrupt High Priest Doctor' who represents the institution of Medicine, who recommends a therapy, why don't you ignore him and make your own concoction, at home, using the 'alt method' you discovered on some podcast?

Again an obvious strawman. Your doctor vs "some podcast". According to a survey done in april 2022, 5.2% of U.S. primary care doctors weren't vaxxed against covid[1]. If you had such a doctor, would you override his judgement based on stuff you've read on the internet? I would.

> Ideas and memes can define reality, and those who have the power to define reality will possibly abuse it which is why it's not in anyone's interest to have insane people influence how we think.

Woah, sounds dangerous. Should anyone have the power to "define reality"? At least we can trust that those who have to power to stop others from "defining reality" will not abuse it.

[1]: https://theconversation.com/the-1-in-10-u-s-doctors-with-res...
Go! (Programming Language)
I mean I know people have a short memory span, I guess I'm just surprised it's this short. I would have thought that most folks with even a cursory knowledge of Silicon Valley history know about the 1% fallacy. I'm not even a founder, and even I know what it refers to.

This quote should have been a giant red flag for Kenrick Cai and Forbes. It should have single-handedly changed the angle of the story from puff piece to investigative. To see them both uncritically regurgitating something so thoroughly disproven is another depressing nail in the coffin of modern-day journalism.
The point that `pip` is the only "ships with python" tool can't be understated.

Most projects I've worked that have the "I need a few python tools" just generate the venv and such in a Makefile or similar, then source the venv's activate file and run whatever is needed in a make target. This is good enough in nearly all cases, and doesn't require that one of the other tools be installed at the OS level.

No matter how good the other tools get, not being in the default distribution == won't get used, no matter how good it is, because it can't be relied on always being installed.
The referenced story is Stross's "A Colder War": http://www.infinityplus.co.uk/stories/colderwar.htm

It's not at all about uploading, but it is very much worth a read.
"Joseph and his brothers" by Thomas Mann.
I like the "those that understand ternary, those that don't and those that mistake is for binary" version
https://doc.rust-lang.org/reference/procedural-macros.html#d...
It’s not that crazy. The US tax code is intentionally complicated to provide space for tax preparation businesses and loopholes.
Abstractly I wouldn’t mind that, but it would take massive system level changes to make this feasible. We used to do ICU rounds are my institution but we’re struggling to keep up with the ever increasing volume of cross sectional imaging studies. Our outpatient X-rays are going unreported for > 1 month. Even some routine MRs embarrassingly.

Volumes are getting insane, in some places I’ve worked I’ve had to keep up with 80+ CTs and 100 x-rays on an 8 hour evening ER/inpatient shift (never leave at 8 hours).
If you haven’t seen a niffler you wouldn’t know what people mean either.
Convergent genomics of longevity rockfishes highlights human life span variation
Okay but what did you spend your other 5 weeks of vacation on?
I did, immensely!

Thank you for the excellent link!
Ambiance was different compared to today: https://twitter.com/TikTokInvestors/status/16151898803212410...

Whatsapp had 35 engineers for 450M users at the time of its acquisition by FB (2014). It had 50 engineers for 900M users (2015).

https://www.wired.com/2015/09/whatsapp-serves-900-million-us...
This seems brilliant! Thank you.
I don't quite understand what Javascript has to do with the topic of the discussion.

WebAssembly is to Web what JavaScript is to Java.
As far as I'm aware, all Winnebago vehicles are based on third-party chassis. Ford (F53, XCS, Freightliner, Transit), Mercedes-Benz (Sprinter), and Dodge RAM ProMaster are listed at Wikipedia:

<https://en.wikipedia.org/wiki/Winnebago_Industries#Current_m...>
For a head CT scan I had a few years ago, where the ER doctor likely ordered it to rule out an abscess in my jaw (I didn't interview her to understand her thinking), I paid ~$2000 for the scan, like $700 for the ER visit, like $500 to the doctor and like $20 to the radiologist. The doctors billed separately.

It was just a sinus infection that was irritating a cavity, which was making my whole jaw ache to where I couldn't sleep (overnight Saturday), and I went in out of some combination of panic and concern that it was escalating.

It rankles me to no end that they up charged the visit because of the consult, where what really happened is the doctor ordered a test that allowed someone else to do a definitive diagnosis and more or less completely removed their liability (both by removing uncertainty and by shifting it). I also can't begin to reconcile the cost of the scan itself (but don't really have any information about their actual costs). I dunno, maybe it did actually cost them a bunch of money to wheel me over to the CT room and back.
https://appleinsider.com/articles/23/01/20/layoffs-in-some-o...
Good effort! Sorry is comment was discouraging. Well done for shipping. (still don't like logging into the abyss)
They don't give enough detail in the article (Wikipedia has some more https://en.wikipedia.org/wiki/Lucia_de_Berk), but based on the chart I suspect it's something like this:

Imagine someone goes to a casino, and play a game where you flip a coin 20 times in a row, and win if they're all heads. There's about a 1 in 1 million chance of flipping 20 heads - so people are suspicious that the person cheated.

However, imagine that during that same time period, 10 million people played that game. Looking at that, you'd expect there to be 10 winners of the game. Suddenly it's not suspicious at all.

So I think the argument is that this is the chance a nurse experienced this many deaths is 1 in 45 - so with 45 nurses, you'd expect one to experience it.
Plenty of very rich people in that group. I personally know of at least one couple whose net worth is in the hundreds of millions who live in an RV. Lots of that group are retirees who want to travel full-time, but opted for land transport instead of a yacht.

Keep in mind that right now, with gas or diesel motors, there’s winnebagos which almost reach half a million dollars new.
When doing calculations on such costs, we need to consider the total cost of operation of the plant, distribution costs, load balancing, etc. In the case of intermittent power sources, many calculations tend to favour them without taking into account the entire operational cycle of the power grid. These intermittent sources tend to require more hands on deck, additional backup sources, or power diversions, stability management, battery storage, and a plethora of other indirect costs that are not considered. I really do appreciate these efforts, since they generate energy, which allows progress and growth. However, we do need to ensure our calculations, and accounting for such infrastructure is able to consider the system as a whole.
Can GPT-3 explain my past?
Some web frameworks have such limits built-in.
Django for example has a limit of 4096 characters for password input, which should be more than enough for anyone, including people using long random-generated passwords from password managers
far be it from PT Barnum to be overly scrupulous, but he seemed to have a problem with getting financially wiped out by fire and built a fortune three of four times over, so it's possible he could've done it twice by the time he did the lectures and just been broke at the moment. He might've been one of the most qualified people around to make a lecture about getting rich.
Yet, acupuncture claims to fix a wide range of things it doesn’t.

It’s common for old ideas to be associated with accurate information without actually being true. The classical elements Earth, Air, Fire, and Water might map to ice, water, steam, and plasma but they don’t explain the fundamental nature and complexity of all mater.

So no it’s not that the wisdom of the ancients it’s simply an observation by people like us that didn’t actually understand much about how things actually worked. The pyramids are shaped that way because it’s a straightforward way to build something very tall from stones. The complicated bits are all inside, and not that interesting.
For EVs, the typical challenges are 1) cramming enough battery into the vehicle, 2) managing that battery effectively (a major win of Tesla AFAIU), and 3) lightweighting the ever-loving ship out of everything.

For aircraft, there's the additional aim of eliminating the on-board pilot through automation, remote control, or both, to increase passenger / cargo / payload capacity. You see this in drones as well as it being a clear goal in short-haul (< 300km typically) "commuter" aircraft proposals.

In the case of Winnebago, I suspect that there are the dual goals of hitting maximum vehicle curb weight goals (batteries are heavy) and reducing overall vehicle mass to maximise range.

"Biodegradable" is all but certainly a secondary or incidental consideration and/or marketing hype. Though reducing waste-stream is a Good Thing™.
Unless I’m missing something, it amounts to making a slave race out of someone’s mind scan. So I’m someone who never eats animals nor animal products.

I have always wondered why reincarnationists, when I talk to them, presume time is a directly mapped thing. I say to them, how do you not know, there is only one "soul", but you are just seeing it at different points in existence?

How do you not know that you are that grasshopper, and your parents, and your kid, and your grandmother, all at different points of linear experience, but at the same time, maybe you were your child, then the grasshopper, then "Grogg" 30k years ago, the grandma, then you? Because the order is random?

I tell them this, and some ponder.

Then I go have a steak.

Because it's good for me, and I don't want to disappoint myself, when I'm a cow.
Asch's Conformity Study proved the effect of having just one extra voice stand for the truth.

This effect is stronger than most people think, which is why totalitarian governments, and those aspiring to get there, employ botnets and resort to shadowbanning etc.

Keep standing up for the truth, you help others overcome peer pressure!
It's a bold move to decry one moral philosophy as evil in its consequences, and advance as preferable another that's evil in its precepts.
Another example of a thought leader making outlandish claims that are technically infeasible.

Inflation resistant relative to what? Individual currencies and investments will have their own rates of inflation. Inflation is also usually measured after the fact via various proxies, how is that going to track for a stablecoin? Any mechanism for handling inflation resistance is also going to introduce another level of counterparty risk on top of the risk inherent from whatever governance is in place for it and the risk of whatever exchanges are used to trade it.
“ Same with philosophies, nationalities, norms, and concepts like loyalty, destiny, and identity. None of these are true. But they are useful.”

His use of the word ‘useful’ implies he classifies things as ‘useful’ and ‘useless’ according to some absolute value system that he considers evidently true but that in reality is no more or less valid that those things he lists as merely useful.
Herpesviruses (which includes VZV, the chickenpox virus) sometimes cause recurring meningitis and encephalitis. They do get into the brain. We just don’t know how.
https://mathsgear.co.uk/collections/games/products/jigsaw-ji... is brilliant
Why not Nostr? Or both even?
> And for no reason other than "everyone else is doing it“

This is the bizarre part of this all. Unlike the dotCom bust in the early 2000s, there was no earnings disaster that precipitated this. These companies are all profitable and some wildly profitable. How much of this so-called upcoming slowdown real and how much of it is simply in the heads of frightened, uncreative CEOs who are all looking to each other for clues about what to do? Because right now there is no recession.
hell, even before you die you're covered in all kinds of unicellular fungi which are actively trying to eat you

They started it first, Your Honour!

not eliminating raising animals for meat entirely.

I wonder. If we genetically engineered, maybe via a bio attack, so all cows were effected at once, a deadly disease?

This disease would be a genetic illness, so that just a while after maturity, cows would become sick with crippling pain.

Thus, we would be helping them, to kill them before the pain and agony started, and therefore... none would question what we do with the meat.

...

Now replace the disease with "it all goes downhill after 30". Really, it's sorta the same thing.
I'm not sure I understand what makes it different from uuidv4 or base32 encoding some random bytes.

This seems to be well respected, so I'm pretty sure the issue is just my own lack of understanding?.

UUIDs collide in large apps? How? With quintillions of records? Due to implementation error? I've never heard of it being frequent except with implementation bugs.

Generating good random numbers fast is basically solved and built into all modern OSes, they already mic multiple sources of entropy together and pass them through crypto algorithms.

Even if you need multi threading, you can always just seed a thread local RNG using a seed from the OS RNG.

It seems like a lot of the novel content here is the randomness generation, and the primary value is you've packed a good CSPRNG with some entropy gathering stuff in a small size for when you don't trust the OS?

My bias is towards buy over build, so I'd be inclined to trust OS and environment provided functions over this, but I could see the value if you expect to run on some old crappy systems without any kind of decent entropy APIs.
JJMasterData: An open library to create runtime CRUDS from database metadata
JJMasterData is an open-source .NET library to help you create dynamic CRUDs quickly from data dictionaries (database metadata), along with other boilerplate-intensive things like exporting and importing data.
I’m aware of what SOTA means, but how does that apply to a review? How do we or the authors assess that it is in fact the state of the art (best) without an objective measure? If they mean it’s the most current, every review is state of the art at time of publication by definition.
How many appeals does one get? Is this something which a wealthy person could use to push off prison indefinitely?

She was convicted. Let her appeal her conviction from within a jail cell.
WhatsApp is a very different product: it’s built around one to one communication so you don’t get all of the fan out problems of having to distribute messages everyone’s followers, or the search / advertising / timeline filtering. Consider that there are single people who can post something which will be watched within seconds by millions of people, except those who have blocked that person or filtered that topic and ask how hard that looks behind the scenes.
It's an interesting design challenge. Can you make an all-electric RV, what do you have to sacrifice in doing so, what new technologies can be trialed / exploited in the design, etc.

And as you note, marketing. We're discussing it here, after all.
Paint brush on a stick, bro.
> Following a religion improves your daily actions

Citation needed.

Edit: the fact that this is being downvoted is hilarious. Religion is a helluva drug.
A question for any bee experts: there have been a few times I’ve been eating a sandwich or sushi in a nearby park in NY, and a bee has flown over, found the meat in whatever I’m eating, spent some time cutting a piece off, and flown off with it. Would anyone know what sort of bee this could have been, or any other info on what was going on?
I was thinking this sounded a bit like Gattaca myself (https://en.m.wikipedia.org/wiki/Gattaca)

Except measuring brainwaves instead of genetics.
Bonus: She both solves a crime and diagnoses a medical condition from drops of blood found at the crime scene.
Inspired by some other comments here, I added a way to help visualize the graph (see screenshot and code) :
https://gist.github.com/unrealwill/07069676a577f6dfbc3555369...

Once you can visualize the knights graph in your head, you just have to run Dijsktra in your head.
It was alarmingly high and had been noted since the mid 1950s. That is why Ancel Keys, inventor of the lipid hypothesis and low fat diet, began researching the problem. They where responding to a heart disease and obesity epidemic. https://www.ncbi.nlm.nih.gov/books/NBK19623/figure/chartbook...
Huh, works for me in mobile safari on a 2016 iPhone SE.
>Isn't 1 in 49 still hugely statistically significant and therefore suspicious? The probability of this happening by chance is still only 2%

2% means a false positive for every 50 nurses.
What was the rationale for opposition?
Felt like writing a solver for it: https://github.com/rubenvannieuwpoort/funnyhowtheknightmoves...
There are off the shelf laptops with e-ink now: https://goodereader.com/blog/product/lenovo-thinkbook-plus-1...

It's technically dual screen, e-ink and OLED that rotate, but even better, you can choose the best one for the job.
Not shocking - between the "use icloud" nag screen when attaching photos in Messages and basic stuff not porting over with local backups instead of icloud (weather, health, stocks etc), this is another yet another customer-adverse step that substitutes montly sub for "just works".

This past month I migrated from iphone 12 to 13 and it involved manually reloading/resetting virtually everything, despite making a local backup of the old phone. It would seem that the apple builtin apps specifically just don't restore without icloud - it's almost as if there's a product manager somewhere that's using icloud utilization in GB as their OKR benchmark, and that's one way to hit it.

Apple discontinuing TimeCapsule and disbanding the team couple years back isn't lost on me either.
The sad part is it's one of the hardest components to solve. High quality training can instill a healthy dose of paranoia, that is necessary, though.
The value is:

1. You don't have to figure out which forms to file by yourself. This quickly becomes non-trivial if you run a business, take a lot of deductions, or have weird forms of income.

2. The IRS sees that your return was prepared by a professional, so it is much less likely that they will try for an audit (since a professional will be representing you).

If your tax liability is under $100k and your return is under ~20 pages, you mostly don't need one, but an accountant also doesn't charge much either (about the same price as TurboTax).
Surprised by the median and average pay there there. May explain the pampered pet servicing business sector.
Unemployed Americans Find Job Searches Take Longer as Labor Market Cools
Crypto Banks Borrow Billions from Home-Loan Banks to Plug Shortfalls
Jeder soll nach seiner Façon selig werden.

( https://dictionary.reverso.net/german-english/Jeder+soll+nac... )

I know this community only from (very) far away. It just so happened that I got mine a long time ago, from a palette, in a clearance sale, and It seemed like it was made for me. And I've gotten so used to it, that I even modded it to be able to use it natively with PS/2 & USB instead of a chain of adapters. But it isn't perfect. Lacks some sort of trackball, pointer, touchpad where the cursorkeys are. Maybe scrollwheels. Maybe multimedia keys. But works for me. I even got spares after a loooong time, that's how much I like it :-)

Back to bicycles, I think it's the same with a frame which fits you, and you like the dynamics of it, all in all. Even though there may be ones which are better in a few single aspects, but much more expensive, while not lasting all that long, and have to be handled carefully.

One can obsess compulsively over such things. I don't care that much ;-)
Except for usability as daily driver which gets out of my way.

Like clothing that fits, doesn't make noises when moving, mostly unobstrusive color, doesn't glow or glitter in the dark, and so on.
Money quote:

“Under no circumstance should taxpayers be left holding the bag for collapses in the crypto industry—a market brimming with fraud, money laundering and illicit finance.”
I don't think that quite explains it though. It wasn't as if the idea of a screen editor hadn't occurred to them.

So if that was the reason it was because of compatibility.

There's probably also the issue of keeping the code text in memory, an issue when talking about the zx80 end of the /spectrum/
Also, it is still like a prison for even moderately tall or obese people.
Sorry, I meant exemption not exception. I was referring to the foreign earned income exclusion act. I never have to pay US taxes due to that, however I still have to file. Since I don't know the tax law, and I would hate to be on the bad side of the IRS, I hire a CPA every year. I am hoping that this year I may find a site that supports foreign citizens.
I think when something is priced beyond what people can afford, and they don't have alternatives, they are more likely to acquire it some other way. Adobe is an interesting example - it's a premium product, and there are alternatives, but the talent in the design space seems to be almost exclusively using Adobe. Designers work in a global community, which makes it difficult to build skills to be competitive without equivalent access. If something costs 10+ times more on a regional salary than it would in say the US, then I'm not surprised that piracy is rife.

Subscription pricing has compounded this. Back when you bought up front and selectively paid for lower cost upgrade maintenance, people would stomach the pain, as you ended up with a product you had security of ownership on. Today, in South Africa as an example, the cost of an annual CC subscription could be as much as 10% of a junior designer's annual package, if not more. It's sad, as regions like Africa have young, creative populations who could really contribute to creative communities given half the chance.
You're confusing PNaCL (based on LLVM bitcode) with NaCL.