skysight-inc/HackerNews huggingface dataset:
> In a paper published in Nature in 2015, they proved that the spectral gap problem is equivalent to the halting problem (opens a new tab) — and therefore undecidable. If someone handed you some complete description of the material’s particles, it would either have a gap or not.

Hold up. This is experimentally findable, right? Did they just invent a physical halting oracle? ...Hmm. The paper[0] is paywalled, but the abstract mentions aperiodic tilings. This might be a situation where the undecidability only holds if the material is actually infinite, in which case its significance is little more dubious. Still cool, but not practical-halting-oracle cool.

[0] https://www.nature.com/articles/nature16059
Can't wait till Trump gives a flat earther a cabinet position and soon after a couple billion will do to studies showing the earth is flat.
Show HN: How many programs output to /dev/null? (visualize `lsof` output)
A hugely underrated platform. Thankfully at least for now Google is leaving the Angular team alone and the platform has really matured in wonderful and beautiful ways.

If you like TypeScript, and you want to build applications for the real world with real users, there is no better front end platform in my book.
Northrop Grumman achieve milestone in Sentinel ICBM modernization
pbpaste and pbcopy to read and write to the clipboard and then combine with your favorite grep, sed, tr, cut, etc.
I understood it that way too. I just expect that if there were more Rust compilers (a benefit which C++ has in spades) then there would most likely be many annoying differences between them as well. There isn't an ISO standard for Rust. For that matter I guess most programming languages with multiple implementations have basically the same pro and con: there's more than one way to do things.
The article is wrong on the claim that Rust panic are harder to catch than C++ exceptions: as long as you don't configure panic=abort you can catch them easily with catch_panic and they are generally implemented using the same runtime mechanism (i.e. Rust panics usually effectively are C++ exceptions for most purposes).
> Right now, I'm desperately waiting for #[naked] to be stable

Does the global_asm! macro suffice for your use case?
> You can't make a movie about something without glorifying it. There's no such thing as an anti-war movie as Truffaut said.

Except when you are Kubrik.
You can also do similarly for water erosion, plotting channels where it runs downhill, carving a little on each cycle (and some terrain engines do).
China Government can create the poisoned Trojan Horse LLMs, and then simply feed it to the USA, because people in the USA have a false sense of security about Open Weights LLMs they self-host.

People think if you self-host stuff you're totally safe, but the weights can be pre-poisoned.

AFAIK the threat vector I'm identifying has never been exploited, and I've never even heard anyone else describe or mention it.
Adding on to what others have said, LastPass stored vault "metadata" unencrypted. Metadata included things the url. This allowed the attackers to prioritize cracking vaults of higher value.

See a vault with just a facebook.com and google.com login? Skip it. See a vault with coinbase and 10 other crypto sites in it? Spend a few thousand trying to crack it.

Source: https://github.com/cfbao/lastpass-vault-parser/wiki/LastPass...
Contrast CT is preferable over MRI in hyper-acute stroke because of much shorter acquisition times. MRI might have higher resolution, but there is little value to that when time is brain (i.e starting fibrinolytics).

Given these units are portable, I’m curious how acquisition times and/or resolution compares to gold-standard CT.

The time-savings seem to come from having to avoid transport to diagnostic imaging, but many EDs are already equipped with CT scanners for trauma cases.
Every time I see this link people act as if it is a solved problem.

It is called a paradox for a reason.

It also presupposes that intolerance always outcompetes tolerance in the marketplace of ideas, which I strongly disagree with.

The problem intolerance of intolerance actually tries to solve is one of purity. A pure society is the only way to avoid risking discomfort
what %ge of C++ features did you use for that ?
Makes sense. After initial period, I only see enough jobs to keep me busy ~10 hours a week. It's how I spend my first ~2 hours a day so we do just have differing realities in that regard
Can we trade for California?

