MurphyA/hacker-news huggingface dataset:
by snapplebobapple | 2026-01-17 13:47:48+00:00
I got similar results when i changed 3 things: making sure d levels were around 60, adding glycine and nac supplements and adding a high quality fish oil supplement. My 3 young children have been their usual trainwreck of sickness this winter and inatead of getting sick with them 80 % of the time i have had zero sickness.

i am not here to advertise any of this stuff so i am not going to link or even get the units or amounts right unless i remembered them off the top of my head, just here to point out there are two ways to not get sick: eliminate exposure or increase resistance. For some of us limiting exposure is a painful experience (i cant comfortably wear masks i feel like i am dieing slowly from oxygen deprivation the whole time and the extra moisture gives me a rash eventually)and there does appear to be options on the other path to limit our own sickness.
by philwyshbone | 2026-01-17 13:48:07+00:00
One effective way to reduce hallucinations in LLMs is to implement an iterative feedback loop with domain experts. By having teachers review the generated test papers and provide corrections or adjustments, you can refine the model's outputs and reinforce accuracy.

We ran into this ourselves when developing an AI-assisted tool for educational content. Initially, we found that the model would sometimes produce irrelevant questions, so we brought in educators to help fine-tune the prompts and outputs, which significantly improved the results.

We ended up building Wyshbone to enhance our approach to content generation and ensure that the questions align closely with the provided materials, integrating feedback directly into our workflow.
by bob1029 | 2026-01-17 13:48:24+00:00
> Any energy source can provide power.

Not all prime movers are the same with regard to grid dynamics and their impact.

Solar, wind, etc., almost universally rely on some form of inverter. This implies the need for solid state synthetic inertia to provide frequency response service to the grid.

Nuclear, coal, gas, hydropower, geothermal, etc., rely on synchronous machines to talk to the grid. The frequency response capability is built in and physically ideal.

Both can work, but one is more complicated. There are also factors like fault current handling that HN might think is trivial or to be glossed over, but without the ability to eat 10x+ rated load for a brief duration, faults on the grid cannot be addressed and the entire system would collapse into pointlessness. A tree crashing into a power line should result in the power line and tree being fully vaporized if nothing upstream were present to stop the flow of current. A gigantic mass of spinning metal in a turbine hall can eat this up like it's nothing. Semiconductors on a PCB in someone's shed are a different story.
by zkmon | 2026-01-17 13:48:34+00:00
I used AI for accelerating my reading a book recently. This is a interesting usecase. But it same as racing for the destination instead enjoying the journey.

It kills the tone, pace and the expressions of the author. It is pretty much same as an assistant summarizing the whole book for you, if that's what you want. It misses the entire experience delivered by the author.
by energy123 | 2026-01-17 13:50:19+00:00
> Solar with storage is an amazing resource. Without storage it's counterproductive if it's grid tied.

Solar creates the economic incentive for storage. Without solar coming first, storage cannot occur.

You can see this in California. In the beginning, it made sense to install only solar, because energy developers are compensated at the margin. Once the grid is saturated with solar, then the marginal economics changes in response to the duck curve, and storage starts to make economic sense.

If you block solar, you block storage. To believe otherwise is to be ignorant of the temporal aspect of the economics.
by fpoling | 2026-01-17 13:50:50+00:00
There was an article that described that in UK one needs 1 megawhat-hour battery over the winter to be grid independent. Judging by current trends in few years that will be below 40K USD. While this is indeed very expensive in most of US due to much more sun available the required battery would cost below 20k. One can also have a backup generator that can run constantly at maximum efficiency to replenish the battery. Then the whole system can already be below 20K. While expensive, it provides true independence and I suspect grid cost and centralized power is more expensive for society.
by raddan | 2026-01-17 13:51:22+00:00
It is definitely true that the labor cost of a solar installation is the largest driver of cost. In my area, there are solar incentives to offset this. For example I was able to cover a large portion of the loan with a 0% interest rate through a state program. For the remaining portion my bank had a low(er) interest loan (like 5%) specifically for solar. And neither of these loans were home equity loans which psychologically made me happier to apply for them.

