MurphyA/hacker-news huggingface dataset:
by tombert | 2026-01-08 18:11:11+00:00
You’re right! I think overall I have most fun with Clojure.

I also really like Julia; it has a channel mechanism and it has a very nice macro syntax. It also is obscenely fast at number crunching tasks and I find the language pretty pleasant to use with a nice syntax. I use Julia whenever I need to do anything involving CPU bound number crunching stuff (which admittedly isn’t too often).

All that said, I have been mostly favoring Rust because the memory footprint is so much smaller and I still have a fair amount of fun with it :).

Also, depending on the task, I also get a fair bit of mileage out of ZeroMQ, which can bolt on channel-like semantics in a pinch. It’s not as nice as having it build directly into the language but it does support more flexible patterns. Whenever I have to use Java I almost always end up importing JeroMQ the moment that that built in BlockingQueues stop being sufficient.
by DicIfTEx | 2026-01-08 18:11:36+00:00
Given there's a lot of trans techies out there, and things will probably heat up sharply in the US following the Venezuela attack and Minneapolis ICE shooting, this seems like a worthwhile warning to share here.

See also this link for details of two ongoing Canadian cases featuring trans and non-binary Americans: https://www.theguardian.com/world/2025/sep/07/trump-lgbtq-am...

(I believe Kreager's asylum case is due to be heard later this year, but I can't find a date)
Valori – Deterministic Substrate for AI (Code and ArXiv Paper)
by varshith17 | 2026-01-08 18:11:44+00:00
I've published a paper on a fundamental problem in AI systems that I believe has significant implications for our work: "Valori: A Deterministic Memory Substrate for AI Systems." [https://arxiv.org/pdf/2512.22280]

THE PROBLEM :

AI systems have unreliable memory.

When you run the same AI agent twice with the same input, it can give you different answers not because the AI is "thinking differently," but because the underlying memory system is non-deterministic.

In simple terms, the math used in building current vector databases (FAISS, Qdrant, Milvus, Pinecone, etc.) is floating-point arithmetic, which behaves differently across CPUs (x86, ARM, Mac, Windows). This is a universal problem acknowledged by industry leaders, including the
FAISS team: https://github.com/facebookresearch/faiss/issues/4739

THE SOLUTION (What I Built) :

Valori: A deterministic memory substrate for AI systems.

In simple terms, I replaced floating-point math with fixed-point arithmetic (Q16.16) and built the memory engine using Rust (no_std).

Traditional systems store state (the answer). Valori stores events (how we got the answer).

This means you can:

Replay any decision exactly, Debug across different machines, Audit with mathematical certainty, Prove compliance to regulators

USE CASES (Where This Matters)
Simply put, wherever we need bit-level replay, Valori can be applied:

Compliance & Audit (Financial Services), Incident Investigation (SRE/DevOps), Multi-Agent Systems (Autonomous Operations), Quantitative Finance (Hedge Funds), AI Safety & Alignment (Research), Healthcare AI (Medical Decisions)

I'd be happy to discuss this further and explore potential applications. Open to answer any doubts, questions, Criticism and Feedback
by anon291 | 2026-01-08 18:11:45+00:00
The landlord of most of the United States is the American people since American public pension plans are some of the largest holders in these funds that purchase single family homes.

People act as if this is due to 'private greed'. It's not. American public pension plans are underfunded and need more returns. Thus they turn to the private markets, who offer them that which they are seeking to purchase. The market is heavily distorted by these public players whose policy and aims are not constrained by the market but by public policy.
by didibus | 2026-01-08 18:11:46+00:00
> why is meat inflammatory? is it they way it's farmed/raised?

Not all meats are inflammatory. Processed and high temp cooked meats especially red are.

And I don't think we have the answer fully to why, but we know the lesser processed it is the better, and I believe I've seen some things about grass fed and all these more organically/traditional made meats seem to not be as inflammatory.

Also, we evolved during a period where we hunted, so even the idea of farmed meet maybe isn't really part of our evolution. But also, during our hunting evolution, we likely didn't have meat at every meals. Plus if you ever had game meat, it tastes really different and often isn't as good as what we farmed. So we kind of came to farm what tasted the best and was easy to farm, so it might be those meats aren't as good for us.