it doesn't seem like you really want, and we could use a more sunny colony.
More importantly, how do cloud providers make sure of that?
Teslas are consistently rated high in customer satisfaction, but after several years of low ratings from top authorities in the industry, their reliability is undoubtedly in question.

This is too funny to post alongside saying “Tesla has never been a good product.” Like “everyone that bought it loves it be car expert Joe from South Dakota ranks them very low.”

Common sense also runs very much against this nonsense narrative - you just simply do not sell that many cars, at those prices especially, year after year after year, if the product is subpar. Don’t fall for this “experts” bullshit. The CEO is the biggest tool this Earth has ever seen but cars are awesome
Could be the case here :)

"You only hear about the ones that get caught"
Yeah. Am I missing the point that this leans so far into being as capable as a GUI as it can, that we lose something from starting in the terminal in the first place?
Utah governor mulls measure eliminating universal mail-in voting
How much discussion you've seen may be largely dependent upon the circles you frequent. I certainly recall news stories and discussion for each of the large breakouts over the years, even from back when the anti-vaxx movement was a fringe left rather than mainstream right movement.

It shouldn't be surprising that there's more discussion now, however, given the current head of the HHS is not only an anti-vaxx advocate but also known for his role in the 2019 outbreak of measles in Samoa.
I have known of a hundred person organization that was supposed to do R&D and after six years produced nothing of value. I have seen a team of twenty launch a hardware product in a year. Purpose is important!
There have always been people like this, that are simply brainsick and petty, but it's something that is probably being exacerbated by the extreme animosity between the people that run companies, and the people that work on the front lines.

I'm not naive enough to think there was a "golden age," when everyone was happy-dappy, but I think it's much worse, now, than it has ever been.

I mean, in order to do big, complicated things, you need teams, and teams need to work together. That means much more than just the "hard" skills of individual intelligence, creativity, and discipline. It's also all the "soft" skills, that help the team to retain cohesion, like mutual respect, loyalty, integrity, etc.

The problem is that the example needs to start from the top, and there hasn't been much of a good example, up there, recently.

It's not difficult to imagine people feeling justified in doing bad things to their team, like deliberately writing shoddy code, taking credit for colleagues' work, bailing out, before their bugs come to the surface, or throwing their teammates under the bus.

I always tried to foster a team that had mutual respect, and could focus on common goals, even when everyone had their own motivations and priorities. In my case, it worked, but I know that I was lucky.
Ironically with Insider Preview it's been harder to track what all is coming in the next version of Windows. On one hand it's all there in the blog posts, on the other hand it's not clear "between stable and current preview + announced road map, what's the total list".

Prior to rolling Insider Preview program builds news sites used to publish regular articles with the list. Maybe some still do but my difficulty has been sorting through the ones just rehashing each blog post vs summarizing the upcoming versions differences. What's everyone's go to place for keeping up with that kind of thing these days, if any?
Traditional emulators also recompile games to the target device's native machine code. It just happens dynamically at runtime, hence the name "dynamic recompiler" or "Just In Time recompiler".

This is just a static recompiler or ahead of time recompiler, except instead of directly targeting machine code, it's targeting C/C++ as a type of portable assembly. It basically just looks like a bunch of macros implementing the behaviour of powerpc instructions.

The recompiled result will preform nowhere near as good as a proper manual decompilation project, it's still baking in a huge number of quirks from PowerPC and the compiler they originally used, and will have noticeably worse performance. But, performance will usually be good enough, and it's easy to manually replace any bad code-gen that shows up as a bottleneck in profiles.

And while they did replace a bunch of graphics/audio code, they are still directly emulating a bunch of the original Xbox 360 Kernel and hardware.
Do you have a source for that? Everything I can find online puts global CBD industry revenue at less than $10 billion. And that's everything. The only FDA approved use of CBD (treating seizures), I'm sure is only a tiny fraction of that.

