Article URL: https://fstar-lang.org/ Comments URL: https://news.ycombinator.com/item?id=49143925 Points: 87 # Comments: 31

Article URL: https://www.ycombinator.com/companies/great-question/jobs/YutDxyf-senior-demand-generation-manager Comments URL: https://news.ycombinator.com/item?id=49143683 Points: 0 # Comments: 0

Article URL: https://meshdiff.com/ Comments URL: https://news.ycombinator.com/item?id=49143479 Points: 139 # Comments: 13

Article URL: https://en.wikipedia.org/wiki/Wikipedia:Wikipedia_Signpost/2026-08-02/News_and_notes Comments URL: https://news.ycombinator.com/item?id=49143414 Points: 8 # Comments: 0

Hi HN! I've been working on the fuse programming language, it's a statically typed purely functional language with higher-kinder types and ad-hoc polymorphism. It compiles to the GRIN whole-program optimizer, producing LLVM-generated native code. Fuse supports ADTs, Generics, Type Methods, Traits...

Article URL: https://arxiv.org/abs/2607.20349 Comments URL: https://news.ycombinator.com/item?id=49143289 Points: 15 # Comments: 4

Article URL: https://blog.rust-lang.org/inside-rust/2026/07/31/all-hands-2026-retrospective/ Comments URL: https://news.ycombinator.com/item?id=49143096 Points: 56 # Comments: 24

Article URL: https://mattsclancy.github.io/2026/07/27/industrial-revolution-growth.html Comments URL: https://news.ycombinator.com/item?id=49143053 Points: 27 # Comments: 31

Article URL: https://publicdomainreview.org/essay/ars-notoria/ Comments URL: https://news.ycombinator.com/item?id=49143001 Points: 27 # Comments: 3

Article URL: https://github.com/syncular/syncular Comments URL: https://news.ycombinator.com/item?id=49142794 Points: 22 # Comments: 9

Hi HN! I've been working on Bor, an open-source system for centralized Linux desktop management. Bor consists of a lightweight Go agent and a central server. Policies are streamed to clients over mTLS/gRPC in real time—no polling—and currently support Firefox, Chrome, KDE, dconf, polkit and packa...

Article URL: https://cyberscript.dev Comments URL: https://news.ycombinator.com/item?id=49142130 Points: 15 # Comments: 15

Article URL: https://borretti.me/article/mathematics-without-mathematicians Comments URL: https://news.ycombinator.com/item?id=49142083 Points: 20 # Comments: 24

Article URL: https://osadmins.com/en/ibm-i-os-400-the-database-operating-system/ Comments URL: https://news.ycombinator.com/item?id=49141937 Points: 16 # Comments: 9

Article URL: https://en.andros.dev/blog/af3ee191/why-i-dont-recommend-tailwind-css/ Comments URL: https://news.ycombinator.com/item?id=49141891 Points: 108 # Comments: 111

Article URL: https://agent4lease.com/ Comments URL: https://news.ycombinator.com/item?id=49141849 Points: 3 # Comments: 0

Article URL: https://peterneufeld.wordpress.com/2025/03/04/esp32-c3-supermini-antenna-modification/ Comments URL: https://news.ycombinator.com/item?id=49141828 Points: 55 # Comments: 9

Article URL: https://www.wafer.ai/blog/kimi-k3-mi355x Comments URL: https://news.ycombinator.com/item?id=49141073 Points: 141 # Comments: 56

https://xcancel.com/karpathy/status/2083749667410727319 Comments URL: https://news.ycombinator.com/item?id=49140998 Points: 109 # Comments: 81

Article URL: http://oldvcr.blogspot.com/2026/08/mklinux-and-pimped-out-apple-workgroup.html Comments URL: https://news.ycombinator.com/item?id=49140702 Points: 63 # Comments: 3