MurphyA/hacker-news huggingface dataset:
by observationist | 2025-10-08 17:26:20+00:00
It's a status game, primarily - they want credibility by association. Erdos number and those type of games are very significant in academia, and part of the underlying dysfunction in peer review. Bias towards "I know that name, it must be serious research" and assumptions like "Well, if it's based on a Schmidhuber paper, it must be legitimate research" make peer review a very psychological and social game, rather than a dispassionate, neutral assessment of hypotheses and results.

There's also a monkey see, monkey do aspect, where "that's just the way things are properly done" comes into play.

Peer review as it is practiced is the perfect example of Goodhart's law. It was a common practice in academia, but not formalized and institutionalized until the late 60s, and by the 90s it had become a thoroughly corrupted and gamed system. Journals and academic institutions created byzantine practices and rules and just like SEO, people became incentivized to hack those rules without honoring the underlying intent.

Now significant double digit percentages of research across all fields meet all the technical criteria for publishing, but up to half in some fields cannot be reproduced, and there's a whole lot of outright fraud, used to swindle research dollars and grants.

Informal good faith communication seemed to be working just fine - as soon as referees and journals got a profit incentive, things started going haywire.
by zdragnar | 2025-10-08 17:26:53+00:00
> If someone's trashing their employer, more likely than not, they are probably speaking the truth