In any case, none of that refutes that there is a strong economic incentive for market actors to not fund FDA approval trials since any benefit will be shared by the entire market.
This is absolutely a too-cynical position. Nadella would be asleep at the wheel if he weren’t actively mitigating OpenAI’s current and future leverage over Microsoft.

This would be the case even if OpenAI weren’t a little weird and flaky (board drama, nonprofit governance, etc), but even moreso given OpenAI’s reality.
> But such behaviour is still unacceptable from a library perspective: a library should never, ever call abort or otherwise terminate the program.

It's true that libraries should not abort for a regular, foreseeable error. I fundamentally disagree that they should never abort.

If an invariant (something we believe absolutely must be true) is violated, the only sensible thing to do is abort the process. For example, if you set a pointer to NULL and then half an hour later it's time to store a value in that pointer but somehow it's not NULL anymore: clearly something has gone terribly wrong, either in your logic, or potentially in totally unrelated code in some other library which has scribbled on the heap. If execution is allowed to continue, the resultant behaviour is totally undefined: you might corrupt data, or you might allow a permissions check to pass that should have failed, etc. We can't always detect when something has gone wrong, but when we do, it's irresponsible to drive on or try to return an error.
> but I don't think anything they're doing is worth making Musk more powerful than he already is

A lot of Musk's "power" is simply the fact that Trump listens to him. Trump may at some point decide to stop listening. And even if he doesn't, in four more years Trump won't be President any more (ignoring any possible attempt at a third term, which frankly I think is very unlikely). Even assuming a Republican wins again in 2028 (far from guaranteed), will that Republican (whoever they may be) listen to Musk anywhere near as much as Trump does? Power is fleeting.

Take away Trump, and what power does Musk have? Okay, he's a centibillionaire and CEO of a couple of major companies... how is that hugely different from what Zuckerberg or Bezos have? And he owns a social media network... Zuckerberg does too – and Zuckerberg's network has 10 times the user base, 60 times the revenue...

SpaceX gives Musk a lot of influence over the US space program - but that isn't readily transferrable to other domains. The kind of power he recently seems to have been wielding over unrelated parts of the US government has nothing to do with SpaceX, it is all about his personal friendship with the President and his donations to the President – which in principle any other centibillionaire could have done – it is just they weren't trying, or not as hard, or maybe they were but didn't have the same luck
Yup, it's not sideloading. Actual sideloading would be too much freedom for an iphone ecosystem.
And you know, government labs, which have generated more than a few Nobels, had a lot in similarity with these monopoly-created private sector labs, I mention them because we are at a time when the government of the US doesn't seem to understand that these labs have value.
This is tragic and painful to imagine. He was suffering severely from Alzheimer's. The dog was in the crate. The wife collapsed and died from hantavirus infection all while he was walking around and didn't notice? It's quite terrifying if this is how vulnerable people with Alzheimer's are in their own homes.
Ars has a good write-up: https://arstechnica.com/tech-policy/2025/03/fbi-nabs-worker-...
SyncThing[1] works very well for syncing with Android devices, but IIRC doesn't work with iOS.

[1] https://syncthing.net/
Already a thing of past
http://www.w3.org/Submission/1996/1/WD-jsss-960822
Netscape Communicator 4

JavaScript Style Sheets (JSSS) alternative to CSS, a "Programmable CSS"

Never got spotlight because stubborn people werent ready to let go of css
I think being able to run the same code locally and on the "cloud" is a great selling point. Developing on Spark feels hillariously ineffective.
LPDDR5X is slower than GDDR7 present on the 5090.

This card lacks hardware-based rasterization and other tech that makes a graphics card a useful graphics card for gaming.

This is an HPC card at most, when it isn't vaporware.
I thought that was odd, too. It would have made more sense if they'd implemented this for media controls first, and then consolidated the popover attributes into it later. This feels like a record for fastest deprecation of a web feature ever.
Senate Bill 21, Establishing the Texas Bitcoin Reserve
Furthermore

> a panic!() or an abort() are much more annoying to catch and handle.