Another thing, if you have the space, is to consider a ground mount. Ground mount hardware adds a little cost, but it is a lot easier for a solar installer to set up, so they finish faster. Since labor is the biggest driver of cost, then it makes sense to build a very big array that doesn’t just offset your operating costs but completely eliminates it (well, net-eliminates it anyway).
by JackSlateur | 2026-01-17 13:51:25+00:00
How are things done in the wider world ?

In your answer (and excluding those using ACME): is this a good behavior (that should be kept) or a lame behavior (that we should aim to improve) ?

Shorter and shorter cert lifetime is a good idea because it is the only way to effectively handle a private key leak. Better idea might exist but nobody found one yet
by inglor_cz | 2026-01-17 13:51:26+00:00
Rapid prototyping works well in engineering, because you can test for faults quickly.

But transferring engineering practices into politics - which is not really new, "social engineering" has emerged again and again since the Enlightement Era - is usually a disaster.

In social contexts, people often cannot agree on what even constitutes a "fault" and how to measure outcomes. Individuals will adjust their behavior (unlike, say, a valve in a rocket engine, which can't consciously decide to sabotage the flight) and the systems tend to have long feedback loops.
by Dansvidania | 2026-01-17 13:52:53+00:00
Are you Czech or Slovak to be able to speak with this much confidence?

I have spent 13 years in Czech Republic, admittedly after the curtain fell, and I can tell you for a fact that they were “communist” because otherwise tanks.

You can see the relationship they had with the ideology in pretty much any sliver of cultural material from the period and after.
by komali2 | 2026-01-17 13:52:56+00:00
> Colleges are political, and donations are made to assure they keep on being political.

Ok, to clarify:

> > And not even getting into billions poured into American colleges by the same people.

Which American colleges, by what people, and what does "being political" mean? Maybe I'm very ignorant of the USA, are these just known things to Americans?
by MaxBarraclough | 2026-01-17 13:53:03+00:00
> A formal specification language is a programming language that we don't know how to compile.

Not really, on both counts.

Firstly they're not really programming languages in the usual sense, in that they don't describe the sequence of instructions that the computer must follow. Functional programming languages are considered 'declarative', but they're still explicit about the computational work to be done. A formal spec doesn't do this, it just expresses the intended constraints on the correspondence between input and output (very roughly speaking).

Secondly, regarding the we don't know how to compile it aspect: 'constraint programming' and SMT solvers essentially do this, although they're not a practical way to build most software.
by cainxinth | 2026-01-17 13:53:11+00:00
From a recent NYTimes article about his passing:

> “Dilbert” was a war cry against the management class — the system of deluded jerks you work for who think they know better. Workers posted it on their cubicles like resistance fighters chalking V’s on walls in occupied Paris. But their bosses posted “Dilbert” in their offices too, since they also had a boss who was an idiot.

https://www.nytimes.com/2026/01/16/opinion/dilbert-scott-ada...
by botacode | 2026-01-17 13:53:32+00:00
The order is wrong here:

Governance creates markets -> markets creates innovation. These things have feedback loops into governance, but the tail ultimately does not wag the dog.

Engineers-- especially in the Bay where discussion of such is written off as mental illness and folks-- often dismiss politics and governance as nonsense subjects that lack rules and are run by the mob/emotions when in fact these have their own "physics" or operate like a (very complex and challenging to study) system just like everything else in the natural world.

This attitude is of course also something that has been designed and implemented into engineering culture by precisely the leaders you contend are scape goats to society. POSIWID.
by sandworm101 | 2026-01-17 13:55:31+00:00
Contrary opinion: too much farmlqnd is being turned over to solar. Our regulatory systems are not working. Land that once produced food now produces electricity. Turning a food farm into solar is too easy (ie cheap). The land is flat and there are nearby roads and electricity networks. And who is going to tell a farmer how to best use thier land? But the world needs more than datacenters. The world needs food.

Solar should be installed on unproductive land. Buildings should be covered in panels. Carparks should have solar roofs. If i were king of zoning, every new construction would be required to cover say 50% of thier footprint in panels. That is the direction to go. We should not continue to convert farmland.
by nolok | 2026-01-17 13:56:20+00:00
You have to actively go out of your way to have this enabled. But large or older companies always have some old machine (can be as dumb a an old but very expensive printer) that isn't updated.

Even today the only reason to use samba 2 in 90% of companies where it's enabled are old appliances.

At some point device X isn't working, employees complain, IT say they need to buy a new very expensive replacement and after much argumentation they come to the agreement to enable that legacy horror support until the purchase can be made. Which is then never made.
by enum | 2026-01-17 13:56:30+00:00
I'm not sure this is true. Encoding theorems in dependent types takes a lot of expertise.

Even without the Lean technical details, a lot of math theorems just don't mean anything to most people. For example, I have no idea what the Navier-Stokes theorem is saying. So, I would not be able to tell you if a Lean encoding of the theorem is correct. (Unless of course, it is trivially broken, since as assuming False.)
by londons_explore | 2026-01-17 13:56:48+00:00
In a future with solar and batteries, daytime and nighttime electricity pricing cannot be equal - else nobody would bother to have a battery (grid scale or at home).

Rules and regulations could solve that problem (meter not allowed to go backwards, solar companies are forced to pay some kind of battery credit, etc), but the free market will always outcompete.

Therefore, I forsee the future lies in 'smart' electricity meters which can charge different rates at different times of day - perhaps with minute by minute live pricing.
by tpoacher | 2026-01-17 13:57:31+00:00
Yes, that guy.

"Consider the source".

I actually watched the podcast in question. As I saw it he made a very reasonable and 100% non-racist comment (in the context of the discussion the soundbytes were later taken out of), which related more to the inflammatory, caustic nature of the media narrative on black-white relationships, and whether as a white person it is even fruitful to be engaging in that narrative, if the end outcome is that your engagement will be used out of context to cause even more strife and division by the people pushing this narrative. I.e. you will make more of a difference as a white person by trying to improve the "systems" around you, in a manner that benefits everyone, rather than by engaging in pointless arguments and debates with people who are blinded by a very deliberately promoted agenda.

I very much agree with that point, and have experienced it myself.

Ironically, if nothing else, this whole affair proved his point, including how sources like the above choose to word their posthumous articles.

If you really want an accurate source, just go watch the (entire) podcast. No better source than this. Best case scenario you'll disagree with my take, but now your take is informed rather than misinformed.

And to set the record straight, Adams was the very opposite of racist in my view. He had very nuanced and pragmatic views, including how the best thing the country could do to help black communities should be investing in education across the board, instead of funding and pandering to apologists who inflame the masses but then drain the money from the education system, perpetuating ghetto-like communities.
by zweifuss | 2026-01-17 13:58:40+00:00
Yes and no.

They all have a very solid industrial base, like 30% to 50% of the economy, with ~50% of workers living abroad (not fully part of the welfare state). Comparatively high R&D. Low taxes.

And plain tax evasion is now illegal, but those countries are still an important stop to hide money elsewhere.

But the main secret sauce is a flexible fast legal system. Stability, low crime, and less gridlock in the legislature when the need for change is realized.
by eimrine | 2026-01-17 13:59:17+00:00
The Lunduke Journal - currently the best ass-ripping journalist about tech news. Without him I would never been acknowledged about leftist totalitarians who agressively promote DEI in supposedly neutral projects as Linux kernell, some news the megacorps want to be absent, tech dramas about Xorg, Rust, Mozilla, different shit on fan explosions such as the question problem in C++ comittee, and the rest of freedom speech news. David Lunduke is banned on a lot of forums of open-source projects driven by too evangelist-mood leftist and some of that forums can ban you even for just mentioning this person.

Any channel less than 1k followers. If you see anything like the high-quality content - don't think, just subscribe. Typically they are same as million-subs channels but less memes, less ads, less bb-creme on face but beware of slop.
by alansaber | 2026-01-17 14:00:28+00:00
He asks g2.5 flash to assign a topic. I am also interested in the best way to develop a general schema- there is a good deal of literature on this but nothing stands out, I think the standard approach is open ended classification generation using a single model then binning. Actually the novelty in his approach is first asking if a chunk is useful (ie adding a filter for non-semantic information) which I would normally do at the dataset creation stage.
by kankerlijer | 2026-01-17 14:01:54+00:00
For those building applications with Langfuse and Clickhouse - do you like these products? I get the odd request to do an AI thing, and my previous experience with LLM wrappers convinced me to stay away from them (Langchain, Llamaindex, Autogen, others). In some cases they were poorly written, and in other ways the march of progress rendered their tooling irrelevant fairly quickly. Are these better?
by assbuttbuttass | 2026-01-17 14:02:21+00:00
> Writers kept sending to sub.messages. The channel grew. Memory grew.

Channels are buffered in Go, they will not grow unbounded.

> Tickers Are Not Garbage Collected

It used to be necessary in older versions to call ticker.Stop(), but in recent versions it's no longer necessary.

// Start goroutines
go s.pumpMessages(ctx, sub)
go s.heartbeat(ctx, sub)

// Monitor the connection
go s.monitorConnection(ctx, sub)

The "fixed" code is still using the fire-and-forget pattern for goroutines which encourages this kind of leak. Go makes it easy to add concurrency on the caller side, so it's usually better to write blocking functions that clean up all their goroutines before returning.

In general this article screams AI with most of the conclusions being hallucinated. Goroutine leaks are real, but it's hard to trust any of the article's conclusions
by raw_anon_1111 | 2026-01-17 14:03:20+00:00
There was never a statistical “advantage”, you just never heard about the 9/10 outright failures or even the parts of the 1/10 where people are toiling in obscurity and would have been better off financially “grinding leetcode and working for a FAANG” ((c) r/cscareerquestions) or even being an enterprise dev in a tier 2 city.
by cunha00 | 2026-01-17 14:03:31+00:00
We use it for our internal doc analysis tool. We can easily extract production genrrations, save them to datasets and test edge cases.
Also, it allows prompt separation in folders. With this, we have a pipeline for doc abalysis where we have default prompts and the user can set custom prompts for a part of of the pipeline. Execution checks for a user prompt before inference, if not, uses default prompt, which is already cached on code. We plan to evaluate user prompts to see which may perform better and use them to improve default prompt.
Show HN: OSS, Server-rendered multiplayer games with Lua (no client code)
by brunovcosta | 2026-01-17 14:04:19+00:00
Hey everyone,

A couple of weeks ago I shared a small toy game engine I’d been working on:
https://news.ycombinator.com/item?id=46491560

I got a lot of great feedback, and several people asked if the source code was available.

So I’ve decided to open-source it :)

