FilterHN
newaskshowjobs
submit
FilterHN
1.
Leanstral: Open-source agent for trustworthy coding and formal proof engineering
515 points
|
103 comments
|
mistral.ai
|
upvote
1.
Leanstral: Open-source agent for trustworthy coding and formal proof engineering(mistral.ai)
▲ 515 points103 comments
2.
The unlikely story of Teardown Multiplayer
58 points
|
7 comments
|
blog.voxagon.se
|
upvote
2.
The unlikely story of Teardown Multiplayer(blog.voxagon.se)
▲ 58 points7 comments
3.
Meta’s renewed commitment to jemalloc
430 points
|
188 comments
|
engineering.fb.com
|
upvote
3.
Meta’s renewed commitment to jemalloc(engineering.fb.com)
▲ 430 points188 comments
4.
The “small web” is bigger than you might think
417 points
|
176 comments
|
kevinboone.me
|
upvote
4.
The “small web” is bigger than you might think(kevinboone.me)
▲ 417 points176 comments
5.
Every layer of review makes you 10x slower
213 points
|
103 comments
|
apenwarr.ca
|
upvote
5.
Every layer of review makes you 10x slower(apenwarr.ca)
▲ 213 points103 comments
6.
The American Healthcare Conundrum
337 points
|
293 comments
|
github.com
|
upvote
6.
The American Healthcare Conundrum(github.com)
▲ 337 points293 comments
7.
Gitana 18: the new flying Ultim trimaran
31 points
|
3 comments
|
boatnews.com
|
upvote
7.
Gitana 18: the new flying Ultim trimaran(boatnews.com)
▲ 31 points3 comments
8.
US SEC preparing to scrap quarterly reporting requirement
569 points
|
307 comments
|
reuters.com
|
upvote
8.
US SEC preparing to scrap quarterly reporting requirement(reuters.com)
▲ 569 points307 comments
9.
Sci-Fi Short Film “There Is No Antimemetics Division” [video]
81 points
|
16 comments
|
youtube.com
|
upvote
9.
Sci-Fi Short Film “There Is No Antimemetics Division” [video](youtube.com)
▲ 81 points16 comments
10.
Pyodide: a Python distribution based on WebAssembly
69 points
|
23 comments
|
github.com
|
upvote
10.
Pyodide: a Python distribution based on WebAssembly(github.com)
▲ 69 points23 comments
11.
My Journey to a reliable and enjoyable locally hosted voice assistant (2025)
370 points
|
105 comments
|
community.home-assistant.io
|
upvote
11.
My Journey to a reliable and enjoyable locally hosted voice assistant (2025)(community.home-assistant.io)
▲ 370 points105 comments
12.
Monkey Island for Commodore 64 Ground Up
119 points
|
37 comments
|
pixeldust.se
|
upvote
12.
Monkey Island for Commodore 64 Ground Up(pixeldust.se)
▲ 119 points37 comments
13.
Beyond has dropped “meat” from its name and expanded its high-protein drink line
124 points
|
239 comments
|
plantbasednews.org
|
upvote
13.
Beyond has dropped “meat” from its name and expanded its high-protein drink line(plantbasednews.org)
▲ 124 points239 comments
14.
Kagi Translate now supports LinkedIn Speak as an output language
447 points
|
108 comments
|
translate.kagi.com
|
upvote
14.
Kagi Translate now supports LinkedIn Speak as an output language(translate.kagi.com)
▲ 447 points108 comments
15.
Why I love FreeBSD
427 points
|
206 comments
|
it-notes.dragas.net
|
upvote
15.
Why I love FreeBSD(it-notes.dragas.net)
▲ 427 points206 comments
16.
Claude Tips for 3D Work
73 points
|
16 comments
|
davesnider.com
|
upvote
16.
Claude Tips for 3D Work(davesnider.com)
▲ 73 points16 comments
17.
Fatal Core Dump Game
3 points
|
0 comments
|
robopenguins.com
|
upvote
17.
Fatal Core Dump Game(robopenguins.com)
▲ 3 points0 comments
18.
Show HN: Oxyde – Pydantic-native async ORM with a Rust core
104 points
|
58 comments
|
github.com
|
upvote
18.
Show HN: Oxyde – Pydantic-native async ORM with a Rust core(github.com)
▲ 104 points58 comments
19.
Starlink Mini as a failover
256 points
|
186 comments
|
jackpearce.co.uk
|
upvote
19.
Starlink Mini as a failover(jackpearce.co.uk)
▲ 256 points186 comments
20.
In space, no one can hear you kernel panic (2020)
59 points
|
8 comments
|
increment.com
|
upvote
20.
In space, no one can hear you kernel panic (2020)(increment.com)
▲ 59 points8 comments
21.
Show HN: Thermal Receipt Printers – Markdown and Web UI
80 points
|
30 comments
|
github.com
|
upvote
21.
Show HN: Thermal Receipt Printers – Markdown and Web UI(github.com)
▲ 80 points30 comments
22.
AirPods Max 2
278 points
|
456 comments
|
apple.com
|
upvote
22.
AirPods Max 2(apple.com)
▲ 278 points456 comments
23.
Show HN: Droeftoeter, a Terminal Coding Toy
9 points
|
3 comments
|
github.com
|
upvote
23.
Show HN: Droeftoeter, a Terminal Coding Toy(github.com)
▲ 9 points3 comments
24.
Jepsen: MariaDB Galera Cluster 12.1.2
72 points
|
6 comments
|
jepsen.io
|
upvote
24.
Jepsen: MariaDB Galera Cluster 12.1.2(jepsen.io)
▲ 72 points6 comments
25.
Polymarket gamblers threaten to kill me over Iran missile story
1479 points
|
935 comments
|
timesofisrael.com
|
upvote
25.
Polymarket gamblers threaten to kill me over Iran missile story(timesofisrael.com)
▲ 1479 points935 comments
26.
Lies I was told about collaborative editing, Part 2: Why we don't use Yjs
245 points
|
113 comments
|
moment.dev
|
upvote
26.
Lies I was told about collaborative editing, Part 2: Why we don't use Yjs(moment.dev)
▲ 245 points113 comments
27.
AnswerThis (YC F25) Is Hiring
1 points
|
comments
|
ycombinator.com
|
upvote
27.
AnswerThis (YC F25) Is Hiring(ycombinator.com)
▲ 1 points comments
28.
The bureaucracy blocking the chance at a cure
130 points
|
151 comments
|
writingruxandrabio.com
|
upvote
28.
The bureaucracy blocking the chance at a cure(writingruxandrabio.com)
▲ 130 points151 comments
29.
Speed at the cost of quality: Study of use of Cursor AI in open source projects (2025)
110 points
|
61 comments
|
arxiv.org
|
upvote
29.
Speed at the cost of quality: Study of use of Cursor AI in open source projects (2025)(arxiv.org)
▲ 110 points61 comments
30.
Language model teams as distributed systems
91 points
|
39 comments
|
arxiv.org
|
upvote
30.
Language model teams as distributed systems(arxiv.org)
▲ 91 points39 comments

next page →
AboutContact