skysight-inc/HackerNews huggingface dataset:
The middle of the road solution: let quacks scam desperate people suffering from incurable diseases, as long as the quacks don't put the wrong kind of label on their snake oil bottle.
Discussion (114 points, 13 hours ago, 34 comments) https://news.ycombinator.com/item?id=40772224
Formal methods in Z notation or predicate logic in prolog... Still have nightmares 20 years later.
Study implicates Neanderthal DNA in autism susceptibility
Snap? Do you mean Flatpaks?
Rabidly is probably a good word to use.

This whiz technology person is also going to discover, too late, that most libraries will refuse to touch it unless it can be proven that a patron's lending history is not recorded unless the patron opts-in.
This objection is pure ignorance. "Compassionate use" is already one of the expanded access exceptions, and has been for over 50 years.
Glad that's not what happened here. The best people were excommunicated and burned at the stake for their heretical views because they didn't purge the toxic fundamentalists from the project.
> 2) the voter in question is largely disconnected from the news, does not have a lot of perspective beyond their own experience and forms a political value system entirely based on their own interests without considering the needs or experiences of others.

I'm not an expert, but have helped manage a couple of local campaigns and done a lot of grass roots lobbying for issues that often are of great interest to independents.

It's not a matter of being disconnected from the news: often these people are experiencing the news in person and are voting based on that. You see this with economic issues and safety issues - which guns are certainly a subset of.

Incidentally undecided vs. independent are two separate things. The undecideds are where a campaign focuses spend to get to a win on election day... because you can win them over to your side. Unfortunately, policy seems a lot less important than persona in winning the undecided.
Yes I apologize, I had misunderstood. The computers main purpose was being used with the management of the metadata, there is no mention of book content itself on the network. Sorry.
No LocalCan?
Didn't they all die of pneumonia or some other such hand-wavey explanation so as to not outright blame covid?
Germany and France, maybe not. But parts of Poland were also historically controlled by Russia, as was Finland, and the eastern Baltic coast, countries like Lithuania or Estonia. All these countries are NATO members.

I don't think that Russia is trying to take over the world, Genghis Khan-style. But I see a strong tendency in the current Russian regime to restore the area of control and influence that the USSR used to have, and it's not a small and inconsequential alteration of the world map.
Yes, but maintenance costs are very high. You can expect >$5k and typically another few $k for tires. That is true even if nothing breaks and milage is low (eg <5k mi/yr). Costs quickly go up once cars are past 20 years old due to the lack of parts. You definitely need $10-15k in an emergency fund if anything significant goes wrong (or you got sold a lemon).

So that $40-50k car price is about half of 5 years of ownership.
As a computational biologist, I've used ontologies quite a bit. They have utility, but there is a bit of an economic mismatch between their useful application and the energy required to curate them. You have some experience in this space. Do you think LLMs could speed up ontology / knowledge graph curation with expert review? Or, do you think structured knowledge has a fundamental problem limiting its use?
If drugs are failing clinical trials, why should they be allowed to be made and consumed at all?
Speaking of 1996, a while back I was digging through an old box of junk, and I found a high school newspaper with an article I wrote about Microsoft buying a bunch of Apple stock (this was back when Apple was floundering and antitrust regulators were giving MS the evil eye). I had some very uneducated speculation about what a Microsoft-Apple merger might look like.

https://www.neowin.net/news/a-quick-look-back-at-when-micros...
As a young trans teen I encountered Lynn Conway's personal blog, and it was among the first times I realized the feelings I had felt my entire life had a name, and that there were others like me.

Her "Trans Women Successes" part of her blog made a big impression on me way back in the late 90s, and made me see a path that I thought perhaps wasnt possible. (it's still up! https://ai.eecs.umich.edu/people/conway/TSsuccesses/TSsucces...)

I only later on realized what a massive figure she was in computer science history, and the contributions she made to technologies that have transformed the world.

As a trans women and a developer, to say that she is a personal hero is an understatement. She is an icon, an example of a life well lived, a testament to the power of perseverance and personal strength.

Thank you Lynn for making a fundamental difference in my life in more ways than one. You will be dearly missed. <3 RIP
Their marketing material only shows young people, so that's at least the image they want to project.

But I imagine there is a bimodal distribution. If you are 30-50 and busy with building your own family you might see fewer advantages in a place like this (it's a great place to let the kids run free, but that's culturally less acceptable in the US). But once the kids are out of the house you will start appreciate a community like this again. It's probably even more important for old people since they have fewer alternatives to meet people or just sit outside with friends.
Creating polyglot source code is a well-studied type of hack.

If that's possible, why not polyglot executables? After all, an executable file format is essentially another type of source code.

Pair that with a polyglot ABI and polyglot system calls... and you get APE binaries :)
AFAICT they created a new definition of "independent" specifically for this article, after noting that it was mostly a term of social relationship not political practice.