Also, you can't always assume that the environment we evolved in and the "natural" state is good for us. It wasn't bad enough for us to dwindle in numbers, but our population count was kept much lower than now and our life expectancies were shorter. As long as we made it to a healthy reproduction state evolution doesn't care. So all these inflammatory issues appear starting in your 30s and really become a problem much later in life. It's possible this didn't matter in evolutionary terms.

Lastly, you also have to take into context what else we'd do/eat. If our diets were more balanced than other things we would eat could neutralize some of that inflammation and meat has other vitamins and nutrients that are benefitial, but if someone cuts those other things out of their diet now the inflammation could become a problem.

So it's all more nuanced and complex.
by toomuchtodo | 2026-01-08 18:12:10+00:00
They’re the first electrostate, and their success is our global success as their innovation and exports destroy the demand for fossil fuels globally.

Ember Energy: China Cleantech Exports Data Explorer - https://ember-energy.org/data/china-cleantech-exports-data-e... (updated monthly)

China’s Oil Hoarding Clouds Outlook for Slowing Demand Growth - https://www.bloomberg.com/news/articles/2025-12-11/china-oil... | https://archive.today/YLDHL - December 11th, 2025

> China’s oil demand growth is forecast to be 150,000 barrels a day next year, according to the median estimate in a Bloomberg survey of analysts. Energy Aspects was the most bullish, expecting daily growth at 320,000 barrels, mainly on rising petrochemical demand. Still, the prediction is a year-on-year drop.

> “It’s an irreversible path,” said Ye Lin, vice president of oil markets at consultancy Rystad Energy, which also forecasts demand growth falling in 2026. “The market is now feeling the impact of China’s fast-growing EV fleet.”

Rhodium Group: Electric Trucks and the Future of Chinese Oil Demand - https://rhg.com/research/electric-trucks-and-the-future-of-c... - July 1st, 2025

> Analysts have been discussing “peak oil” for decades. We’re hardly equipped to wade into that debate ourselves, even as Chinese demand will be a critical variable in future global oil demand. But the ongoing electrification of China’s vehicle fleet, especially in trucking, suggests long-term headwinds to diesel and gasoline demand. We estimate the total electric vehicle fleet is already displacing over 1 million barrels per day in implied oil demand—equivalent to roughly the daily oil production of Oman. That level is likely to rise by around 600,000 barrels per day over the next 12 months.

(TLDR At current electrification rates, China is destroying ~1M barrels/day of oil demand every 24 months)

HN Search: china electrostate - https://hn.algolia.com/?dateRange=all&page=0&prefix=false&qu...

HN Search: china renewables - https://hn.algolia.com/?dateRange=all&page=0&prefix=false&qu...
by ksherlock | 2026-01-08 18:12:20+00:00
Having played with this a couple days:

1. there's no need for the welcome pop-up every time.

2. the player timing is not good. Are you randomizing durations as a stylistic choice to sound like a first day piano player? it frequently runs together 3 or 4 notes 1/32nds so i have to play it 3 or 4 times to hear the notes with something approximating an appropriate duration.

3. when making a mistake - if you're playing on a keyboard, i can see value on starting over from the beginning. but if you're clicking on the mouse, it's kind of pointless.
by lacy_tinpot | 2026-01-08 18:12:33+00:00
>There is something there with LLMs, but the way they're being productized and commercialized does not seem healthy. I would rather see more research, slow testing and trials, and a clear understanding of the potential negatives for society before we simply dump it into the public sphere.

There's something incredibly harmful about this kind of mentality.

It's a weird kind of paternalizing, diminutive, and degrading view of common people.
by yawaramin | 2026-01-08 18:12:45+00:00
> How does "htmx sends a request header HX-Request: true with every request." happen without javascript?

It doesn't. If JavaScript is disabled, this header is not sent.

> you need a backend server that understands whatever this header is for the graceful fallback

