fp.
news
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
Load More