frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Writing by hand is good for your brain

https://nealstephenson.substack.com/p/writing-by-hand-is-good-for-your
502•dwwoelfel•4h ago•245 comments

What happened to TheNumbers.com

https://stephenfollows.com/p/what-just-happened-to-thenumberscom-should-worry-us-all
104•nickthegreek•1h ago•21 comments

Software rendering in 500 lines of bare C++

https://haqr.eu/tinyrenderer/
150•mpweiher•4h ago•25 comments

Why Software Factories Fail (or: harness engineering is not enough)

https://github.com/humanlayer/advanced-context-engineering-for-coding-agents/blob/main/wsff.md
47•dhorthy•3h ago•28 comments

Learn OpenGL, extensive tutorial resource for learning Modern OpenGL

https://learnopengl.com/
103•ibobev•3h ago•55 comments

Startup founders urge U.S. government not to shut off Chinese open weight AI

https://www.politico.com/news/2026/07/22/startup-founders-urge-trump-not-to-shut-off-chinese-open...
397•theanonymousone•3h ago•403 comments

Astronomers may have found the first exomoon

https://www.eso.org/public/news/eso2610/
149•MarcoDewey•4h ago•53 comments

Launch HN: Screenpipe (YC S26) – Power your agents by your 24/7 screen recording

25•louis030195•1h ago•19 comments

JEP 540: Simple JSON API (Now in Incubator)

https://openjdk.org/jeps/540
51•theanonymousone•2h ago•38 comments

Building on ATProto

https://lukekanies.com/writing/building-on-atproto/
5•speckx•9m ago•0 comments

The arguments against open source AI are bad

https://tombedor.dev/arguments-against-open-source-ai-are-very-bad/
49•jjfoooo4•1h ago•23 comments

Show HN: Palmier Pro – open-source macOS video editor built for AI

https://github.com/palmier-io/palmier-pro
38•harrisontin•3h ago•9 comments

Show HN: OneCLI – OSS credential gateway that keeps secrets out of AI agents

https://github.com/onecli/onecli
33•Jonathanfishner•2h ago•15 comments

Learn WebGPU for C++

https://eliemichel.github.io/LearnWebGPU/
37•ibobev•3h ago•6 comments

Free way to get your data out of ChatGPT Business accounts

https://github.com/Conradqh/scrapemychats
46•conradqh•2h ago•3 comments

Hybrid-Electric Aicraft Engine Targeting 30% Fuel Efficiency

https://www.rtx.com/news/news-center/2026/07/21/rtxs-pratt-whitney-canada-advances-hybrid-electri...
58•r2sk5t•4h ago•39 comments

DARPA, U.S. Air Force fly AI-controlled F-16

https://www.darpa.mil/news/2026/darpa-us-air-force-fly-ai-controlled-f-16
54•r2sk5t•4h ago•50 comments

Show HN: Remux – an open-source tmux workspace designed for iPhone

https://github.com/h3nock/remux
52•bitwise42•4h ago•17 comments

AI Companies Are Trying to Hide a Staggering Amount of Debt

https://futurism.com/artificial-intelligence/ai-companies-hide-debt-off-balance-sheet
400•technewssss•5h ago•190 comments

OpenStreetMap: Admin_level for All Countries

https://wiki.openstreetmap.org/wiki/Tag:boundary%3Dadministrative#Table_:_Admin_level_for_all_cou...
67•ivanjermakov•4d ago•9 comments

Show HN: Claude-thermos – keeps your Claude session warm for you

https://github.com/izeigerman/claude-thermos
12•s0ck_r4w•1h ago•10 comments

Encryption and Globalization 15 Years Later: E2EE and the "Going Dark" Debate

https://papers.ssrn.com/sol3/papers.cfm?abstract_id=6959699
35•iamnothere•3h ago•13 comments

A solid-state "atomic channel" for separating rare earth elements

https://pme.uchicago.edu/news-events/news/cleaner-route-purifying-rare-earth-elements
3•MarcoDewey•19m ago•0 comments

Geekbench 7

https://www.geekbench.com/blog/2026/07/geekbench-7/
3•ilreb•21m ago•1 comments

Emacs Is a Lispboard

https://en.andros.dev/blog/06bfd107/emacs-is-a-lispboard/
40•andros•4h ago•9 comments

Meta Garbage Collection: Using OCaml's GC to GC Rust

https://soteria-tools.com/blog/meta-garbage-collection
6•annieversary•3d ago•0 comments

Fields Medals 2026

https://www.mathunion.org/imu-awards/fields-medal/fields-medals-2026
48•nill0•4h ago•14 comments

Show HN: Whetuu – a zero-config cross-shell prompt written in Zig

https://yamafaktory.github.io/whetuu/
33•yamafaktory•3h ago•16 comments

What happens when the information runs out

https://blog.jimgrey.net/2026/06/30/what-happens-when-the-information-runs-out/
38•mooreds•4h ago•12 comments