Yes, as I mentioned in my blog post linked earlier: 'the backend server can use a fairly simple heuristic to figure out that it should respond with a fragment:...The request has a header HX-Request...The request does not have a header HX-History-Restore-Request...If these two conditions are fulfilled, it can respond with a fragment. Otherwise, it can respond with a full page ie <!DOCTYPE html>... and so on.'

> it wouldn't work with just nginx...

It would in a limited sense if you design the pages in a certain way and use the `hx-select` attribute: https://htmx.org/attributes/hx-select/

But...htmx is not really meant to work with just Nginx or other static web servers, it is meant to work with a BFF (backend-for-frontend) that specifically knows how to serve and handle the app in question.

From the criteria you have mentioned so far:

- Works without JavaScript

- Works with a static web server like Nginx

I can only conclude that you are talking about serving static sites with no dynamic interactivity. That's not really what htmx is about. Htmx is more like a simplified way to do SPA-like things.
by 9rx | 2026-01-08 18:12:48+00:00
> Enums are named for being enumerable which is not the same thing as simply having an equivalent number.

Exactly. Like before, in the context of compilers, it refers to certain 'built-in' values that are generated by the compiler; which is done using an enumerable. Hence the name. It is an implementation detail around value creation and has nothing to do with types. Types exist in a very different dimension.

> It’s supposed to be a union type

It is not supposed to be anything, only referring to what it is — a feature implemented with an enumerable. Which, again, produces a value. Nothing to do with types.

I know, language evolves and whatnot. We can start to use it to be mean the same thing as tagged unions if we really want, but if we're going to rebrand "enums", what do we call what was formally known as enums? Are we going to call that "tagged unions" since that term now serves no purpose, confusing everyone?

That's the problem here. If we already had a generally accepted term to use to refer to what was historically known as enums, then at least we could use that in place of "enums" and move on with life. But with "enums" trying to take on two completely different, albeit somewhat adjacent due to how things are sometimes implemented, meanings, nobody has any clue as to what anyone is talking about and there is no clear path forward on how to rectify that.

Perhaps Go even chose the "itoa" keyword in place of "enum" in order to try and introduce that new term into the lexicon. But I think we can agree that it never caught on. If I, speaking to people who have never used Go before, started talking about iotas, would they know what I was talking about? I expect the answer is a hard "no".

Granted, more likely it was done because naming a keyword that activates a feature after how the feature is implemented under the hood is pretty strange when you think about it. I'm not sure "an extremely small amount" improves upon the understanding of what it is, but at least tries to separate what it is from how it works inside of the black box.
by bhelkey | 2026-01-08 18:12:50+00:00
The author quotes that their predictions are for Level 4 autonomy:

> The definition, or common understanding, of what self driving cars really means has changed since my post on predictions eight years ago. At that time self driving cars meant that the cars would drive themselves to wherever they were told to go with no further human control inputs. It was implicit that it meant level 4 driving. Note that there is also a higher level of autonomy, level 5, that is defined.
by cyberax | 2026-01-08 18:13:06+00:00
This is a problem with cities. All new infrastructure is extremely expensive because of the planning overhead and because of labor costs.

Not just light rail, but even regular water and sewer. San Francisco spent half a decade repaving a few blocks (Van Ness bus rapid transit) because they had to slowly dig through unmapped ancient infrastructure.

Even in the case of Toronto, you're looking at amounts that can buy each incremental rider a new house. In case of Seattle, each household is going to pay around $150k for that rail.

It's simply ridiculous.
by jncfhnb | 2026-01-08 18:13:23+00:00
The phrasing you’re looking for is that 12% of Americans consume an average of 50% of beef consumed every day.

By saying “on any given day” you are suggesting it’s a different 12%. The article does confuse this by identifying cohorts that eat more beef. But it’s a tautological label based on the survey data. They identify some correlates, like being a 50 something male. But there are males who are 50 something that don’t eat any beef. They’re not included in the 12%.

The 12% is just the outcome of the sample. It doesn’t mean they’re a consistent cohort.

Example:

* on any given day x million women give birth

