frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

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