OpenAI’s accidental attack against Hugging Face is science fiction that happened

https://simonwillison.net/2026/Jul/22/openai-cyberattack/
271•abhisek•17h ago•234 comments
Open in hackernews

Why Software Factories Fail (or: harness engineering is not enough)

https://github.com/humanlayer/advanced-context-engineering-for-coding-agents/blob/main/wsff.md
43•dhorthy•3h ago

Comments

_doctor_love•1h ago
> I haven't been able to dig up any definitive data/findings from StrongDM on how that whole dark factory went. The weather-report has a few sparse updates between February and June of this year.

This was easy to find out I thought. And just with an old-fashioned google search too, no deep research agent needed. See here: https://diffusion.io/

Seems like it went pretty well if a consulting company is now being started.

I agree with a lot of what Dex Horthy is saying here but on some fronts I feel like he's missing something. Coding well with LLMs, it's not a skill issue, it's an effort/laziness/rigor issue.

In order for coding with LLMs to go well, there has to be more rigor, more discipline, more good engineering hard-assedness. To reiterate, the teams seeing the best results with AI were already high-discipline and high-hygiene.

AI works on data. The better the data, the better the likelihood of a desirable outcome. Code is data. If you have bad code, no matter how awesome the model you let loose on it, you can't get as good a result as if you had good code to start with. This principle has been well known in AI/ML circles since the 20th century.

e.g., if you are doing spec driven development and not seriously investigating formal verification, IMHO you will come up short. Prompts are simply not enough to steer a coding agent to the level of precision needed. Without deep programmatic verification - at all levels, formal verification is just one slice - the solutions the agent produces will always be just slightly (or very) out of true.

edot•45m ago
“Seems like it went pretty well if a consulting company is now being started.”

You interpreted this backwards. Software companies offer consulting when their product cannot stand on its own. See Palantir, Salesforce, etc.

They are successful companies, yes, but not successful products. The product needs to be instantiated and maintained by sales engineers and consultants and customized into something so bespoke that it’s hardly the company’s product anymore.

stellar_jay•40m ago
> Prompts are simply not enough to steer a coding agent to the level of precision needed. Without deep programmatic verification - at all levels, formal verification is just one slice - the solutions the agent produces will always be just slightly (or very) out of true.

I found this to be exactly right, and in my work I’ve come up with a taxonomy of constraint mechanisms which I keep in mind when guiding agents: generative to constrain the output of the model, interpretive to constrain how the model ‘understands’ code, and elicitative to help it ask the right questions of users.

Full write up is here: https://www.research.autodesk.com/blog/constrain-agent-not-u...

sythe2o0•33m ago
Some more context on the consulting company: StrongDM was sold earlier this year, about a year after the dark factory was first announced, and the former CTO moved on to this (presumably) in order to continue the idea.

Disclaimer: I'm a former StrongDM employee

vanuatu•46m ago
This is one of the best writeups I've seen of this

a lot of the model's constraints come down to how they are RLed. Discussions online would be a lot better if everyone understood how the labs train the models in a high level (or did a lil data labeling)

vkaku•41m ago
Necessarily, better data is what we need, more importantly, better collaboration and better specialization at all. While the title is a bit misleading and clickbait-y, the message is decent.

I disagree with the way that big models are trained on noisy relationships and RL is applied to tone it back down, it represents a stupid amount of compute thrown at this problem at a scale that is often unnecessary.

The rest of it is on point.

syndacks•40m ago
Dex you aren't part of the slop cannon, you _are_ the slop cannon
rglynn•33m ago
To me, the thing that stands out about the whole state we're in here is PR review.

Yes, in an ideal world, PRs read well, are a joy to review, reflect what you discussed etc etc. We have to be real; there is only so much we can do to that end.

I'm not sure how the best teams do PR review, from my perspective it sucks. I'm talking specifically about the UX. I've always hated Github's PR page, so I typically reviewed by pulling down the branch and opening the diff with $EDITOR.

These days I think there's really no excuse for the awful UX. Linear (a company that isn't even in the domain of code review) put out a basic PR review feature[0] that is already better than what GH offers. It's simple: point a small model at the PR, group file changes together based on theme, add some commentary and sort by importance (schema changes > openapi spec).

Immediately, so much mental load has been reduced without the reviewer or the requester doing anything. This feature is pretty damn basic, and I think there are obvious next steps like generating visualisations which a dedicated product could find the time to implement.

Keen to hear others thoughts on why this is the wrong approach, or if there are tools in wide use that solve for this, or why this isnt the right problem to focus on.

0 - https://linear.app/docs/diffs#guides

xorcist•29m ago
> group file changes together based on theme, add some commentary

Isn't that what commits are? Or ... should be?

2001zhaozhao•23m ago
I think the right shape is to review and merge directly from the agent window.
4lx87•17m ago
Gating integration behind code review is futile. I (and many other engineers) already automated it. My agent responds to review requests and reviews as me. Company policies enforcing human code review are futile.

