betterhacker.news

Business and Economy // 371 ❤️‍🔥

US SEC preparing to scrap quarterly reporting requirement 371 ❤️

Programming and Software Development // 857 ❤️‍🔥

Leanstral: Open-source agent for trustworthy coding and formal proof engineering 350 ❤️
Show HN: Oxyde – Pydantic-native async ORM with a Rust core 86 ❤️
Show HN: Thermal Receipt Printers – Markdown and Web UI 48 ❤️
Pyodide: a Python distribution based on WebAssembly 12 ❤️
Show HN: Claude Code skills that build complete Godot games 192 ❤️
Lazycut: A simple terminal video trimmer using FFmpeg 169 ❤️

Technology and Gadgets // 945 ❤️‍🔥

Meta’s renewed commitment to jemalloc 369 ❤️
Starlink Mini as a failover 219 ❤️
AirPods Max 2 231 ❤️
Kona EV Hacking 126 ❤️

Other // 409 ❤️‍🔥

The “small web” is bigger than you might think 341 ❤️
In space, no one can hear you kernel panic (2020) 40 ❤️
Show HN: GitClassic.com, a fast, lightweight GitHub thin client (pages <14KB) 27 ❤️
AnswerThis (YC F25) Is Hiring 1 ❤️

Healthcare // 274 ❤️‍🔥

The American Healthcare Conundrum 274 ❤️

Personal Stories and Reflections // 973 ❤️‍🔥

My Journey to a reliable and enjoyable locally hosted voice assistant (2025) 336 ❤️
Why I love FreeBSD 378 ❤️
Home Assistant waters my plants 259 ❤️

Food and Nutrition // 75 ❤️‍🔥

Beyond has dropped “meat” from its name and expanded its high-protein drink line 75 ❤️

Environment and Conservation // 19 ❤️‍🔥

Canopy Height Maps v2 19 ❤️

Social Issues // 1589 ❤️‍🔥

Polymarket gamblers threaten to kill me over Iran missile story 1389 ❤️
The bureaucracy blocking the chance at a cure 106 ❤️
On The Need For Understanding 94 ❤️

Artificial Intelligence and Machine Learning // 76 ❤️‍🔥

Language model teams as distributed systems 76 ❤️

Remote Work and Collaboration // 347 ❤️‍🔥

Political Science and Governance // 679 ❤️‍🔥

Corruption erodes social trust more in democracies than in autocracies 679 ❤️

Verified Software Engineering // 18 ❤️‍🔥

Lf-lean: The frontier of verified software engineering 18 ❤️

Popular GitHub Repos (Last 60 Days)

Shall I implement it? No 1445 ❤️

Vouch 994 ❤️

Show HN: ChartGPU – WebGPU-powered charting library (1M points at 60fps) 641 ❤️

Converting a $3.88 analog clock from Walmart into a ESP8266-based Wi-Fi clock 575 ❤️

Anthropic's original take home assignment open sourced 531 ❤️

Show HN: Craftplan – I built my wife a production management tool for her bakery 477 ❤️

Show HN: NanoClaw – “Clawdbot” in 500 lines of TS with Apple container isolation 461 ❤️

Flux 2 Klein pure C inference 392 ❤️

Mouser: An open source alternative to Logi-Plus mouse software 386 ❤️

If AI writes code, should the session be part of the commit? 385 ❤️