Hope you enjoy it, and I’d love to hear your thoughts!
by ProZsolt | 2026-01-17 14:06:01+00:00
I went from 34"(3440x1440) which felt a little bit small to 38"(3840x1600) and it is nearly perfect. I can have my main window in the middle and 2 or 4 smaller windows (logs, chat, youtube, etc) on the side.

The only thing I want now is double pixel density.
by MaxBarraclough | 2026-01-17 14:06:51+00:00
> A programming language is a formal specification language that we know how to compile

Plenty of real programming languages are ambiguous in ways that surely disqualify them as formal specification languages. A trivial example in C: decrementing an unsigned int variable that holds 0. The subtraction is guaranteed to wrap around, but the value you get depends on the platform, per the C standard.

> There are plenty of formal specifications that cannot be compiled, even not by an AI. If you use AI, how do you make sure that the AI compiler compiles correctly?

By proving that the code satisfies the formal spec. Getting from a formal spec to a program (in an imperative programming language, say) can be broken down into several stages of 'refinement'. A snippet from [0] :

> properties that are proved at the abstract level are maintained through refinement, hence are guaranteed to be satisfied also by later refinements.

[0] https://www.southampton.ac.uk/~tsh2n14/publications/chapters...
by tomaytotomato | 2026-01-17 14:07:05+00:00
Like the author I was fortunate enough to be exposed to Dilbert as a teenager, before I got caught up in the rush of the university-professional-yuppie-industrial-complex.