Oddly, this has not been my experience. People bitter about being let go tend to project just as much as anyone else suffering from intense negative emotions, and they tend to gloss over their own contributions in doing so (assuming the termination isn't part of a mass layoff).

At the end of the day, I agree that toxic positivity isn't helping anyone, but it's also better (imho) to not feed unconstructive negativity. If they need to vent, let them vent, then pivot.
by marcosdumay | 2025-10-08 17:26:57+00:00
> It was the 2022 sanctions on Russia that made the BRICS alliance take note.

IMO, it was the barriers imposed on the trade of oil, mostly from Iran and Syria. Not really Russia, because they adapted quickly. The countries on the group's name all had alternatives at that time.

Either way, the BRICS trading system wasn't a serious thing until this year. And what really kicked it out was Trump.
by hedora | 2025-10-08 17:27:13+00:00
That’s true in the US too.

We had someone come to our house to work on a range hood. They didn’t have ladder training, so the insurance company wouldn’t cover it if they fell off the ladder.

The range hood repairman left without doing any work. I do wonder what a normal day at work looks like for this person. We weren’t billed for the house call.
by kasey_junk | 2025-10-08 17:27:18+00:00
It’s definitely not 3rd place. That’s cboe and it’s not close. It’s hanging around with ~2% of the trade volume.

https://www.cboe.com/us/equities/market_statistics/

I don’t know if that is “remarkably well” but it certainly isn’t some market paradigm shift.

If you were to tell me in 10 years the Texas exchange would have 2% of the market I’d believe you. But I’d still not be terribly impressed.
by magicalhippo | 2025-10-08 17:28:38+00:00
I wrote a more traditional JSON parser for my microcontooller project. You could iterate over elements and it would return "needs more data" if it was unable to proceed. You could then call it again after fetching more. Then just simple state machines to consume the objects.

The benefit with that was that you didn't need the memory to store the deserialized JSON object in memory.

This seems to be more oriented towards interactivity, which is an interesting use-case I hadn't thought about.
Show HN: Run your own Hedge Fund in a Spreadsheet
by dioptre | 2025-10-08 17:28:48+00:00
After months of work, we've created something we think the HN community might find interesting: a spreadsheet interface that connects to 600+ exchanges with 1000+ built-in analysis tools. The core idea: if you already know spreadsheets, you shouldn't need to learn Python/R or set up complex infrastructure to do serious quantitative analysis. What's inside:

Portfolio optimization (including Dalio's risk parity approach) Monte Carlo simulations for backtesting Sharpe ratio, Black-Scholes, and risk analysis Real-time data from 10,000+ sources via connectors Direct execution to platforms like Robinhood AI assistants that can explain concepts and analyze your positions

The AI layer is particularly useful for learning - it can walk you through why certain strategies work, explain the math behind models, or help debug your analysis. We're offering a free tier to start, and we'd genuinely love feedback from folks here who've built their own trading systems or struggled with existing tools. Try it at: https://sourcetable.com/quant Happy to answer questions about the architecture, data pipelines, or design decisions.
by add-sub-mul-div | 2025-10-08 17:29:04+00:00
"Swaying" doesn't happen abruptly in response to any one post, good or bad. It's a process and it takes time.

A critical mass of people in the middle have shown that they'll just get dragged by the Overton window wherever it goes. It does make a difference in the big picture whether bad policy is widely praised, mocked, or ignored.
by jmull | 2025-10-08 17:29:15+00:00
The quote says the effort is to move "completely".

I think there will probably be a long tail which will prevent that from happening so quickly.

(It also probably doesn't really matter... if their main goal is to scale using azure they really only need the stuff that will be scaling up to be there. They probably also want to be seen as eating their own dog food, which can reasonably be achieved without all of the long tail.)
by exasperaited | 2025-10-08 17:29:26+00:00
I came to the conclusion that if I need to do that -- webapp-regenerated, parametric variable stuff -- I would either hook up headless FreeCAD in containers (which is now potentially a bit easier, because the work Ondsel did is open source), or set up replicad, e.g. https://replicad.xyz/docs/examples/gridfinity

OpenSCAD is simply not worth the pain unless you're using it to demonstrate abstract geometry.

Build123D or CadQuery could well be viable, though IMO both have slightly frustrating dependencies. But since they can both load STEP files then customisations can be applied to designs built mostly elsewhere.
by Veserv | 2025-10-08 17:29:43+00:00
You would normally use the “LDR Rd, =expr” pseudo-instruction form [1]. For immediates not directly constructible, it puts a copy of the immediate value in a PC-relative memory location, then does a PC-relative load into register.

So that would turn the whole sequence of “add constant to SP” into 2 executable instructions, 1 for constructing immediate and 1 for adding for a total of 8 bytes, and a 4 byte data area for the 17-bit immediate for a total of 12 bytes of binary which is 3 executable instructions worth.

[1] https://developer.arm.com/documentation/dui0801/l/A64-Data-T...
by em-bee | 2025-10-08 17:30:13+00:00
For the consistency/security rules, I meant that any API accessible in the browser is also publicly accessible to anyone.

not quite. you still need access credentials. having an API doesn't mean that anyone can access it without permission. you protect an API the same way you protect the actual website.

Quite a lot easier to e.g. syphon data out of a system than if they just did SSR.

if the data is sent to the client, then the client ca access it either way. sure, embedding it in HTML makes it harder to parse, but that is really just security by obscurity. that's actually another reason why i prefer APIs. they make it blatantly obvious what data you are publishing. in a SSR page it is easier to let things slip through. the SSR page looks like a closed box, it gives the impression that it is possible to prevent users from entering that box and getting data out of it, but that is an illusion.

you'll have to build a proverbial Chinese wall between frontend and backend.

which is the API. small, only containing what is needed, very easy to verify that private data doesn't leak out.
by TrainedMonkey | 2025-10-08 17:30:33+00:00
Some other hypothesis:

- Newton - predicts that most advances are made by standing on the shoulders of giants. This seems true if you look at citations alone. See https://nintil.com/newton-hypothesis

- Matthew effect - extends successful people are successful observation to scientific publishing. Big names get more funding and easier journal publishing, which gets them more exposure, so they end up with their labs and get their name on a lot of papers. https://researchonresearch.org/largest-study-of-its-kind-sho...

If I was allowed to speculate I would make a couple of observations. First one is that resources play a huge role in research, so overall progress direction is influenced more by the economics rather than any group. For example every component of a modern smartphone got hyper optimized via massive capital injections. Second one is that this is a real world and thus likely some kind of power law applies. I don't know the exact numbers, but my expectation is that top 1% of researches produce way more output than bottom 25%.
by nradov | 2025-10-08 17:30:36+00:00
Annexing Ukrainian lands and making them productive was never the primary Russian strategic goal. What they wanted to do was establish defensible strategic depth. There are no natural geographic borders (like mountain ranges or wide rivers) between NATO member states and Moscow so Russian leaders still fear a land invasion from Western Europe (which has happened a couple times before). If they controlled Ukraine then they could make an invasion by NATO much more difficult. I'm not trying to justify Russian aggression but from an amoral geopolitical perspective there was a certain logic to it.
by mooglevich | 2025-10-08 17:30:41+00:00
What do you think a good faith person trying to persuade should do with this information?

(Legit question, not trying to throw out a gotcha. I've been wracking my brain about this, since I spiritually agree w/ you that throwing zingers aren't gonna help us all get on the same page, but I've been at a loss as to how to actually discuss these topics with people that seemed to have been taken in by...whatever it is that's going on.)
by saltyoldman | 2025-10-08 17:30:53+00:00
This is what I've seen as well - in the past a large refactor for a codebase like that seemed nearly impossible. Now doing something like "add type hints" in python or "convert from js to ts" is possible in a few days instead of months to never.

Another HUGE one is terraforming our entire stack. It's gone from nearly impossible to achievable with AI.
by wahern | 2025-10-08 17:30:57+00:00
> ICE has extremely little power to punish people who are citizens of the united states

Tell that to yourself while in a holding cell for 24 hours waiting for your ID to be "verified". Police have long used temporary detention to intimidate and spite people, but at least there had to be reasonable suspicion to make an arrest in the first place, and theoretically victims have resort to a civil rights tort claim. But a recent SCOTUS emergency docket decision has effectively given ICE a pass to arrest people on a whim.[1] And it's much more difficult to press civil rights claims against Federal agents; in fact, it may even be impossible to sue ICE agents for false arrests, no matter how egregious.[2]

[1] See the Noem v. Vasquez Perdomo stay at https://www.supremecourt.gov/opinions/24pdf/25a169_5h25.pdf. Note that in his concurrence Kavanaugh wantonly mischaracterizes the district court order, then in passing dicta lazily tries to cover his ass by suggesting the rule he just rejected is actually the existing rule. One can only hope the other justices in the majority had different rationales for their decision, and weren't as confused or malicious as Kavanaugh. Sotomayor's dissent is at page 11 (https://www.supremecourt.gov/opinions/24pdf/25a169_5h25.pdf#...)

[2] See https://en.wikipedia.org/wiki/Egbert_v._Boule.
by blef | 2025-10-08 17:31:25+00:00
This is interesting. Funnily enough this is something that we also built in the tool I'm building called nao, which is a data editor for data teams. Because most of the SQL parsers aren't fault tolerant we had to develop our own fault-tolerant parser.

I really think what you showcase in the start of the article is the best thing, being able to statically highlight error in a text form for a user (or for a LLM) to iterate on the fixes is the best thing.
by reaperducer | 2025-10-08 17:31:37+00:00
I'm absolutely incensed that OTA broadcasts have been allowed to start using DRM.

We're back to the 1970's and early 80's when some OTA channels were allowed to charge subscriptions.

The difference this time is that the new decoders send information /back/ to the TV station, so you can be further tallied, tabulated, profiled, and collated.

Which is the precise reason I switched to OTA. What I watch is my business, not theirs.
by nerdsniper | 2025-10-08 17:32:03+00:00
One of the founders of the United States Thomas Jefferson was a pretty big encryption enthusiast. He invented[0] his own disk cipher that is on display in the National Museum of Cryptography. The concept of Americans sending encrypted messages had been normalized since before the United States existed. People have always been able to send each other handwritten letters securely encrypted with OTP's / etc.

0: https://en.wikipedia.org/wiki/Jefferson_disk
by DenisM | 2025-10-08 17:32:42+00:00
Imho you would have an easier sell if you separate knowledge into tiers: 1)overall design 2) coding standards 3) reasoning that lead to design 4) components and their individual structure 5) your current issue 6) etc

