skysight-inc/HackerNews huggingface dataset:
This looks amazing and one of the things I'd love to try if I'd have infinite time*

* Not that I use my time wisely, but lately I feel very tired when I am on my free/own time, so I don't want to do anything that would require concentration.
NASA Performs First Aircraft Accident Investigation on Another World
I am the creator of the Odin programming language but Odin doesn't have a "killer feature". The lack of a "killer feature" does mean it is a very weird language to market for (see: https://www.gingerbill.org/article/2024/09/08/odin-weird-to-...), but to summarize that article, Odin isn't trying to be hypeable, it's trying to be an extremely productive language for people looking for a C alternative for high performance modern systems.
I work in this industry, been working professionally on transformers since 2018.

The level of optimism for Apple AI capabilities on here is wrong. I can imagine people having wrong viewpoints, but it is wrong.
Most everything by Leil Lowndes is great IMHO. She helps you understand body language, which is a huge key to success. Most people telegraph their feelings with body language so you can pretty easily recognize who wants to talk and why doesn't. She also has a great sense of humor. Her books are very 90s/00s which might bother some people, hence this warning. Specifically she generalizes quite a bit based on sex/gender. Not in an exclusive way, but if you're somebody who feels strongly for example that there is no biological difference between the sexes, then you might have a hard time with her books.

"How to talk to anyone" would be my first recommendation.
Received one of these today of all days:

https://imgur.com/a/hmBQgHH
I’d want to see actual sources for that claim. Some organizations have out of control meeting process but I’ve also seen claims like this where the business folks are talking like everyone is playing games in the office but what’s actually happening is that they’re not good at tracking support costs or process overhead.
I think they have a weird inflated sense of how large they are. We had some who nested outside the office years back. It seemed to have a cutoff of around 5'6. Anyone taller would get the raised wings and hissing. Anyone shorter would get chased and 'attacked.' Gotta admire the bravery, really.
i think you probably just aren't the audience. most of the things you miss are things i either am neutral on or actually enjoy (having written about ~20K lines of odin).

the creating a variable and passing to the `init` procedure is something i actually like since it allows me to decouple my allocations and initializations in most cases (barring things that are backed by dynamic arrays like `core:container/queue`). it also ensures that the memory allocated by `init` procedures can outlive the structure that it was tied to, which is especially useful in the case of something like the string builder.

if you simply want "method-style" autocomplete (i'm neutral on that), ols also does support that with `fake_method_completion` where you type `<variable>.<whatever>` and all procedures that take a `T` or `^T` as the first parameter show up as options.

as far as having fewer features, i think it just depends on which ones you're talking about. imo, the odin generic system is much nicer to work with and the presence of real enums, bit_sets, enumerated arrays, `or_return` + friends, and a proper scoped-based defer (instead of go's function based) make it really nice to program in compared to go for me. that being said, the `core:thread` `Thread_Pool` is not a complete replacement for goroutines and i will say that the concurrency model of go works really well for a garbage-collected language. of course, the garbage-collected part there shows why something like goroutines don't really fit well in odin.

on internal compiler errors, unfortunately, in a pre-1.0 language, those are bound to happen. fortunately, the time to fix can often be measured in a matter of hours rather than days/weeks.
I can guarantee you that it was just as hard before any technology developed in the last 20 years (mainly because I have lived before the era of smartphones). It might seem like the airpods are the issue, but they really aren't what gets in the way.
When does ACF return to WP Engine? Still looks like it's under the control of "WordPress.org" https://wordpress.org/plugins/advanced-custom-fields/
Leading-edge semiconductors is a hell of a business. It requires so, so much investment and time and if you can't comprehensively beat the competition your product is almost worthless.

Companies and governments alike have tried to enter the industry and failed over and over. And even staying in it was a struggle for Intel once the pressure was on.

