MurphyA/hacker-news huggingface dataset:
by NicolasBre | 2026-01-08 07:35:44+00:00
I came to this model through an unusual path: managing bipolar disorder
made me hypersensitive to the gap between "intending" and "doing."

The core claim is simple: conscious intention doesn't initiate action—it
joins a process already underway. The temporal order is well-established
in neuroscience (Libet et al., readiness potential studies).

What interested me was scaling this up: the same threshold logic that
governs neuron firing seems to apply to addiction relapse, procrastination,
and even collective action.

I'm not claiming this is new science—threshold models exist across domains.
But the unified notation (Σ excitatory - Σ inhibitory ≥ threshold) might
help bridge conversations between neuroscience, psychology, and systems design.

Happy to discuss limitations or alternative models. The goal is exploration,
not gospel.
by trissim | 2026-01-08 07:35:57+00:00
Yes, many proofs are rfl. That's because we're doing engineering formalization, not pure math. The work is in getting the definitions right. Once you've correctly modeled Rust's compilation phases, item sources, and erasure semantics, the theorem that "RuntimeItem has no source field, therefore query_source returns none" should be rfl. That's the point.

The hard part isn't the proof tactics. The hard part is:

- Correctly modeling Rust's macro expansion semantics from the language reference

- Defining the compilation phases and when information is erased

- Structuring the types so that the impossibility is structural (RuntimeItem literally doesn't have a source field)
If the theorems required 500 lines of tactic proofs, that would mean our model was wrong or overcomplicated. When you nail the definitions, rfl is the proof.

Compare to software verification: when you prove a sorting algorithm correct, the hard work is the loop invariants and the model, not the final QED. Tedious proof steps usually indicate you're fighting your abstractions.

The real question isn't "are the proofs short?" It's "can you attack the definitions?" The model claims RuntimeItem erases source info at compile-to-runtime. Either produce Rust code where RuntimeItem retains its macro provenance at runtime, or accept the model is correct. The rfl follows from the model being right.
by mnicky | 2026-01-08 07:35:58+00:00
Well, I think that this is also answer to your question about the intuition.

If the assymetry of K and Q stems from the direction of the softmax application, it must also be the reason for the names of the matrices :)

And if you think about it, it makes sense that for each Key, weights to all of the Queries sum to 1 and not vice versa.

So this is my only intuition for the K and Q names.

(It may or may not be similar to the whole "db lookup thing"... I just don't use that one.)
by em-bee | 2026-01-08 07:37:02+00:00
it used to be that even an unloaded tab would load a cached version. they removed that feature. i loved it. i wish each tab would save at least one cached version not only in case the internet goes out, but also in case the page changes. it does matter for reading hackernews for example, because it helps me keep track of what i have not read yet.
by icstiss | 2026-01-08 07:37:10+00:00
Everything you need to know about creating stunning AI images with Gemini

Based on Google's official documentation, this guide will help you master image generation and editing with Nano Banana (Gemini 2.5 Flash) and Nano Banana Pro (Gemini 3 Pro Preview).

The Golden Rule
Here's the secret to great AI images: describe the scene, don't just list keywords. The model's real strength is its deep language understanding. A narrative paragraph almost always creates better, more coherent images than a string of random words.

Bad:
mountain, sunset, clouds, dramatic
Good:
A majestic mountain peak bathed in golden sunset light, with dramatic clouds rolling across the sky
Due to space limitations, more content can be viewed via the links provided.
by krackers | 2026-01-08 07:38:17+00:00
>Importantly, cognitive impairments are not limited to those with ongoing systemic symptoms; they are also evident in COVID-19 recovered individuals (COVID-RHC) who no longer report active symptoms, compared to healthy controls without SARS-CoV-2 infection (Non-COVID-HC) (Hampshire et al., 2021)

The finding was done in 2021, it's not clear to me if it's an issue years out or it's just a manifestation of post-viral syndrome. Also today there are unlikely to be any people who haven't been infected by sars-cov2
by Ozzie_osman | 2026-01-08 07:38:38+00:00
Have you tried Starred Inbox? That turned me from "person who often slips on requests" to "person who rarely ever slips on requests".

Basically, keep your inbox as zero unread. If something should be dealt with it immediately, deal with it immediately. If it needs to wait, Star it. Now, your inbox has a list of all Starred messages at the top. At the start and end of work day, work through Starred items to either tackle them, or keep them Starred for later. But whenever you open your inbox, the starred items are at the top.
by uasi | 2026-01-08 07:39:11+00:00
I'm not deeply familiar with this, but from reading the `go mod tidy` manual[1], it seems that running `go mod tidy` loads all packages imported from the main module (including transitive dependencies) and records them with their precise versions back to `go.mod`, which should prevent them from being substituted with later versions. Am I understanding this correctly?

[1]: https://go.dev/ref/mod#go-mod-tidy
by tlb | 2026-01-08 07:39:21+00:00
My conclusion is that microkernels offer some protection from random reboots, but not much against hacking

Say the USB system runs in its own isolated process. Great, but if someone pwns the USB process they can change disk contents, intercept and inject keystrokes, etc. You can usually leverage that into a whole system compromise.

Same with most subsystems: GPU, network, file system process compromises are all easily leveraged to pwn the whole system.
by 1412312510129 | 2026-01-08 07:40:04+00:00
This is the same as Googling your symptoms, but on a more broad scale. I think the issue here is how many people are going to give themself self-induced health anxiety because of this result.

There is no deny on positive case of people actually being helped by ChatGPT. It's well known that Doctors can often dismiss symptoms of rare conditions, and those people specifically find way more success on the internet because the people with similar conditions tends to gather here. This effect will repeat with ChatGPT.
by thaumasiotes | 2026-01-08 07:40:05+00:00
> Two A4 pages at 50% zoom (A5) fit on one A4.

This assumes there are no errors anywhere in the sizes or alignments of the A4 base page or either A5. Otherwise, you'll have an A5 running over an edge of the A4 or both A5s overlapping in the middle.

If your pages are designed with margins on the assumption that errors in the paper are common, this issue disappears because the margins cover for it. But still, if I wanted to do a display of two 8.5" x 11" sheets of paper, I'd want a board that was bigger than 17" x 11".
by TeMPOraL | 2026-01-08 07:40:09+00:00
Those stereotypes look more like misconceptions (to put it charitably). Vibe coding doesn't mean one doesn't care about software working correctly, it only means not caring about how the code looks.

So unless you're also happy about not reporting bugs to project managers and people using low-code tools, I urge you to reconsider the basis for your perspective.
by davorak | 2026-01-08 07:40:45+00:00
> previous advice that included more grains than fruit and veg combined

I have not seen the pyramid with bread, cereal, rice and pasta at the base pushed for at least ~20 years. Maybe it was 25-30 years ago when I saw it pushed seriously in school and even then I did not see people taking it seriously outside of those lessons, as in people actively calling it questionable.
by mythz | 2026-01-08 07:41:25+00:00
Full time Antigravity user here, IMO best value coding assistant by far, not even including all the other AI Pro sub perks.

Still using Claude Pro / GitHub Copilot subs for general terminal/VS Code access to Claude. I consider them all top-tier models, but I prefer the full IDE UX of Antigravity over the VS Code CC sidebar or CC terminal.

Opus 4.5 is obviously great at all things code, tho a lot of times I prefer Gemini 3 Pro (High) UI's. In the last month I've primarily used it on a Python / Vue project which it excels at, I thought I would've need to switch to Opus at some point if I wasn't happy with a particular implementation, but I haven't yet. Few times it didn't generate the right result was due to prompt misunderstanding which I was able to fix by reprompting.

I'm still using Claude/GPT 5.2 for docs as IMO they have a more sophisticated command over the English language. But for pure coding assistance, I'm a happy Antigravity user.
How do you make your Agents to match interface in first try?
by paulistaunb | 2026-01-08 07:41:55+00:00
Hey,

Problem: Interface between front and back never match at first try !

Setup: 4 agents in parallel: front, back, infra and debug

Process: Vibespec the initial need and let's the agents work on their domain. I asked to created the interface document before starting but even though I does not worked as expected.. I am spending around 30 minutes to make it match !

How you guys are solving this issue ?
by theshrike79 | 2026-01-08 07:41:58+00:00
This is the time to define your zen gardening style with formal tools.

You know just the way you like it, right?

Create an .editorconfig that describes the style, create linters and AST parsers that define your style in a concrete way. (You can actually create these with AI from your existing codebase btw =P)

Then when the AI comes in, it has to use those tools to confirm whatever it produces conforms to the zen garden style you've defined. It's just tools in a loop. Give it the tools to determine what it did is up to par and it will do it.

Peace and harmony for all.
by Guestmodinfo | 2026-01-08 07:42:57+00:00
Why negative points. Can I not say I'm happy he or she made this project. It's not for the internet. It's for the content poster only I wrote that I liked it. At that time I was the only poster. I didn't write first! I wrote awesome. Because I liked it. Don't assume that everything is for you the reader to read and not the poster to read
by morshu9001 | 2026-01-08 07:43:22+00:00
Admittedly, Ruby on Rails makes me think "bootcamp" like you said, and I barely even know what it is.

But shouldn't the check just be that the candidate has used more than one different stack? It's pretty hard for anyone with real experience to stick to one, and even if they do, that's not a good sign either. Or are you saying those bootcamp people end up learning another stack but still not being very good?
by spiderfarmer | 2026-01-08 07:43:44+00:00
People need to eat and industrial scale farming is what enables us to make enough, affordable food.

It has plenty downsides. But it’s a brilliant and truly efficient system that is being perfected by thousands of scientists and it has prevented hunger and chaos for decades now.

If you want to see real change, people would need to have way more time, be less lazy, have more money and be less demanding when it comes to variety and availability.

In other words, it’s easier to keep perfecting the system we have because it’s easier to change procedures than it is to change people.
by hyperadvanced | 2026-01-08 07:43:47+00:00
If you don’t know k8s, or any tech really, you can RTFM, you can generate or apply some premade manifests, you can feed the errors into the LLM and ask about it, you can google the error message, you can do a lot of things. Often times, in the “real world” of software engineering, you learn by having zero idea of how to do something to start with and gradually come up with ideas from screwing around with a particular tool or prototyping a solution and seeing how well it works.

I agree that some of the above basically amounts to: it’s easier to learn new things. Which itself might sound ho-hum, but it really is a fundamental responsibility of software engineers to learn new things, understand new and complex problems, and learn how to do it correctly and repeatable. LLMs unquestionably help with this, even with their tendency to hallucinate: usually proof by contradiction (or the failure of an over-confident chaos machine) is even better than just having a thing that spits out perfect solutions without needing the operator to understand it.

However, I will say that there is a very large gulf between learning how to reason about complex systems or code and learning how to use the entropy machine to produce nominally acceptable work. Pure reliance and delegation of responsibility to the AI will torpedo a lot of projects that a good engineer could solve, and no amount of lines of code makes up for a poorly conceived product or a brittle implementation that the LLM later stumbles over. Good engineering principles are more important than ever, and the developer has to force the LLM to conform to those.

There are many things to question about agentic coding: whether it’s truly cost/effort effective, whether it saves time, whether it makes you worse at problem solving by handing you facile half-solutions that wither in the face of the chaos of the real world, etc. But they clearly aren’t a technology which “doesn’t do ANYTHING useful”, as some HN posters claim.
by heavyset_go | 2026-01-08 07:43:58+00:00
AGPL is my first choice of license, but its efficacy does not necessarily come from its teeth, but from the aversion legal departments have towards the license. It's similar to how the GPL used to be, or still is, treated. Along with compatibility with other AGPL projects, that's the reason I use the license.

There are situations that the AGPL does not cover that could be considered leeching from the commons.

I think we need stronger licensing, and binding contracts that forfeit code recipients' right to fair use in order to hinder LLM laundering, along with development platforms that leverage both to limit exploitation of the commons.
by kadoban | 2026-01-08 07:44:04+00:00
go.mod will always match whatever versions are being used directly, as far as I know. But it's not possible to lock them using go.mod. Like if you wanted to bump one version only in go.mod, you're then stumped for actually doing that. Because _probably_ the only reasonable way to get that to build is to do `go mod tidy` after doing that, which will modify go.mod itself. And you can't _really_ go back in and undo it unless you just manually do all of go.mod and go.sum yourself.
by cjs_ac | 2026-01-08 07:44:10+00:00
My first teaching job was at a prestigious boys’ boarding school. A colleague who had the next desk in the staff room was also head of the first-formers’ boarding house, which meant he received an awful lot of emails from anxious parents about their not-quite-so-anxious sons. He left all these emails unread for a fortnight, because after this time the issues (or non-issues) had usually resolved themselves.
by Tadpole9181 | 2026-01-08 07:44:26+00:00
Hours after this, dozens of ICE agents stormed a school as kids got out of class.

Let's repeat that: Masked adult men with deadly weapons that would not identify themselves rushed a school as children left with the explicit goal of kidnapping children.

Then, when teachers intervened to protect the children, they physically assaulted and sprayed/gassed them.

---

That is to say, the point is to be cruel and unusual and, yes, incite panics and rioting.
by IshKebab | 2026-01-08 07:44:28+00:00
Common misconception. That doesn't import by relative file path; it imports by relative package path. It's actually quite different. Scripts you run directly aren't in a package so you can't use it at all. You can go above the package root. Namespace packages mean it can jump to other directories.

Everyone wants that to just mean "import relative to this file" but it doesn't.
by ebonnafoux | 2026-01-08 07:44:48+00:00
Yes but in practice, if you compute K=X.wk, Q=X.wq and then K.tQ you make three matrice multiplication.
Wouldn't be faster to compute W=wk.twq beforhand and then just X.W.tX which will be just two matrices multiplication ?
Is there something I am missing ?
by eddythompson80 | 2026-01-08 07:45:27+00:00
Eh, and in 20 if SerpApi or whatever the fuck becomes the next google, they’ll have a blog post titled “Why we’re taking legal action against BlemFlamApi data collection”.

The biggest joke was all the “hackers” 25 years ago shouting “Don’t be evil like Oracle, Microsoft, Apple or Adobe and charge for your software, be good like Google and just put like a banner ad or something and give it away for free”
by dust42 | 2026-01-08 07:46:21+00:00
> you compare maximum hardware capabilities of the raw battery with a vehicle, set up for longevity. Look, there are reasons I don't charge my 18650 batteries with their maximum 5C current, but at a gentle, slow rate. Virtually all the electric cars have default maximum charge set to 80-90% - not because a car maker lied

But that is exactly what the CEO claims in the video [1]:
"This pack charges in as low a 5min and is still build for longevity [Video shows time lapse of charging from 0%-100%]. You can fast charge every single day for years. [...] It is designed for 100,000 cycles"

Especially for motorcycles that definitely would be a game changer: 5 minute stop to top up to 100% while stretching your legs...

And the guy from Verge Motorcycles says: "A new long range version delivering up to 600km of real world range."

[1] https://www.youtube.com/watch?v=Y-aPS2AwMbc
@ 10:54 the 600km statement
@ 12:59 the talk about the charging
by JPLeRouzic | 2026-01-08 07:47:01+00:00
The article is about a new research from Oxford Economics, which tells that artificial intelligence is NOT currently causing mass unemployment. Head count reduction comes from a slow process of productivity improvement

For them reports of AI influence on massive head count reduction is similar to what was called the “productivity paradox” identified by Nobel prize-winning economist Robert Solow: “You can see the computer age everywhere but in the productivity statistics.”
by Ozzie_osman | 2026-01-08 07:48:06+00:00
This is something I've thought about a lot, and while I like the framing in the article, it's missing a few key dimensions.

Optionality: In addition to "letting things resolve themselves", one benefit you can sometimes get by deferring a decision (esp a "one-way door" decision) is optionality (of learning information that might result in a better decision).

Waffling: On the other hand, if you are a manager or decision-maker on whom others depend, one of the worst things you can do is waffle on a key decision (ie, be indecisive). Andy Grove has a paragraph on this in High Output Management as one of the highest negative leverage things a manager can do to their team, and in fact, often a wrong (but correctible) decision is far better than no decision.

Good managers instinctively know how to navigate these tradeoffs.
by JohnKemeny | 2026-01-08 07:48:08+00:00
While they only had positive samples, the AIs sometimes reported cancer in the wrong location, meaning a double whammy: It failed to detect the cancer, and misdiagnosed a non-cancer.

From the paper:

> Two cancers had abnormality scores greater than 10 but were not correctly localized and were therefore categorized as AI-missed.
by lloeki | 2026-01-08 07:48:18+00:00
> The third one is just the open-source tailscaled binary that you have to compile yourself, and it doesn't talk to the Keychain.

I use this one (via nix-darwin) because it has the nice property of starting as a systemwide daemon outside of any user context, which in turn means that it has no (user) keychain to access (there are some conundrums between accessing such keychains and "GUI" i.e user login being needed, irrespective of C vs Swift or whatever).

Maybe it _could_ store things in the system keychain? But I'm not entirely sure what the gain would be when the intent is to have tailscale access through fully unattended reboots.
by dpshade | 2026-01-08 07:48:38+00:00
Hey HN,

I'm a musician who loves music theory and software. So I built Canon, a chord progression tool that suggests what to play next based on patterns from 1.5M real songs and plays them using voice leading.

Three modes:

1. Reroll: Fully random progression. Hit a button, get something you'd never play on your own.

2. Chord Decks: Filter by how risky you're feeling and pick chords that fit.

3. Manual: Build chord-by-chord when you know what you want.

Other stuff:

- MIDI export (drag straight into Ableton, Logic, etc.)

- Strumming patterns + intelligent piano voicings (voice leading)

- Share progressions via link — recipient plays in browser, no app needed (https://play.canonchords.com?p=eyJrIjoiQiIsImYiOnRydWUsIm0iO...)

Built with Tauri (Rust + web frontend). Happy to talk about the data pipeline or music theory bits.
by modeless | 2026-01-08 07:49:27+00:00
The snooze feature itself was similar. What made it better was the ability to add tasks directly to the inbox and manage them with the same tools as emails, including snoozing. Kind of like sending an email to yourself but with fewer steps and a much nicer UI adding features like the ability to edit them. Also the ability to turn email threads into tasks by adding a quick note to them, to remind you what do do later. It made snoozing a tool you could manage all your tasks with instead of just email threads.

Someone ought to make a Chrome extension that adds this feature back, at least in the web UI. It ought to be doable. Each task would be an email to yourself, and you'd just provide a streamlined UI for creating and managing them. I have half a mind to try it with Claude sometime.
by ruszki | 2026-01-08 07:49:48+00:00
There is a difference between inflating your work, and flat out lie. The previous guidelines weren’t against protein at all. The mentioned war didn’t exist at all in these. The protein target is about the same as 10 years ago. Back then the only recommendation regarding this was, that more seafood and nuts would be better for almost everybody, and for some people less meat. So generally, that we should consume more protein. So the “war” wasn’t there.
by KellyCriterion | 2026-01-08 07:51:23+00:00
my guess is the following:

Google can afford to run Gemini for a looong time without any ads, while OpenAI needs necessarily to bring in some revenue: So OpenAI will have to do something (or they believe they can raise money infinitely)

Google can easily give Gemini without Ads to the users for the next 3 - 4 years, forcing OpenAI to cripple their product earlier with Ads because of the need for any revenue

I think Google & Antropic will be one of the two winners; not sure about OpenAI, Perplexity & Co - maybe OpenAI will somehow merge with Microsoft?
by ncruces | 2026-01-08 07:51:25+00:00
Running `go mod tidy` months apart with no other changes to your module will not change your go.mod. It certainly won't update dependencies.

You run that when you've made manual changes (to go.mod or to your Go code), or when you want to slim down your go.sum to the bare minimum needed for the current go.mod.

And that's one common way to update a dependency: you can edit your go.mod manually. But there are also commands to update dependencies one by one.
by snow_mac | 2026-01-08 07:51:28+00:00
This is a good thing, the next step however is to block the guys that use sites like BiggerPockets.com from buying up more then 5 single family homes. I know a whole bunch of guys who own 10 or more houses. That is excessive. We need to limit all investment of single family housing. Apartment complexes? Be my guest buy all you want, build all you want. But lets keep our neighborhoods full of people who can actually live in them.