I think all these platforms chasing code review are doomed. My LLM doesn't need any of this tooling.

We should be reviewing the actual working software. Systems that make it easy and instant to demo any proposed change are what is needed. Code (and specs) are going to fade into obscurity. PR review has already shifted towards validating the product (working software) over the process (code).

The future of software production is more like Replit – not GitHub.

AIorNot•33m ago
Wait these arent “software factories” they are strung together ai rube goldburg machines

Its crazy to me people write these articles and create standards like this is some kind of engineering standard with years of research and experience

This is like calling these folks the experts on aviation: https://youtu.be/M9Yww9LG3gw?is=xgtA-xMpNy-09Asu

Its still so early in the game for de facto standards - engineering teams need to experiment and see what works for their own quality metrics not just parrot “standards and methodologies”

This is still the very early days of AI and AI engineering

dhorthy•3m ago
interesting - i'd say my main goal is to put the current "agentic software factory" hype in the historical context of "we've actually been rube-goldberging software deploys for a while now"
M4R5H4LL•31m ago
[flagged]
dang•23m ago
"Please don't post shallow dismissals, especially of other people's work. A good critical comment teaches us something."

https://news.ycombinator.com/newsguidelines.html

(and please particularly avoid personal attacks on this site)

fishtoaster•21m ago
There's some good ideas and points in here, but this bit threw me:

> # We tried this > In July 2025 we went full lights-off

Isn't it pretty well-accepted at this point that the models underwent a step-change in usefulness around fall 2025 / spring 2026? I know that I was able to start handing agents whole features after that, but not before.

I feel like any perspective/experience on "what agents can/can't do" from before that period is... maybe less than relevant to the modern era. TFA calls it out a few sections later with "But surely the models have gotten better since then", but then just writes off any improvement. That does not match my experience.

2001zhaozhao•18m ago
I had a bit of this impression when reading the post as well as the authors' product website. A lot of it does seem to be stuck in 2025.

For instance I think their post "long-context isn't the answer" on their website post straight-up isn't accurate, and gives me the impression they are just extrapolating previous performance to new models. In my experience, Opus 4.6 and newer have worked very reliably for long context to me (i don't perceive any intelligence drop at 700-900K tokens). Yeah it's extremely cost-inefficient, but it works.

tcoff91•11m ago
Opus 4.5 was a massive step change in capability for sure. The opinions of anyone who hasn't bothered experimenting with these things post-Opus-4.5 are not worth a damn.

They still are far from perfect but they're massively helpful.

dhorthy•7m ago
my perhaps controversial take is that opus 4.1 was smarter than 4.5 for complex engineering work, but 4.5 was faster and "squishier" - it responded better to simpler prompts, it read between the lines of user input better, and that this was really important to converting new users quickly
2001zhaozhao•21m ago
> When I say maintainability, I mean the specific thing where it becomes really, really hard to change one part of the codebase without breaking another part.

The corollary of agents being bad at maintainability but good at coding is that you can vibecode all the parts where maintainability doesn't matter.

So if you build a (domain-specific) modular architecture for your software first you can then just let your software factories loose on building the modules.

dhorthy•5m ago
yeah this is along the lines of what some friends of mine call "core vs. pragmatic modules" or even s/modules/codebase zones/

the idea that if you have a solid core and decoupled modules, you can have "zones" in your codebase where you allow the model to run wild and do a little slop, because you know the blast radius is contained

mrbnprck•5m ago
I've recently started experimenting with grounding LLM driven implementation/verification on RFC based normative specifications, to avoid having to deal with reviewing sloppy pull request.

It works quite well, as it puts your entire focus on writing (hopefully) unambiguous specifications vs. having to discuss unwanted changes with an LLM during code-review. One flaw is that this only works great if you know exactly what you want, which is not always the case.

tripleee•11m ago
What's your job as an "engineer" in this post-automated world?

QA?

20k•8m ago
>I (and many other engineers) already automated it. My agent responds to review requests and reviews as me. Company policies enforcing human code review are futile.

This is also known as being a terrible engineer. If a company enforces human review and someone deliberately tries to circumvent this with an LLM, I'd fire that person in an instant

The reason for human code review is:

1. So *you* understand what's going on, not the LLM, and people can ask you questions about it

2. Because LLMs are not that good at code review

It seems weird to brag about literally not doing your job. It sounds like you could be replaced with a python script, what value do you bring?

tcoff91•11m ago
PRs sucked to review long before Agents were a thing, but now it really sucks because there are more to review.
boron1006•4m ago
I just dont think LLMs are very good at judging importance or summarizing code.

I tried experimenting with what is ultimately a treesitter based approach - https://github.com/0x007BA7/codebook

And really liked it. Definitely nowhere near production ready but I think theres room for a player to come in and do something similar.