* there are x million women who give birth every day
by broochcoach | 2026-01-08 18:14:42+00:00
The Gemini voice app on iOS is unimpressive. They force the answers to be so terse to save cost that it’s almost useless. It quickly goes in circles and needs context pruning. I haven’t tried a paid subscription for Gemini CLI or whatever their new shiny is but codex and Claude code have become so good in the last few months that I’m more focused on using them than exploring options.
by trissim | 2026-01-08 18:14:49+00:00
This is addressed in the paper's Preemptive Rebuttals section (Concern 9: "The Proofs Are Trivial").

At 2k lines of lean, the criticism was "these proofs are trivial." At 9k lines of lean with 541 theorems, the criticism is... still "trivial"? At what point does the objection become "I didn't read it"?

The rfl proofs are scaffolding. The substantive proofs (rust_lacks_introspection, Inconsistency.lean, Coherence.lean) are hundreds of lines of actual reasoning. This is in the paper.
by pixl97 | 2026-01-08 18:14:50+00:00
There is a general rule on bugs is that the more devices they are on, the more apt they are to trigger.

A CAN with 10,000 machines total and relatively fixed applications is either going to trigger the bug right off the bat and then work around it, or trigger the bug so rarely it won't be recognized as a kernel issue.

General purpose systems running millions and millions of units with different workloads are an evolutionary breeding ground for finding bugs and exploits.
by iugtmkbdfil834 | 2026-01-08 18:15:37+00:00
You do have a point. My point is that we are constantly a part of informational warfare and it is getting old. I would love nothing more than people to look at it all with a cold eye and say something akin to: oh, I recognize this pattern. Instead, I attempts of various power centers to frame it in a way beneficial to them. Some of us are rather tired of this.
by AceyMan | 2026-01-08 18:15:51+00:00
I just got my first pair of HAs in November and I opted for the T-coil enabled model. It also (already) has working Auracast (not just "available in a future firmware update" like the other mfgrs). The T-coil model was not much bigger than the one without, and it also had two buttons on each unit rather than one on the T-coil-less model.

411, "Loop systems" are hard-coded in the US's ADA (Americans with Disabilities Act) so they are not going away anytime soon. When Auracast does proliferate it'll be alongside loop systems; not a direct replacement. (Not at least until the law is amended and we all know how long that takes.)

--

My HA model is the Starkey Omega 24 RIC-RT (the `mRIC` is the smaller version of the same, sans T-coil).
by borplk | 2026-01-08 18:15:58+00:00
You have to think about the threat model. The OS itself is rarely a problem. It's all the other stuff around it such as apps, browsers, websites, etc...

What is your use case? If you need a private computer to read and write you can setup a desktop with Linux and air-gap it (ZERO connectivity to the outside world, no wi-fi, no internet, nothing). Then transfer specific data in and out of it using a USB stick. That's just one example.
Show HN: Brag about what you shipped yesterday – gh-brag for GitHub PRs
by jackchuka | 2026-01-08 18:16:48+00:00
Hi HN — I built gh-brag, a GitHub CLI extension that turns your GitHub activity into a simple report you can reuse for daily updates and performance reviews.

What it does
- Generates a daily report anchored on PRs (plain text / markdown formats)
- Helps build a brag doc by summarizing your contributions over a time range
- Includes a TUI view to browse your PRs/issues/reviews and export the results

Why I built it

I kept forgetting what I shipped and ended up writing status updates and self-review notes from memory. GitHub has the data, but I wanted something fast, local, and easy to copy/paste.
by trissim | 2026-01-08 18:16:55+00:00
Fair, the em dash comment was a cheap shot. Withdrawn.

The substantive point stands: you've now "skimmed" multiple files, called them all "boilerplate," and haven't engaged with the actual proof structure. The rebuttals section addresses "The Proofs Are Trivial" directly (Concern 9).

At some point "I skimmed it and it looks trivial" stops being a critique and starts being "I didn't read it."
by ToucanLoucan | 2026-01-08 18:17:15+00:00
> Well now you're talking about a different problem and moving the goalposts.

