hckrnws

Leanstral: Open-source agent for trustworthy coding and formal proof engineering

(mistral.ai)
537
108
15h

The unlikely story of Teardown Multiplayer

(blog.voxagon.se)
71
10
4d

Meta’s renewed commitment to jemalloc

(engineering.fb.com)
436
191
18h

The “small web” is bigger than you might think

(kevinboone.me)
424
180
19h

The American Healthcare Conundrum

(github.com)
345
299
19h

Gitana 18: the new flying Ultim trimaran

(boatnews.com)
35
5
4d

Every layer of review makes you 10x slower

(apenwarr.ca)
225
117
9h

US SEC preparing to scrap quarterly reporting requirement

(reuters.com)
575
313
12h

Sci-Fi Short Film “There Is No Antimemetics Division” [video]

(youtube.com)
84
17
4d

Pyodide: a Python distribution based on WebAssembly

(github.com)
74
23
4d

My Journey to a reliable and enjoyable locally hosted voice assistant (2025)

(community.home-assistant.io)
370
107
23h

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

(plantbasednews.org)
126
262
15h

Why I love FreeBSD

(it-notes.dragas.net)
430
211
1d

Monkey Island for Commodore 64 Ground Up

(pixeldust.se)
126
40
8h

Kagi Translate now supports LinkedIn Speak as an output language

(translate.kagi.com)
458
113
8h

Claude Tips for 3D Work

(davesnider.com)
76
18
4d

Starlink Mini as a failover

(jackpearce.co.uk)
258
188
1d

Show HN: Oxyde – Pydantic-native async ORM with a Rust core

(github.com)
105
59
4d

In space, no one can hear you kernel panic (2020)

(increment.com)
60
9
5d

Show HN: Thermal Receipt Printers – Markdown and Web UI

(github.com)
83
30
4d

AirPods Max 2

(apple.com)
279
461
23h

Fatal Core Dump Game

(robopenguins.com)
3
0
4d

Polymarket gamblers threaten to kill me over Iran missile story

(timesofisrael.com)
1488
941
1d

Show HN: Droeftoeter, a Terminal Coding Toy

(github.com)
12
3
4d

Lies I was told about collaborative editing, Part 2: Why we don't use Yjs

(moment.dev)
249
113
4d

Jepsen: MariaDB Galera Cluster 12.1.2

(jepsen.io)
73
6
8h

The bureaucracy blocking the chance at a cure

(writingruxandrabio.com)
131
155
2d

Speed at the cost of quality: Study of use of Cursor AI in open source projects (2025)

(arxiv.org)
111
62
19h

Language model teams as distributed systems

(arxiv.org)
91
39
19h

Page 1 of 10

Crafted by Rajat

Source Code