By design. If you're hoping to catch a panic, then you're doing it woefully wrong. Catching panics is correct only in extremely niche scenarios.

Panic-free Rust code can sometimes be challenging, if a dependency incorrectly asserts an unwrap/expect, but the Rust community tends to hold itself to a higher standard than that.

Other things,

> Most of it is the low-level nitty-gritty, which Rust is not particularly good at.

I don't feel like this was motivated anywhere, just asserted at the end. My opinion is that Rust gives you more tools to make invalid states unrepresentable - this can drastically lower cognitive burden when working on the code.

> Bounds checks are rarely performed in the compiletime and we have to pay their price at the runtime. This is a significant performance hit for coders.

Rust is extremely good at eliding bounds checks. If you attempt to write C++ in Rust (e.g. a moving pointer/slice) then you're probably going to trip these heuristics up, idiomatic Rust (heavy iterator usage) generally results in fewer bounds checks.

> The ownership model is not particularly useful to coders.

Maybe not useful, but certainly unlikely to be a hindrance. The ownership model generally maps extremely well to the CS101 concept of Input -> Processing -> Output, which coders are (and UIs aren't, if you've ever wondered why its still mostly an unsolved problem in Rust).

You can do raw assembly in Rust too.
The Youtube video embedded on their Github is titled "Tiling Window Manager with Drag&Drop" and from watching it, that appears to be exactly what this is. I don't know if or why it artificially constrains itself to only opening terminals.
Thank you for sharing this article; this changed some of my perceptions of Bell Labs regarding how free its researchers were, though Bell Labs was certainly one of the most free industrial research labs in history, alongside 1970s-era Xerox PARC.

The part of the article that mentioned Bell Labs’ philosophy for choosing research problems reminds me of Richard Hamming’s famous “You and Your Research” talk, where Hamming talked about the importance of working on important problems, and how he asked his colleagues about the importance of their problems.

Come to think of it, part of the reason why Xerox PARC and Bell Labs are so renowned is because of the importance of the problems they worked on. Transitors, Unix, Smalltalk, the Xerox Alto, GUIs, word processing, Ethernet, the list goes on.
There are so many little bits of logging going on with modern systems that the idea of totally cleaning up all evidence seems far-fetched.

Not that one couldn't make it very hard to tell, but even circumstantial evidence in the hands of a good prosecutor can deliver a conviction.
And promptly sweep all the Bitcoin from the wallet whose mnemonic phrase was stored in the vault.

LLM entities have bills to pay too.
Ask all the Qns and have a fast fits-reality filter ?

Seems like a general recipe useful in startups, science and life.

afterthought :

We are not doing this now, either in science research or in startups :

The current VC model of funding startups is too few large bets, and too many hoops for small startups to jump thru to get to VC money.

Wouldn't a more efficient betting stategy be to place a small bet on a promising team/idea/market .. then followup with a larger bet on proof of progress ?

I think we are missing out on funding a long-tail of small startups using Reinforcement Learning techniques to solve real problems in engineering / logistics etc.

The impedance mismatch means we dont get the useful new tech built, we dont develop talent and VCs take on more risk than needed and miss out on high growth startups.

This might be structural in the money supply .. we might need smaller boutique VCs to fit that gap between large capital and small startup .. perhaps more post-exit founders should start small angel firms, and mine the RL niche.
I partially solved this problem by getting bigger (4k) monitors and sitting farther from them. My eyes are now over five feet from my screens. I also also try to follow the 20-20-20-20 rule but need a better timer.
He literally wrote a script that locked out everyone on the network the second they disabled his employee account in active directory. He even named the variable Is[DH]EnabledInAD where [DH] is his initials.
Indeed, this doubled potential meaning of private means that “private robotic spacecraft” is one that is privately-owned, but “robotic private spacecraft” means that there’s something private about the spacecraft, like it’s naked or on antidepressants or maybe it just doesn’t like talking to the press.
GitHub for UX Designers
Design portfolio management: The one thing every designer hates doing but needs, but what if your portfolio built itself while you worked?