I found the Dilbert principle book in my parents downstairs cloakroom (wedged between magazines and other generic bathroom reading material).

At a superficial level I just read the comic strips in the book and laughed, I thought to myself - haha look at those poor corporate workers, that won't happen to me.

In a way it didn't happen to me vis-a-vis cubicles, suits and water cooler gossip, TPS reports etc.

However, in other ways it did happen to me, the frustrations of working with incompetent people, working in teams who brainwash themselves that they are making something useful or being productive, hilarious executive decisions made without any scientific or rational thought. (startup - https://youtu.be/iwan0xJ_irU)

I still like to add Dilbert comic strips to closing slides in presentations, my go to one is this, when we are discussing new technologies to use.

https://tenor.com/nJfQSXLP8am.gif

We are in the Dilbert universe, it just keeps changing

p.s. if anyone is looking for Saturday TV binge material, all of the Dilbert TV show is on Youtube here https://www.youtube.com/watch?v=nH7dgUq5Qe4
by stogot | 2026-01-17 14:07:43+00:00
> His next venture (c. 1999) was the Dilberito, an attempt to revolutionize food via a Dilbert-themed burrito with the full Recommended Daily Allowance of twenty-three vitamins. I swear I am not making this up. A contemporaneous NYT review said it “could have been designed only by a food technologist or by someone who eats lunch without much thought to taste”

The funniest thing I’ve read all week. Was anyone here lucky enough to eat one?
by bpavuk | 2026-01-17 14:07:50+00:00
Apple hit all the buzzwords from Apple Bingo Card in the very first paragraph announcing their $13/mo creative suite subscription:

> Apple today unveiled Apple Creator Studio, a groundbreaking collection of powerful creative apps designed to put studio-grade power into the hands of everyone, building on the essential role Mac, iPad, and iPhone play in the lives of millions of creators around the world. The apps included with Apple Creator Studio for video editing, music making, creative imaging, and visual productivity give modern creators the features and capabilities they need to experience the joy of editing and tailoring their content while realizing their artistic vision. Exciting new intelligent features and premium content build on familiar experiences of Final Cut Pro, Logic Pro, Pixelmator Pro, Keynote, Pages, Numbers, and later Freeform to make Apple Creator Studio an exciting subscription suite to empower creators of all disciplines while protecting their privacy.

Count with me:

1. Groundbreaking

2. Powerful

3. Studio-grade

4. Power into the hands of everyone

5. Essential role of <INSERT APPLE PRODUCT(S)>

6. Exciting new

7. Familiar experiences

8. Empower

9. Privacy

---

P.S. is HN frontend open-source? I'd like to submit a fix for Markdown list rendering
by martythemaniak | 2026-01-17 14:08:50+00:00
Story of our times: Gen-X counterculture jerk grows up railing against The Man. Grows up, gets rich, famous, becomes The Man. His mind, however, is stuck in the past, still thinks he's a rebel, still thinks he's railing against The Man. In reality, he has become a sadistic asshole hurting others for his self-righteous pleasure. But no amount of pain inflicted on others will make him feel good, he dies a miserable crank.

Adams, Musk, Andreesen, Stephen Miller, Chappelle, Maher. They're everywhere.
by nkrisc | 2026-01-17 14:09:09+00:00
But this is not “absolutely everything”. No one is saying CEOs should be accountable for every action of an individual employee.

So if not the CEO, who is accountable when something like this breach happens? The CTO? The PM The DBA? Nobody? Maybe they’ll care developer who wrote the code or botched the configuration should be prosecuted?

CEOs can justify their pay be being accountable for what their company does. They’re the CEO, after all. Maybe they’ll care more when they have some actual skin in the game.