I'm not sure if or how that will ever change. Unless someone comes up with a complete revolution for chip manufacturing that makes the process far easier and simpler than anything we have today, while keeping close to the same performance - I don't think it will. Or if we move to some completely new technology with no similarities at all to silicon - so that new blood can make significant progress.
I have attempted to do financial modeling practice with ChatGPT and Claude, but they struggle to come up with interesting data needed to make any real insights, is this really just testing our knowledge of which business terms to use and which functions to use, or is there enough good data to require some ingenuity to gain insights from?
Scientific results, when presented to the general public, often lose their nuance and context, even when news organizations strive for accuracy. Translating complex data into digestible news sacrifices precision, leading to widespread misunderstandings about science and the value of correction within the scientific community.And when there’s a genuine mistake in a study, like this one, the entire study is unfortunately dismissed.
Why not rear-load like military aircraft and avoid that 90º turn? Then you could have a hull-shaped hopper to drop the bags in, so they are tetris'd together in the right geometry before you get to the ramp. Roll the hopper in, have a pez-despenser style pusher so as you withdraw the hopper, the bags are left behind in the aircraft?
It's not 8% of some hypothetical dose dose that would be known to be harmless to humans. It's 8% of a dose that seemed harmless to mice, when administered for no longer than a mouse's lifespan, as far as the EPA looked.
Shameless plug, I'm working on something like this https://myaipal.kit.com/prerelease
It is truly insane how much prices have dropped over the past 20 years or so. It's like there was a step change around 2006.

I'm old enough to remember hand-etching prototype boards at my first job out of college because commercial prototypes cost so much. At that time, the big deal was the PCB milling machines for companies that needed prototype same day.

Stuff like this makes me feel old!
Donald Bitzer Has Died
I loved that some of the proof solutions in the back of mathematical logic book said, "Observe that ..." as the start of the proof. Our little study group definitely did not see how what followed was an observation we would have made.
There are two problems with this.

First, writing something down in English is very different from formalizing it. Natural language interacts with human brains in all kinds of complicated ways that we do not fully understand, so just because we can make a compelling-sounding argument in English doesn't mean that argument doesn't have holes somewhere.

Second, the incompleteness theorems apply only to given formal systems, not to formality in general. Given a system, you can produce a Godel sentence for that system. But any Godel sentence for a given system has a proof in some other more powerful system. This is trivially true because you can always add the Godel sentence for a system as an axiom.

This is a very common misconception about math even among mathematicians. Math produces only conditional truths, not absolute ones. All formal reasoning has to start with a set of axioms and deduction rules. Some sets of axioms and rules turn out to be more useful and interesting than others, but none of them are True in a Platonic sense, not even the Peano axioms. Natural numbers just happen to be a good model of certain physical phenomena (and less-good models of other physical phenomena). Irrational numbers and complex numbers and quaternions etc. etc. turn out to be good models of other physical phenomena, and other mathematical constructs turn out not to be good models of anything physical but rather just exhibit interesting and useful behavior in their own right (elliptic curves come to mind). None of these things are True. At best they are Useful or Interesting. But all of it is formalizable.
From my understanding TPUs are in so much demand it’s hard to even get access to to the best ones on GCP. It’s a capacity issue more than a popularity one.
last time around he did get tariffs on steel, and one of my favorite small US manufacturers stopped being able to make computer cases because input costs rose too much.