Your project becomes progressively more valuable the further you go down the list. The overall design should be documented and curated to onboard new hires. Documenting current issues is a waste of time compared to capturing live discussion, so Recall is super useful here.
by agentultra | 2025-10-08 17:33:25+00:00
Because the cost of faults is much higher than getting a new bookshelf from IKEA.

When talking about craftsmanship I’m not talking about artisanal, hand crafted source code that is aesthetically pleasing. Nobody but programmers care.

I’m talking about CVEs that allow RCE on your phone so that authoritarian governments can exfiltrate your contact lists and arrest all of the people they suspect of participating in protests that you were involved in.

When companies don’t care about quality and they’re not forced to we end up with slow, surveillance bloatware that is full of security holes and useless features designed to keep us engaged and paying.
by bityard | 2025-10-08 17:33:30+00:00
If the cell is fully discharged, there isn't much danger because all of the energy that _would_ cause an explosion/fire is gone.

However, a LiPo cell that has entered Spicy Pillow mode (empty or not) can still theoretically burst, leaking or spraying toxic materials everywhere. So you were right to put it outside. Make sure you recycle it appropriately, so that it doesn't go into a landfill and poison the drinking water of our grandchildren someday.
by mooglevich | 2025-10-08 17:33:42+00:00
This is true. It's interesting to see the incentives of the industry though - this business model was less evenly distributed, but given how tough it is to make money in games, more companies are doing this.

