frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Developing provably correct Rust code with Verus

https://www.amazon.science/blog/developing-provably-correct-rust-code-with-verus
15•Betelbuddy•2d ago

Nvidia announces native GPU programming in Rust

https://developer.nvidia.com/blog/introducing-cuda-rust-two-tracks-for-writing-gpu-kernels/
294•nonmaskable•14h ago•115 comments

Training a 4B model to produce 81% faster query plans than Postgres

https://rohanbansal.com/qorl
405•polyphilz•7h ago•84 comments

Xiaomi Mimo 2.6 live post-training dashboard

https://mimo.xiaomi.com/rl/
266•krackers•5h ago•66 comments

Breaking the 1.58-bit Barrier for Ternary LLMs

https://arxiv.org/abs/2609.16338
145•matt_d•5h ago•18 comments

Backups Aren't Simple

https://filipovski.net/2026/09/16/backups-arent-simple.html
90•afilipovski•5h ago•36 comments

Small programming tricks

https://will-keleher.com/posts/small-programming-tricks-matter/
405•signa11•10h ago•181 comments

The engineering behind the US Strategic Petroleum Reserve

https://johnjwang.com/post/2026/09/15/engineering-behind-us-strategic-petroleum-reserve
110•johnjwang•1d ago•36 comments

OpenSpec – A lightweight and configurable AI spec framework

https://openspec.dev/
69•etoxin•2h ago•25 comments

Developing provably correct Rust code with Verus

https://www.amazon.science/blog/developing-provably-correct-rust-code-with-verus
15•Betelbuddy•2d ago•0 comments

Performance Improvements in .NET 11

https://devblogs.microsoft.com/dotnet/performance-improvements-in-net-11/
178•soheilpro•1d ago•33 comments

Reversing Factorio's RNG

https://gegell.github.io/posts/factorio-rng/
147•jheitmann•4d ago•19 comments

HarnessTax: How Much Does the Harness Matter for Coding Agents?

https://harnesstax.github.io/
39•matt_d•3h ago•6 comments

Australia says it could follow Canada in forging deeper ties with EU

https://www.independent.co.uk/news/world/australasia/canda-eu-membership-australia-us-trade-b3050...
144•doener•3h ago•91 comments

Japan's book scene is moving from bookstores to libraries

https://untranslatedjp.substack.com/p/japans-book-scene-is-quietly-moving
119•herbertl•4d ago•45 comments

Reverse-engineered Jev-like model

https://github.com/vinnylarouge/jevlike
78•rochansinha•7h ago•12 comments

AWS says it can't restore some data from mideast facilities struck by Iran

https://www.wsj.com/world/middle-east/aws-says-it-cant-restore-some-data-from-mideast-facilities-...
245•berkeleyjunk•1d ago•217 comments

Show HN: An e-ink frame that hears birds and draws them as 1800s illustrations

https://github.com/arnegiacomo/fugleramme
2092•arnemunthekaas•1d ago•240 comments

OpenAI Discloses Six New Incidents of ‘Concerning’ A.I. Behavior

https://www.nytimes.com/2026/09/16/technology/openai-model-safety-guardrails.html
32•jbegley•1h ago•19 comments

Anecdotally, programmers dislike "reduce"

https://evanhahn.com/posts/2026-09-13-programmers-dislike-reduce/
98•vinhnx•2d ago•159 comments

Why Does the Universe Expand?

https://cosmicave.org/2026/09/15/why-does-the-universe-expand/
34•the__alchemist•6h ago•19 comments

The Return of Sail Power: Cargo Ships Are Turning Back to the Wind

https://gcaptain.com/the-return-of-sail-power-cargo-ships-are-turning-back-to-the-wind/
11•gumby•1h ago•1 comments

Accurate Models of AMD Matrix Cores

https://arxiv.org/abs/2609.14845
62•matt_d•7h ago•7 comments

Anatomy of a Texture

https://agentlien.github.io/texture/
76•Agentlien•11h ago•14 comments

Dream-RSI: Recursive Self-Improvement through Evolving Worlds

https://arxiv.org/abs/2609.14858
180•bananaflag•12h ago•49 comments

I replaced my brown-noise browser tab with a menu bar app

https://oldmanrahul.com/2026/09/14/hush/
23•oldmanrahul•12h ago•9 comments

The DeepMind Institute

https://institute.deepmind.com/
146•vertigoruntime•11h ago•45 comments

Hackers Got Inside a Flock Camera

https://www.wired.com/story/hackers-flock-camera-data-shows-how-system-works/
470•driverdan•12h ago•217 comments

Training Text-to-Image Models 3.6× Faster

https://www.linum.ai/field-notes/jit-ddt
36•schopra909•9h ago•8 comments

Tell the speakers that you liked their talks

https://ohhelloana.blog/tell-the-speakers/
274•whisper2020•1d ago•75 comments

Vectorized and performance-portable Quicksort (2022)

https://opensource.googleblog.com/2022/06/Vectorized%20and%20performance%20portable%20Quicksort.html
164•mococa•7h ago•27 comments