Personally I find the traditional definition of "republican-voting but want to avoid the social costs of that affiliation" to be more useful than theirs.
https://blog.esghound.com/p/spacex-violates-the-clean-water-...

Note that this is separate from the stormwater issue that people will try to misdirect about
There is a disturbing trend on the right to reject literally anything a state org says as if it were some sort of brave rebellion against the system.

The CDC says wear masks? Suddenly it becomes a "mind control" issue.

The FDA recommends not drinking raw milk? Republican lawmakers are literally sickening themselves drinking bacteria-laden dairy products in front of their colleagues to "trigger the libs".

The FDA issue emergency authorization to get a COVID vaccine to the public as quickly as possible during a pandemic, and suddenly Conservatives are claiming that COVID never killed anyone, it's the Vaccine that's killing people, even as the unvaccinated make up the lion's share of the casualties.

If you dive deep enough into the antivaxxer movements (a deeply right-wing movement), you'll find people arguing that drinking industrial bleach (Miracle Mineral Cure) is the solution to every health issue that "they don't want you to know about", even as they are shitting out pieces of their intestines (Google "rope worms"). Of courset the government saying "don't drink bleach" makes them double down.

I am all for a healthy distrust of the government or any other ruling authority, but it feels like roughly half the the U.S. population is so brain-broken that they have fully embraced contrarianism as a worldview.
Patio11 on Japan, hiring, and his long, odd road to fame [video]
yea, intellectualised spiritualism is just intellectual meanderings
It's interesting that Jay Leno refuses to buy a Ferrari for this fact.
Rich do not pay 40%. Not anywhere close. Workers do. We have a system that penalizes workers explicitly and let exploiters get away. It is crony capitalism and has nothing to do with the communism which as was defined had never materialized anywhere.
Few working mathematicians, yes, but a growing number. Especially with computer proof systems growing in popularity there's an increase in the interest in constructive methods.

Yes, it's true that many classical proofs are shorter and more elegant than constructive proofs. My impression (my intuition?) is that working mathematicians generally have a strong intuition as to whether a non-constructive proof can lead to a constructive argument as opposed to being a purely abstract axiom-of-choice trick of formalism. That is, you get the feeling of whether it's a question of "can be constructed, but I don't know how just yet" vs. "absolutely almost by definition cannot be constructed" and the proofs are weighted accordingly.

There's a huge amount of discussion as to when the law of the excluded middle can be applied constructively which is very interesting as well; with discussions about narrowing what a "proof by contradiction" vs "proof by negation" means in particular that are really trying to explore how many classical proofs are intrinsically constructive, to hopefully narrow the gap in proof elegance over time.

Probability theory remains an area where classical methods still hold pretty firm sway, despite the fact that Kolmogorov himself was pretty strongly in favor of intuitionism. It remains one of the bastions of measure theory, which remains the most pervasive intrusion of non-constructive mathematics into practical mathematics.
> You have the freedom not to get vaccinated, and your employer has the right to show you the door.

They really shouldn’t have that right. It’s discriminatory and a violation of basic rights to bodily autonomy. No one should be forced to undergo a medical procedure for employment. Others who may be worried about some illness are free to manage their own risk by wearing protection instead of forcing such choices on others.
Nationalizing Boeing will never happen in today’s federal courts. Temporary oversight like with the banking disaster? Probably. I think court will require a clean sweep of the board and new executives who “promise” put quality back as a goal for the company. Boeing was fine before it can happen again. I don’t know why this the end of western civilization for so many on HN.
It helps with fraud, sure, but I bet banks aren't too unhappy about the dampening effect it has on liquidity flows as well, especially now that we've left ZIRP?

There must be some cost of capital associated with needing reserve buffers for outgoing instant payments sent outside of the operating hours of the interbank money market and the Fed discount window.

In the end, both effects (cost of fraud and cost of liquidity) will of course get baked into the cost per dollar to the banks and it might be hard to untangle them.
Here's a link (I think?) to patio11's thoughts, since I went looking for it out of curiosity because of your comment: https://training.kalzumeus.com/newsletters/archive/content-m...

I also really like dates on things as a user of them.
>App store monopoly is one that makes more sense to me

Am I misreading this, or are you advocating for a monopoly? In what world is a monopoly better for consumers?
Note that hardly anyone has actually used those "dive" watches for diving in decades. A wealthy, fashion-conscious diver might wear a dive watch while traveling to the dive site, but for actual diving they'll take it off (don't want it lost or scratched!) and bring a cheaper modern digital dive computer (which might come in wristwatch format for certain models, thus further confusing the terminology). In diving circles, if you mention "dive watch" then most people will assume you're talking about a Shearwater or Garmin rather than some Swiss toy.
No they aren’t
Linqpad is one of the few tools that do what they need to do without much fuzz and in a straightforward manner. Beyond Compare is also in the same category.

I am glad that the UX people haven't gotten around to mess it up yet.
I think this is a lazy response to something that isn't a very good example of rosy retrospection. The rates of all of the things the parent mentioned do happen to have decreased. Studies have also been done on the relative freedom of movement that adolescents have been allowed, going back several generations, and there has been a marked decrease. The below link is to a paper on this phenomenon occurring in England.

"Decreasing experiences of home range, outdoor spaces, activities and companions":

https://eprints.whiterose.ac.uk/94588/1/Woolley%2520and%2520...

Article covering another more recent study, called "Decline in Independent Activity as a Cause of Decline in Children’s Mental Wellbeing", on this occurring in the US:

https://www.sciencedaily.com/releases/2023/03/230309101330.h...
What’s stopping them from doing it now then?
> The point was that people are up in arms about either outcome: FDA denies approval, people get angry. FDA allows approval, people get angry.

What people want is approval through a fair, orderly process.

If the tests and reports and expert opinions and panel decisions are needed, their results should be respected - for every drug maker.

If the tests and reports &c. aren't needed - they shouldn't be required.

If there's some more nuanced approach required, like experimental exceptions for drugs specifically for people who are otherwise terminally ill, it should be codified.

The approach of "spend a load of money on studies, then maybe the boss ignores the results" seems very open to corruption.
> AMIE?

I think they mean 'Mon Ami'
What are house payments usually made with?
I treat sidenotes/footnotes like parenthetical expressions - too many are distracting. A strong writer should be able to convey his thoughts and asides without interrupting the flow of text.

But I'm not sure they can be eliminated entirely. At least sidenotes make use of empty space on wide screens.
For those looking for close coverage of this issue, "GuyDealership" is a good source.

https://x.com/GuyDealership
https://www.dealershipguy.com

*not affiliated
The EU is a subset of “Europe in that report. Pretty sure Gruber also mentioned that the Middle East is also lumped in there as well for some reason.

So yeah, the EU is bound to be a big number but it isn’t 25%. The biggest economies in the EU are Germany, France, Italy, Netherlands, Belgium? Big countries outside of it but included in Apple’s “Europe” catagory include the nordics, UK, Switzerland, Turkey, UAE, Saudi Arabia, Kuwait and probably something else.

Even if the EU makes up half of what Apple calls “Europe.” A fine of 10% of worldwide revenues is way beyond what the EU contributes to the bottom line. There’s no way Apple wants to take the nuclear option but if the EU threatens them with big enough fines they might think about it.
Trillions spent on defense, and there isn't a factory just sitting around waiting to spin up and crank out artillery shells for ukraine?
OpenAI Acquires Multi
Assuming EU won't slap a $30B fine. this approach didn't work very well for MS.
Is it regrettable, or preventable? The fact that the oil refinery fire was not in the news is an indictment of how the news handles industrial disasters in general.
exactly. I was a decade skilled in Vipassana and thought I could do the jhanas in an afternoon. took me two years. This guy is talking baloney if he says 20 hours and he nailed them. but this is normal in todays culture of instant gratification. people like to claim expertise while selling dog sheet dressed up as cat sheet.
Discussion (401 points, 9 hours ago, 288 comments) https://news.ycombinator.com/item?id=40773151
Considering budgets that homeless-industrial complex spends on homeless in NYC/SF/other big cities with homeless, 10k will have absolutely zero impact on anything.
If you have a blogroll, update it regularly. I get that blogs are passe (that's why I started one a while ago). It is annoying to go to one of the few active blogs and find that most of the blogroll links go to sites not updated in a decade or expired altogether.
I would bet that a developer knew of the security issues, but was vetoed by Product.
EVs shatter records at Pike's Peak: Ioniq 5N, Rivian and Ford SuperTruck impress
"advocate and vote for" is something that is determined by the choices on the ballot. If one is consistently awful and the other meets the minimum threshold to be acceptable, of course you're going to advocate and vote for the better alternative. In an alternative world where you had multiple parties or where the parties switched on the awfulness of the candidates, an independent would vote differently.
Safe and Fast Permitting Using NREL's SolarAPP+ Continued to Grow Through 2023
The Death of the Junior Developer – Steve Yegge
If there were no 3rd party apps everything else could be coupled, no App Store, etc.

Depending on particular user design goals, the experience could be far superior at the expense of being limited.
They should just have a setting the user can set to decide how much buffering vs quality they’re willing to tolerate
App: https://solarapp.nrel.gov/

2023 Performance Review: https://www.nrel.gov/docs/fy24osti/89618.pdf

SolarAPP+ Automated Code Compliance Explainer: https://www.youtube.com/watch?v=O3BbNjDZoaI
At some point we need to have a talk about the "no editorialized titles" rule, because while I agree that there's a risk of having the submitter inject their own bias, a title of "Sarepta. Why?" is totally beyond useless for a news aggregator website that isn't exclusively tailored for pharma.

I propose two fields when submitting a link: the original title, and an optional "additional context" field.
+1 for formal methods in Z. I've still got the book at my dad's house.

My first year of uni also had a pretty evil pure maths course which was worth a high percentage of the year. Not much fun.
That's a shit title. I am not sure the HN submission is a better title, but this is the kind of post where I think the title should definitely be editorialized to give a hint of what the post is actually about and some context.
Electrochromic Smart Windows with Self-Driven Thermoelectric Power Generation
Oh wow! Do happen to have a link to the old cert? I /really/ looked for a way for us to stay on centos when we started doing this kind of stuff.
Wow, shutting down a startup with a deadline being in less than a month that it was acquired without warning, that is a whole new reason to not trust startups at all.

Totally unprofessional.

I'm rather surprised that Keybase is still running after the team joined Zoom.

What an incredible journey.
damn, I really hoped it'd autorotate.
Yeah for sure. I do set up crons on my local machine using linqpad scripts every now and then, because it's just my special little snowflake one off.

But for Devops, build pipelines, etc. I prefer something a little more universally applicable and legible and that doesn't require a runtime. So bash is usually my approach there. Sometimes PowerShell if I know I'm going to be running it on a Windows box anyway.

Much as I love C#, if I came into an environment and all the Devops/CI/CD was done using Linqpad and lprun I'd immediately wonder what in the actual fuck I had gotten myself into, lol.
Wao, thanks for sharing. I had no idea.
Uni would've been way easier if they taught us TDD in the 1st semester instead of the 5th
That’s already established.

It’s called alternative medicine/homeopathy/etc.
Yes, it is! Look at how much smaller MacOS market share is compared to iOS in their respective markets. Stated preference vs. revealed preference.
New York also does this, except weekly. https://omny.info/fares
You're right, the article only refers to "review teams", surely quite different from a "review board".
I mean it's kind of pedantic but yes hash maps do have guaranteed performance characteristics. They are not guaranteed to be O(1), but they will never be something like O(2^N) either. You can give guarantees about their performance if you can make guarantees about the distribution of the inputs and the properties of the hash used.

In my own experience, most uses of hash maps are typically O(logn). A good rule of thumb is hash maps are preferable unless you need predictable worst case performance or your hash maps are directly exposed to the public.
The Shakespeare Unlimited podcast of the Folger Library is my favourite podcast about Shakespeare, not only for the content, but also for the perfect audio quality (not so common among podcasts).

In the latest episode they talk about the reopening of the library

https://www.folger.edu/podcasts/shakespeare-unlimited/folger...
They were able to assess the efficacy by looking for illness, not death. It takes some verrrry "special" framing to twist this into anything but an enormous success:

> BNT162b2 was 95% effective in preventing Covid-19 (95% credible interval, 90.3 to 97.6).

Yet the deaths clearly mattered when multiplied up to population scale, because COVID was able to fill up the hospitals.
https://github.com/oracle/graal/issues/8350
I'm trying to buy two cars right now, and this has put a big wrench in the process. The dealership can't tell me what's on their lot compared to what's on their Website, except by going out and searching.
"Here a busy New Yorker *can book a 5 minute time slot*, pay for a hat, stand in a spot under my window for 3 seconds, have a hat put on their head, and get on with their extremely important, extemely busy day all within a single New York minute."
Azure AD or whatever they are calling is now isn't even fully SAML 2.0 compliant, so of course it generates support calls. Then the answer from MS support is "use this workaround" and now your implementation is locked into Microsoft's implementation.

Sound familiar?
This question seems misaligned(?). The idea is that it's easier to work with and harder to fail when complexity is hidden beyond a good interface. The complexity of a good UI framework's interface is low by definition. React exposes way too many moving parts and has way too many breakable rules to be called good. All UI frameworks may be as complex as they want, the interface is what matters for an end-developer.

Svelte's interface is basically "I will re-execute top-level statements starting with $:".

Vue's interface is "I bound your data to html, feel free to update it, but beware of []-nuances".

React's interface is "You have to use state and effect wrappers, but don't effect in non-effect blocks (and read what an effect is!), also always make copies of everything, and we can run your code twice, and if you if (), then make sure you don't if () in an inappropriate place, anyway, imagine you're in a pure functional language, but you aren't really, so do that by hand and don't mess it up, we warned you".
Their agenda is to make money and/or create chaos.
AI is the new random()