The Designer's Dilemma (That We Solved)
Hey there, fellow designers! Remember that time you had to pull an all-nighter before a client presentation, frantically organizing screenshots and trying to remember why you made that design decision three weeks ago? Or when you missed out on that dream job because you didn't have time to update your portfolio?
We've all been there. And it sucks.
Kreeo is the design sidekick you've always wanted. It silently works in the background while you do what you do best: design amazing things.
Well it depends, France adopted widespread use of diffusion weighted MRI as first line modality for stroke because it's much more sensitive than cect, but yeah, most institutions do CT scan as a first line for several reasons including one you've provided.
Why I Still Use Ruby on Rails
No. Way lower level. WINE runs native code and replaces library and system calls. This turns native code into C++ macros and then recompiles those into code. This is like a JIT with C++ as the IR. On the other hand WINE is not an emulator ;)
You can't after a comment :) 's alright, these things happen
The vast majority of these golden years of innovation had corporate tax rates at a fraction of the years following.

Maybe your claim is the opposite of the evidence.
One promoter, back in Feb.:

“All fiat currency eventually goes to its natural worth, which is the paper it’s printed on,” Schwertner said at the February 18 hearing. “We can buy land. We can buy gold. I think Texas should have the option of evaluating the best-performing asset [Bitcoin] of the last 10 years.”
Flexible micromachined ultrasound transducers (MUTs) for biomedical applications
The analog lines before digitalization were limited to 8kHz bandwidth. This is because to deliver a circuit between two points, the system generally figured out which bit of bandwidth wasn’t in use and frequency shifted the entire connection into that band.
Not to nitpick but..

1. The switching cost from Google Search is certainly not zero, it implies switching from Google, which is virtually impossible because it's tied to Chrome, YouTube, Android and Gmail

2. I don't know many people who are dedicated "Pepsi" fans, they just grab whatever drink is available Coke/Pepsi..

3. I've also not heard many people who are never willing to switch from "Crest".. People will just grab the next available option if Crest is not on shelf. No one is pre-ordering Crest.
When talking about superintelligence it is generally clear that general intelligence is meant, as specialized superintelligence has been solved for many areas for decades now without modern AI.
Unlike the President’s announcement, this is taxpayer money.
Rust's inline assembly syntax is part of the language, and in principle the same Rust source would compile on any conforming compiler (rustc, gccrs).

C/C++ doesn't have a standard syntax for inline assembly. Clang and GCC have extensions for it, with compiler-specific behavior and syntax.
There were accounts with as few as 1 (yes, 1) PBKDF2 iterations[1]. Others changed theirs to over 300k but it still ended up only being 5000 in reality[2].

So despite the messaging from LastPass about improving iteration count for existing users it wasn't always accurate.

[1] https://news.ycombinator.com/item?id=34152779

[2] https://www.reddit.com/r/Lastpass/comments/zuve7t/cracking_e...
But you can make it work harder by promising a tenure in 35 years time.
Solutions in search of a problem.

Rather than Problems in search of a solution, possibly related to this technology.
they likely utilized expertise/supply chain from Tesla
opensourced on github! https://github.com/guzus/llm-mafia-game
But the movie is still good
I didn't say anywhere that I am for it.
What would constitute promising evidence that LLMs may lead to superintelligence in your eyes? I mean this as a serious question.

Suddenly we can talk to computers in plain language, they can solve a broad range of technical and non-technical problems, they get significantly better every year… it’s hard for me to imagine more promising evidence that AGI is on the horizon besides actually achieving AGI.
https://en.wikipedia.org/wiki/Johnny_Got_His_Gun_(film)
Is 850W really "overkill"? I don't know. I suppose it depends on how likely it is you will expand and add devices.
US drops bid to make Google sell AI investments in antitrust case