I wouldn't get too optimistic basically. even some tariffs might cut off options.
Besides being slightly annoying and non-standard (so obviously don't do that), is there any security issues introduced by doing so?
A lot of exceptions sadly. But with the amount of neuroticism you see with top athletes that's to be expected I suppose
Ultra Engine 0.9.8 adds material painting with tessellation
ah, liquid metal, why didn't I think of that!
Yeah I figure it's that too. When you look at the miniature generated before the actual 3D model, it looks like something generated with another tool which is fed to the 3D generation AI.
Look at the bright side of things: nobody sane and not pathologically naive, will answer an unknown number phone call anymore.
Even with 100% tariffs they will still be dirt cheap.
That'd be pointless, since Firefox already isolates third-party cookies and site data by default now.
To be fair, if using insurance and risking being hacked anyway has a higher expected net payoff than implementing a given set of security measures, then you may be financially incentivized (or legally beholden to your shareholders) to take the risk, get hacked and pay any fines if it gets discovered. The security literature refers to it as "risk transference".

Chances are your company ultimately exists to optimize for shareholder value
They shot down at least 3 including one that 100% belonged to a local club, meaning the military had no clue what they were launching missiles at. One was shot down over Lake Huron, and the pilot actually even managed to miss the balloon with his missile. It's like 99 Red Balloons meets Idiocracy.

Obviously the military can shoot down whatever they want, let alone use EM tech, which is highly effective at grounding drones. Drones keep getting sighted near the exact areas that would be testing out drone militarization, and not getting shot down. Gee, I wonder who's they might be.

People would be so dramatically more informed if they dropped social media and corporate news.
I believe in the freedom to do with your time whatever you want. If you cannot afford the healthcare you require, you need to take a hard look at your finances and realize you are probably prioritizing the wrong thing. Asking the government to "fix" it is born from the collectivist spirit of Envy that has resulted in more human suffering than anything on Earth.
> "Digital everything" has proven to be a dead end. We need to go backwards to go forwards

Hey I agree with this. But also an alternative path. I'm one of those people who did learn all the social skills and while not witty I can in general navigate and make conversation with all kinds of people now, and have been doing it for decades at this point. But the reality is before I found online niche communities like HN, what i felt was... extreme isolation and loneliness. The internet is a doom scrolling nightmare, but there's a part of it that lets folks like me find community they may otherwise never have found. I feel we're in a nadir of social networks at this point, where they are all optimized for superficial attention and (simply put) money. But there's a huge untapped potential there for helping people find, form, and maintain communities. You can technically do that now, but you have to swim somewhat upstream (ex: stick to more niche areas of Reddit, and bail when it becomes popular). It doesn't have to be like this. I've been pessimistic about technology and the limits of the digital world for the first half of my life, but I'm done with that now. I recognize the issue is people like me have spent far too long bemoaning the state of things, and not nearly enough time building the world we want to see.

I love your advice, and agree with it. But I also think the digital world can be so much more than it is now. I hope other folks like me are waking up and realizing they have to build the world they want to see, rather than (only) trying to maximize their life skills in this existing one.
Outside in Design
Saying "particle" instead of "quasiparticle" is also a little click-baity. Although, admittedly, the general public probably has no idea what a quasiparticle is. Not that the article does a very good job of explaining it.
I don't remember which state it was other than it was one of Montana, Idaho, or Wyoming, but I remember reading sometime during COVID of the efforts in that state of ranchers who wanted to wipe out wolves due to what they said were high rates of cattle being taken by the wolves. Their state had legalized pretty much every possible way to kill wolves.

They were doing aerial hunting from helicopters. They were tracking wolves back to their dens so they could kill mothers and pups. They didn't have to use humane methods of killing.

I looked up the numbers on the rates of cattle being taken and it turned out to be something like a couple orders of magnitude lower than the rates that humans were dying from COVID in that state. Yet the state's COVID response was pretty much to ignore COVID. Evidently human life isn't as important there as cattle life.
Google thinks the grid can't support AI, so it's spending on solar datacenters
Show HN: Invofox – the API to turn ANY document into structured, verified data
Hey HN! We’re Alberto, Carmelo, and Adrian, the founders of Invofox (https://invofox.com/) — the document processing AI built for software companies and developers.

We started two years ago with invoice processing, but we’ve since expanded our capabilities to include utility bills, purchase orders, bank statements, pay slips, receipts, and checks.

Why launch on Hacker News now, especially since we’re S22 batch?

As we’ve grown, one of the most common questions we hear is: “Can Invofox handle this document type too?”

To solve this, we’ve just launched Custom Documents (https://bit.ly/customdocs) — a feature that lets you turn any document into structured, verified data.

Here’s what makes it special:

- No field mapping headaches: Instead of just giving you raw key-value pairs, Invofox delivers a consistent schema for each custom document type. This means you don’t need to remap fields to fit your data model—saving time and effort.

- One-stop shop: With Invofox, you will be able not only to parse your documents, but also to separate and classify them, verify the data they contain, and outsource any HITL task you need to perform on the results.

- Security first: Invofox is ISO 27001, SOC 2 Type 2, and HIPAA compliant, so your data is always protected.

As a thank-you to the HN community, we’re offering *1,000 free documents/month for one year* (that’s 12,000 documents in total). Sign up here: https://www.invofox.com/en/hackernews-form to claim your free credits!

For developers, our Developer Hub(https://developers.invofox.com/) has everything you need—guides, documentation, and support—to get started with Invofox or customize integrations.

So far, we’ve served around 150 clients and processed tens of millions of documents, giving us unmatched experience in data quality, operational efficiency, and security.

If you have questions, feedback, or ideas, I’d love to hear them—feel free to ask us anything!

Best,

Alberto, Carmelo, and Adrian!
I agree sibling comments are not quite correct about persistent email access. You could fix the email problem while the "backdoor" to Gitlab remains.

The problem statement says this about corrective action:

>I discover the hack and change the passwords on every account I know about

In actuality, the corrective action is to change the passwords and revoke any SSO integrations.

To the original point, this does add more overhead to the process, probably isn't obvious to most people, and depends on the site having clear UI for the topic.
Ask HN: How Are AMD GPUs/ROCm for Machine Learning in 2024?
This never occurred to me and seems entirely plausible given that horse manure was constant annoyance in higher traffic areas. The problem was so serious early auto advocates cited the reduction in manure as a major benefit.
That seems to be the main part of it: https://news.ycombinator.com/item?id=42400537
Line between cold calling vs telemarking, or cold email vs SPAM.

As far as what the line is, it's any unwanted unsolicited contact, as defined by the recipient, not by the party initiating the call or sending the email.

IE, there's no universal set of checkboxes that a marketer can follow that magically make unwanted unsolicited email / phone calls not SPAM.
> it was absolutely clear to both me and Antoine that the proofs of the main results were of course going to be fixable, even if an intermediate lemma was false, because crystalline cohomology has been used so much since the 1970s that if there were a problem with it, it would have come to light a long time ago.

I've always wondered if this intuition was really true. Would it really be so impossible for a whole branch of mathematics to be developed based on a flawed proof and turn out to be simply false?
Use carbon steel pans and stainless steel utensils anyway. Better for everyone, extremely durable and, shockingly, they don't stick. Bonus point your fried eggs get a delicious wok hei.

Somehow we all got convinced that teflon and complex polymers were solving a problem... It's simply not true.
Apache Iceberg: The Hadoop of the Modern Data Stack?
I've been using Vimac [1], which puts the targets directly on UI components.

[1] https://github.com/nchudleigh/vimac
Anyone who doesn't pay to get their name banned anyway.
What will you do?

Are you going to shoot people for knocking on your door?
I Was Canceled by Bluesky. and I Still Don't Know Why
Yes. Creator confirms: https://news.ycombinator.com/item?id=42400537
The Battle of Laser Headlights Ends with All Contenders Exiting the Arena
Correct me if I'm wrong but the study wouldn't gain much value if the chemicals were given after the mice lifespan?
Most of what determines the success of a social introduction made in hopes of gaining a physical partner for men is predicated on their physical attractiveness, mostly through genetically determined factors such as height, facial bone structure, and other non modifiable characteristics.

Studying your own social interactions to see where you may have gone wrong is likely a fool's errand. Physical attraction is determined visually in milliseconds, which means there's little to nothing you can change via behaviors to increase success in that way.

The rise of simp apps like onlyfans reflects the total desperation of men who fail to meet the genetic standards for looks. You are correct that the reach of social media is responsible as it has isolated most average men, as attractive men are always a swipe away for any woman who is looking.

While your suggestion to be more social is healthy and helpful for most daily interactions, looking for partners requires more than just that, it requires looks.
Why argue online? Just try to take a picture outside of a streetlight, or something, in a dark area. You'll see what I mean.
Twisted String Actuator Featuring Continuously Variable Transmission
AWDL was replaced by the WiFi NAN/Aware standard.
NoScript is a relic of the past and redundant with uBlock Origin - https://github.com/gorhill/uBlock/wiki/Blocking-mode:-medium...
Great Question (YC W21) Is Hiring People Operations Manager
Boat Canal Locks (2016)
AH-64 Apache helicopters sound similar to most every other turbine engine helicopter. I doubt that you could distinguish between them, especially not at any distance.
Microsoft Recall still storing credit card, social security numbers
He sometimes lets the chess speak for itself /s
Vimac[1], is Vimium for the entire screen and also works for web pages like GMail that don't work on Vimium.

[1] https://github.com/nchudleigh/vimac
This was from the last time around, and Trump no longer holds the lease on the hotel (and it's no longer branded as "Trump"), but it is an example of self-dealing with inaugural funds:

https://www.politico.com/news/2020/01/22/dc-sues-trump-organ...

Fool me once, ...
Intelligent people who create the future must choose that path for themselves. Chess isn't preventing people from making that choice. If chess didn't exist, most chess players would probably just be playing some other game instead of STEM careers or whatever your definition of creating the future is. Also plenty of very strong chess players do ultimately wind up pursuing other career paths. And then there's also the fact that a good number of the top chess players have shown themselves to be highly dysfunctional people who are unfit for the professional world such as Bobby Fischer and Vladimir Kramnik.
imagine writing a whole article in the vein of the "which opinions, motherfucker??" goose meme
Yes, I could appreciate it.
Vimium: https://chromewebstore.google.com/detail/vimium/dbepggeogbai...
This is a really creative idea!

I wish more keyboards would integrate that little red Lenovo mouse nub.

Some thoughts:

- allow me to maximize the youtube embed on your site, I can't really see the video clearly enough to gauge the product so had to open it on youtube

- little green cursor in your vid is very hard to see

- took me a long time to understand that your cells were rectangles, so "2 characters of any cell" didn't make sense for a while, maybe you could emphasize it (if only for the video)
Because the US is full of infrastructure that is critical but weak, and the JIT supply chain stretched to the thinnest of margins in the name of sacred profit can often be the best point of attack.

Remember when Helene ravaged the southeastern US? One of the things that got cut off was a plant producing saline -- turns out, the US gets its saline from three manufacturers, when one went dark, the effects were felt nation-wide. Effects like cancelling surgical procedures for the lack of basic resources, and saline shortages lasting until today.

It would make a lot of sense for foreign adversaries to scope out these weak points, and integrate them into their strategies.
Big difference since this product appears to demonstrate that it does work.
> The crowd went wild; I've never made a group of experts so angry as...

Also not a number theorist...but I'd bet those so-called experts had invested far, far too many of their man-years in that unproven conjecture. All of which effort and edifice would collapse into the dumpster if some snot-nosed little upstart like you, using crude computation, achieved overnight fame by finding a counter-example.

(If I could give my many-decades-ago younger self some advice for math grad school, one bit of that would be: For any non-trivial "Prove X" assignment, start by spending at least 1/4 of my time budget looking for counter-examples. For academic assignments, that's 99% likely to fail. But the insight you'll get into the problem by trying will be more worth it. And the other 1% of the time you'll look like a genius. And - as soon as you attempt real math research, those odds shift enormously, in favor of the counterexample-first approach.)