Hacker Newsnew | past | comments | ask | show | jobs | submit | 2025-11-08login
Stories from November 8, 2025
Go back a day, month, or year. Go forward a day.
1.
Valdi – A cross-platform UI framework that delivers native performance (github.com/snapchat)
519 points by yehiaabdelm 2 days ago | 218 comments
2.
Study identifies weaknesses in how AI systems are evaluated (ox.ac.uk)
407 points by pseudolus 2 days ago | 189 comments
3.
Ironclad – formally verified, real-time capable, Unix-like OS kernel (ironclad-os.org)
364 points by vitalnodo 1 day ago | 134 comments
4.
Marko – A declarative, HTML‑based language (markojs.com)
361 points by ulrischa 1 day ago | 173 comments
5.
Immutable Software Deploys Using ZFS Jails on FreeBSD (conradresearch.com)
190 points by vermaden 2 days ago | 46 comments
6.
Avería: The Average Font (2011) (iotic.com)
230 points by JoshTriplett 1 day ago | 47 comments
7.
Ticker: Don't die of heart disease (myticker.com)
570 points by colelyman 2 days ago | 470 comments
8.
Control structures in programming languages: from goto to algebraic effects (xavierleroy.org)
195 points by SchwKatze 7 days ago | 31 comments
9.
Making Democracy Work: Fixing and Simplifying Egalitarian Paxos (arxiv.org)
180 points by otrack 2 days ago | 55 comments
10.
Cloudflare scrubs Aisuru botnet from top domains list (krebsonsecurity.com)
149 points by jtbayly 2 days ago | 34 comments
11.
Becoming a compiler engineer (rona.substack.com)
287 points by lalitkale 2 days ago | 150 comments
12.
Mullvad: Shutting down our search proxy Leta (mullvad.net)
217 points by holysoles 2 days ago | 140 comments
13.
Cerebras Code now supports GLM 4.6 at 1000 tokens/sec (cerebras.ai)
190 points by nathabonfim59 2 days ago | 125 comments
14.
WriterdeckOS (writerdeckos.com)
198 points by surprisetalk 1 day ago | 113 comments
15.
Friendly attributes pattern in Ruby (brunosutic.com)
101 points by brunosutic 7 days ago | 74 comments
16.
FSF40 Hackathon (fsf.org)
118 points by salutis 7 days ago | 3 comments
17.
An Algebraic Language for the Manipulation of Symbolic Expressions (1958) [pdf] (computerhistory.org)
97 points by swatson741 2 days ago | 11 comments
18.
The Initial Ideal Customer Profile Worksheet (reifyworks.com)
88 points by mrbbk 7 days ago | 11 comments
19.
My friends and I accidentally faked the Ryzen 7 9700X3D leaks (reddit.com)
287 points by djrockstar1 2 days ago | 70 comments
20.
Apple's "notarisation" – blocking software freedom of developers and users (fsfe.org)
296 points by DavideNL 2 days ago | 177 comments
21.
52 Year old data tape could contain Unix history (theregister.com)
197 points by rbanffy 2 days ago | 73 comments
22.
How a devboard works (and how to make your own) (kaipereira.com)
95 points by kaipereira 2 days ago | 34 comments
23.
Running a 68060 CPU in Quadra 650 (github.com/zigzagjoe)
73 points by zdw 2 days ago | 49 comments
24.
IP blocking the UK is not enough to comply with the Online Safety Act (prestonbyrne.com)
306 points by pinkahd 1 day ago | 361 comments
25.
Computational Complexity of Air Travel Planning (2003) [pdf] (ai.mit.edu)
79 points by arnon 6 days ago | 12 comments
26.
My first fifteen compilers (2019) (sigplan.org)
71 points by azhenley 9 days ago | 7 comments
27.
Show HN: Find matching acrylic paints for any HEX color (acrylicmatch.com)
56 points by dotspencer 7 days ago | 19 comments
28.
Reverse engineering a neural network's clever solution to binary addition (2023) (cprimozic.net)
84 points by Ameo 6 days ago | 16 comments
29.
Using the Web Monetization API for fun and profit (tomayac.com)
75 points by tomayac 2 days ago | 17 comments
30.
Local First Htmx (elijahm.com)
122 points by srid 2 days ago | 57 comments

Consider applying for YC's Winter 2026 batch! Applications are open till Nov 10

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: