hacker-news-front-page 

feeds.twtxt.net

No description provided.

Ask HN: Why is the HN crowd so anti-AI?
Genuine question.

Over the past six months, there hasn’t been a single day where I’ve checked the HN Best RSS feed without seeing a post about how AI “writes bad code,” “introduces bugs,” “creates technical debt,” or something along those lines.

I’ll probably make a lot of enemies by saying this, but do people realize that code is just a means to an end?

Users don’t care whether the code was written by AI or by hand, or which framework you used. They care that the product works.
… ⌘ Read more

⤋ Read More

Show HN: ABC Classic 100 Rankings visualised
This weekend is the ABC Classic FM countdown, which prompted me to dust off an old un-published data visualisation of rankings from previous years.

I’ve considered adding a search function, but I also kind of like that it requires a bit of exploration in the current form.

Some of the code is a bit clunky and I wouldn’t mind refactoring it. I’m also not sure about browser compatibility - I’ve only got access to a couple of devices to test it on.

Comments URL: [https://news.yc … ⌘ Read more

⤋ Read More

Launch HN: General Instinct (YC P26) – Frontier models on edge devices
Hey HN, Guanming and Bill here from General Instinct ( https://general-instinct.com/).

After years of working in robotics, we kept running into the same problem: the best models never fit the hardware we actually had available.

The models that performed best were usually designed around datacenter assumptions: large GPUs, lots of memory bandwidth, and reliable network access. But most physical systems have the opposit … ⌘ Read more

⤋ Read More

Ask HN: Is the web for machines (/llm.txt) the one we wished we had as humans?
I got really tired, as a human, of parsing the standard marketing heavy web we have today.
I’ve always loved the simplicity of gopher and gemini web.

Recently I found myself manually adding `/llm.txt` to most websites I visit because I find the content for LLMs strait to the point and clear.
The only annoyance is web browsers like chrome do not render the markdown.

So could the AI revolution actually fix the web for humans as a side effect? … ⌘ Read more

⤋ Read More

Show HN: Formally verified polygon intersection – Opus 4.8 oneshots, prev failed
To my knowledge, this is the first formally verified implementation of an intersection algorithm for polygons.

The experience of working with AI agents on this project changed a lot with recent model releases, as I describe in the readme. Opus 4.8 is able to provide algorithm implementation with formal proof in one shot, whereas previous models required me to provide proof strategies in multiple steps.

Trust in the correctness c … ⌘ Read more

⤋ Read More