https://www.matthewball.co/all/stateofvideogaming2025 had an in-depth (very very..in-depth) dive into all these trends.
by jampa | 2025-10-08 17:34:33+00:00
I'm sure the OP means well, but I think this approach is misguided. It comes across as self-centered rather than supportive. You might get a polite "thanks" in response, but I doubt it will be genuinely appreciated.

If you care about the person and want to talk with them, reach out and be genuine. If not, don't bother them with LLM corporate-speak masquerading as support. Let's be honest: they didn't "part ways" with the company--they were fired.

Right now, they're worried about paying their bills, not about making their former coworkers feel better.

If you really want to help, reach out to your network and see if anyone is hiring. I've successfully connected many laid-off former coworkers with new opportunities. I've even approached recruiters that I ignored saying, "I'm not available, but this person is looking, and they're excellent."
by kragen | 2025-10-08 17:34:33+00:00
You seem to be agreeing with the story's thesis, rather than disagreeing. The story claims that we get an enormous amount of data from which we could compute much more than we do. You, too, are claiming that we get an enormous amount of data from which we could compute much more than we do. If that's true, then we aren't limited by our data, which is what I meant by "data-limited"—although you seem to mean the opposite, "we get data slower than we can analyze and process it", in which we are limited not by the data but by the processing. This tends to rebut the claim above, "If you had AGI tomorrow and asked it to cure cancer, it would just ask for more experimental data and resources."

It may very well be true that you could cure cancer even faster or more cheaply with more experimental data, but that's irrelevant to the claim that more experimental data is necessary.

It may also be the case that there's no "shortcut" to simulating a human body well enough to test drugs against a simulated tumor faster than real time—that is, that you need to have enough memory to track every simulated atom. (The success of AlphaFold suggests that this is not the case, as does the ability of humans to survive things like electric shocks, but let's be conservative.) But a human body only contains on the order of 10²⁴ atoms, so you can just build a computer with 10²⁸ words of memory, and processing power to match. It might be millions of times larger than a human body, but that's okay; there's plenty of mass out there to turn into computronium. It doesn't make it physically unrealizable.

Relatedly, you may be interested in seeing Mr. Rogers confronting the paperclip maximizer: https://www.youtube.com/watch?v=T-zJ1spML5c
by terminalshort | 2025-10-08 17:34:53+00:00
There may be some odd financial instrument that can only be traded on a single exchange, but that's generally not going to be something that is liquid enough for HFT trading anyway. The idea that a stock is listed "on the NYSE" and can only be traded there is a quaint anachronism. e.g. https://help.tradestation.com/10_00/eng/tradestationhelp/rou...
by pajuhaan | 2025-10-08 17:34:56+00:00
I just published a paper showing the electron’s mass falls out in closed form from a single phase-lock on a ring, solved from both sides of the same boundary: RLVM (scalar, on R3) and RLTM (vector, on C-space). Both independent routes land at essentially the same number, about 0.51099770 MeV, each ~2.45 ppm below the measured value and comfortably within the <11 ppm envelope set by today’s uncertainty in G.

