fp.
news
Open in hackernews
The Proof Machine (2016)
https://incredible.pm/
7
•
BenoitP
•
1h ago
Kimi-K3 Releases on HuggingFace 7/27
https://huggingface.co/moonshotai/Kimi-K3
591
•
nateb2022
•
7h ago
•
269 comments
Should you wash your solar panels?
https://incoherency.co.uk/blog/stories/should-you-wash-your-solar-panels.html
16
•
surprisetalk
•
42m ago
•
5 comments
How is the Bun Rewrite in Rust going?
https://lockwood.dev/ai/2026/07/27/how-is-the-bun-rewrite-in-rust-going.html
193
•
tomlockwood
•
2h ago
•
126 comments
AI companies are shredding rare books
https://xcancel.com/HedgieMarkets/status/2081534588485296565
212
•
anon373839
•
1h ago
•
111 comments
Elevated errors on Claude Opus 5
https://status.claude.com/incidents/mfdtrknpxghq
38
•
croemer
•
2h ago
•
37 comments
Removing React.js from the codebase and adapting Htmx for UI interactivity
https://misago-project.org/t/removing-reactjs-from-the-codebase-and-adapting-htmx-for-ui-interact...
53
•
Ralfp
•
3h ago
•
25 comments
Libsm64: Mario 64 as a library for use in external game engines
https://github.com/libsm64/libsm64
54
•
klaussilveira
•
3h ago
•
9 comments
PGSimCity - How PostgreSQL Works
https://nikolays.github.io/PGSimCity/
744
•
jonbaer
•
13h ago
•
70 comments
Magnolias Are So Old That They're Pollinated by Beetles, Not Bees
https://mymodernmet.com/magnolia-ancient-flowers-beetles/
137
•
speckx
•
4d ago
•
53 comments
3D-printed F-14 Tomcat uses FPGA recreation of the first microprocessor
https://www.tomshardware.com/pc-components/cpus/3d-printed-f-14-tomcat-uses-an-fpga-recreation-of...
8
•
sbulaev
•
23h ago
•
0 comments
Building a Fast Lock-Free Queue in Modern C++ from Scratch
https://blog.jaysmito.dev/blog/04-fast-lockfree-queues/
30
•
ibobev
•
4d ago
•
7 comments
Towards a Theory of Bugs: The Ruliology of the Unexpected
https://writings.stephenwolfram.com/2026/07/towards-a-theory-of-bugs-the-ruliology-of-the-unexpec...
16
•
nsoonhui
•
3d ago
•
1 comments
VLC for Unity now supported on Linux
https://code.videolan.org/videolan/vlc-unity
62
•
martz
•
4h ago
•
16 comments
Show HN: Physically accurate black hole you can put in your room
https://blackhole.plav.in
391
•
aplavin
•
4d ago
•
130 comments
The Proof Machine (2016)
https://incredible.pm/
7
•
BenoitP
•
1h ago
•
0 comments
The Birth of the American 12-string Guitar
https://www.harpguitars.net/history/grunewald/12-string.htm
33
•
bilegeek
•
2h ago
•
16 comments
Modern email can be built from borrowed parts
https://en.andros.dev/blog/d7ed8b07/modern-email-can-be-built-from-borrowed-parts/
50
•
andros
•
5h ago
•
12 comments
Shay Locomotives
https://www.shaylocomotives.com/
27
•
Rygian
•
4h ago
•
5 comments
Scriptc by Vercel: TypeScript-to-Native compiler, no JavaScript engine in binary
https://github.com/vercel-labs/scriptc
227
•
maxloh
•
15h ago
•
114 comments
First Robotic Satellite Servicer Launched
https://www.nrl.navy.mil/Media/News/Article/4551871/robotic-servicing-of-geosynchronous-satellite...
7
•
GlenTheMachine
•
3d ago
•
0 comments
Worse on Purpose
https://ledger.worseonpurpose.com/brands
42
•
bookofjoe
•
1h ago
•
14 comments
Decker, a platform that builds on the legacy of Hypercard and classic macOS
https://beyondloom.com/decker/
339
•
tosh
•
19h ago
•
77 comments
Elevated errors on Claude Opus 5
https://status.claude.com/incidents/lhqp09kxq7pb
33
•
flyaway123
•
5h ago
•
19 comments
US citizen charged after GrapheneOS phone wipes during airport search
https://www.techspot.com/news/113236-us-prosecutors-charge-atlanta-man-after-grapheneos-phone.html
973
•
eecc
•
15h ago
•
747 comments
Google Chrome Arrives on ARM64 Linux, Widevine DRM Included
https://www.omgubuntu.co.uk/2026/07/chrome-arm64-linux-available
23
•
twapi
•
2h ago
•
7 comments
We have proof automation now
https://www.imperialviolet.org/2026/07/26/zstd-lean.html
201
•
zdw
•
16h ago
•
82 comments
Measuring developer productivity with the DX Core 4
https://getdx.com/research/measuring-developer-productivity-with-the-dx-core-4/
35
•
saikatsg
•
3d ago
•
26 comments
I wanted a clock that never needed setting. Things escalated
https://arstechnica.com/gadgets/2026/07/i-wanted-a-clock-that-never-needed-setting-things-escalated/
141
•
lee_ars
•
4d ago
•
123 comments
Introduction to Data-Oriented Design [pdf]
https://www.gamedevs.org/uploads/introduction-to-data-oriented-design.pdf
203
•
tosh
•
19h ago
•
53 comments
Chinese chipmaker shares surge 470%
https://www.bbc.com/news/articles/c9q9w3x9qn2o
129
•
pingou
•
4h ago
•
113 comments
Load More