I am absolutely not. I am reacting to what's been replied to what I've said. In common vernacular, this is called a "conversation."

To recap: the person who replied to me left a long comment about the various strugglings and limitations of healthcare when subjected to the whims of insurance companies. You then replied:

> I generally agree (and sympathize with your wife), but let's not present an overly rosy view of government run healthcare or single-payer systems. In many countries with such systems, extensive therapy simply isn't available at all because the government refuses to pay for it. Every healthcare system has limited resources and care is always going to be rationed, the only question is how we do the rationing.

Which, at least how I read it, attempts to lay the blame for the lack of availability of extensive therapies at the feet of a government's unwillingness to pay, citing that every system has limited resources and care is always being rationed.

I countered, implying that while that may or may not be true, that lack of availability is effectively status quo for the majority of Americans under our much more expensive, and highly exploitative insurance-and-pay-based healthcare system, and that, even if those issues around lack of availability persisted through a transition to a single-payer healthcare system, it would at least alleviate us from the uniquely American scourge of people being sent to the poorhouse, sometimes poor-lack-of-house, for suffering illnesses or injuries they are in no way responsible for which in my mind is still a huge improvement.

> The statistics you see about bankruptcy due to medical debt are highly misleading. While it is a problem, very few consumers are directly forced into bankruptcy by medical expenses. What tends to happen is that serious medical problems leave them unable to work and then with no income and then with no income all of their debts pile up.

I mean we can expand this if you like into a larger conversation about how insurance itself being tied to employment and everyone being kept broke on purpose to incentivize them to take on debt to survive, placing them on a debt treadmill their entire lives which has been demonstrably shown to reduce quality and length of life, as well as introducing the notion that missing any amount of work for no matter how valid a reason has the potential to ruin your life, is probably a highly un-optimal and inhumane way to structure a society.

> What we really need there is a better disability welfare system to keep consumers afloat.

On that at least, we can agree.
by falaki | 2026-01-08 18:17:27+00:00
Fortunately, the government cannot enforce complete blackout because thousands of startlink terminals are active inside the country. They have been complaining about it [1] to no avail. Using these terminals activists and journalists continue to upload videos of demonstrations to social media which has enabled analyses that show demonstrations are very wide spread [2] and continue to grow.

[1] https://www.itu.int/en/ITU-R/conferences/RRB/Pages/Starlink....

[2] https://www.bbc.com/news/articles/cre28d2j2zxo
Show HN: Impulse Cycler – Transient Motion Resynthesizer
by oceanwaves | 2026-01-08 18:17:37+00:00
Impulse Cycler is a motion-first transient shaping effect that combines level-independent transient detection with synthetic transient layering. Shape attacks and sustains, layer new synthetic transients, and assign tempo-synced LFO modulation to any control parameter. Although for more than just percussion, it often sounds like putting a drum machine on your machine. Hours of pattern multiplication. Hope it can be fun.

Free
CLAP/VST3 macOS/Win/Linux
https://aftertone.co/impulse-cycler/
by observationist | 2026-01-08 18:17:51+00:00
Very interesting - the human bias implicit to the structure of the data we collect might be critical, but I suspect there's probably a great number theory paper somewhere in there that validates the Platonic Representation idea.

How would you correct for something like "the subset of information humans perceive and find interesting" versus "the set of all information available about a thing that isn't noise" and determine what impact the selection of the subset has on the structure of things learned by AI architectures? You'd need to account for optimizers, architecture, training data, and so on, but the results from those papers are pretty compelling.
by cyberax | 2026-01-08 18:18:03+00:00
> a place where people don't want to live will naturally have lower prices than a place where they do.

But that's not true, is it? Most people in the US want to live in suburban SFHs, yet they are often forced to live in apartments. But that's not a viable option for them because the jobs are only available in dense cities.

> It kind of sounds like when you're talking about reducing the density of a city, you're actually referring to keeping the density of the city the same, and building SFHs in places that aren't the city

Correct.

> which actually increases the density of those non-city places

And technically increases the housing price there from zero to some value, just as predicted :)