The same relations invert to a direct value for G ≈ 6.67426728×10⁻11 m³·kg⁻¹·s⁻², with internal consistency far tighter than current lab limits (up to ~a million times in principle). No GR/SR field equations, no tuned parameters—just one lock applied consistently across two spaces. Links and details in the paper if you want to dig into the derivation and the cross-checks.
by hedora | 2025-10-08 17:35:32+00:00
Regarding lack of innovation: They still haven’t made the jump to NVMe.

They have things with two slots, which I guess is good enough for raid 1, but those models also have HDD bays, which wastes space in network closets.

I’d expect them to have something with 4-8 incredibly well-cooled m.2 slots by now. The nic is only 2.5G, so the slots wouldn’t need to be full speed.

I’m happy with my ancient 2TB synology NAS, but it’s bigger, slower, noisier and hotter than my mini-pc, which also has two (toasty) nvme slots.
by georgehopkin | 2025-10-08 17:35:38+00:00
A scalability crisis in human oversight threatens to render AI agent security controls ineffective, as users face thousands of authorisation requests that they will simply approve without review, according to a white paper from the OpenID Foundation. The paper warns that these vulnerabilities are emerging now, rather than remaining theoretical future problems.

The document identifies five critical security gaps already appearing as agents gain autonomy: agent identity fragmentation where companies build separate identity systems instead of common standards; user impersonation risks with no method to distinguish whether actions came from humans or agents; recursive delegation creating unmanageably complex permission chains when agents spawn sub-agents; browser control bypass where agents controlling screens sidestep traditional security checks entirely; and the fundamental scalability problem where consent becomes meaningless.
by discreteevent | 2025-10-08 17:35:50+00:00
> the most interesting war stories involve times when people should have been telling you about snags but weren't-

This comes up a lot. A person sometimes does an undesirable thing that an AI also does. So you might as well use the AI.

But we don't apply this thinking to people. If a person does something undesirable sometimes then we accept that because they are human. If they do it very frequently then at some point, given a choice, you will stop working with that person.
by johnisgood | 2025-10-08 17:35:55+00:00
> Hold on, there's some slight of hand going on here. [...] A correct comparison would probably involve identifying "a deliberately restricted subset of [Rust] designed from the ground up for static proof" and comparing its capabilities against what SPARK offers as well [...]

I understand your point, comparing a hypothetical Rust subset specifically designed for formal verification to SPARK is a fairer apples-to-apples framing. My earlier point was contrasting full Rust and SPARK to highlight that SPARK’s integrated, industrial-strength proof model is unmatched in terms of whole-program, auditable guarantees.

Rust's ownership and borrow system indeed provides leverage for verification tools, and subsets verified with Prusti, Creusot, Kani, or Verus can achieve interesting results. However, the structural design of Rust (unsafe blocks, interior mutability, macros, undefined behavior, evolving semantics) means that these subsets require careful annotations and external verification; they do not automatically produce the same machine-checked, whole-program, caller-verified obligations that SPARK/Ada guarantees today.

TL;DR: Yes, restricted Rust subsets can be verified and are amenable to research-level proofs, but SPARK provides industrial-strength, auditable, whole-program proofs by design, which Rust cannot replicate without extensive external tooling. The comparison isn't about Rust being "bad" at verification - it's about the integrated guarantees SPARK provides that Rust's language design fundamentally does not.

The takeaway for the readers here is that SPARK's off-proof body is like a verified contract with an opaque implementation; Rust's unsafe body is like a permission slip that gives the programmer access without automatic enforcement.
by JLO64 | 2025-10-08 17:36:06+00:00
> Crucially, it syncs feed read state between my laptop and phone.

This is via iCloud and only works for iPhones/Macs. What’s great though is that NetNewsWire also supports RSS feed aggregators (I personally use FreshRSS) so that you can sync RSS read status over all your devices, even non Apple ones!

I’ve been tempted over the years to switch to other RSS apps, but this feature is what keeps me using NetNewsWire.