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 or month.
1.
Valdi – A cross-platform UI framework that delivers native performance (github.com/snapchat)
534 points by yehiaabdelm 46 days ago | 225 comments
2.
Study identifies weaknesses in how AI systems are evaluated (ox.ac.uk)
416 points by pseudolus 46 days ago | 192 comments
3.
Ironclad – formally verified, real-time capable, Unix-like OS kernel (ironclad-os.org)
375 points by vitalnodo 45 days ago | 144 comments
4.
Marko – A declarative, HTML‑based language (markojs.com)
367 points by ulrischa 46 days ago | 180 comments
5.
Immutable Software Deploys Using ZFS Jails on FreeBSD (conradresearch.com)
194 points by vermaden 46 days ago | 47 comments
6.
Ticker: Don't die of heart disease (myticker.com)
600 points by colelyman 46 days ago | 488 comments
7.
Avería: The Average Font (2011) (iotic.com)
233 points by JoshTriplett 45 days ago | 50 comments
8.
Control structures in programming languages: from goto to algebraic effects (xavierleroy.org)
203 points by SchwKatze 51 days ago | 32 comments
9.
Making Democracy Work: Fixing and Simplifying Egalitarian Paxos (arxiv.org)
180 points by otrack 46 days ago | 56 comments
10.
Cloudflare scrubs Aisuru botnet from top domains list (krebsonsecurity.com)
156 points by jtbayly 46 days ago | 34 comments
11.
Becoming a compiler engineer (rona.substack.com)
295 points by lalitkale 46 days ago | 153 comments
12.
Mullvad: Shutting down our search proxy Leta (mullvad.net)
218 points by holysoles 46 days ago | 140 comments
13.
Cerebras Code now supports GLM 4.6 at 1000 tokens/sec (cerebras.ai)
194 points by nathabonfim59 46 days ago | 129 comments
14.
WriterdeckOS (writerdeckos.com)
207 points by surprisetalk 46 days ago | 115 comments
15.
Friendly attributes pattern in Ruby (brunosutic.com)
101 points by brunosutic 52 days ago | 75 comments
16.
FSF40 Hackathon (fsf.org)
120 points by salutis 51 days ago | 3 comments
17.
An Algebraic Language for the Manipulation of Symbolic Expressions (1958) [pdf] (computerhistory.org)
101 points by swatson741 46 days ago | 11 comments
18.
The Initial Ideal Customer Profile Worksheet (reifyworks.com)
89 points by mrbbk 51 days ago | 11 comments
19.
My friends and I accidentally faked the Ryzen 7 9700X3D leaks (reddit.com)
290 points by djrockstar1 46 days ago | 71 comments
20.
Apple's "notarisation" – blocking software freedom of developers and users (fsfe.org)
297 points by DavideNL 46 days ago | 177 comments
21.
52 Year old data tape could contain Unix history (theregister.com)
204 points by rbanffy 46 days ago | 77 comments
22.
How a devboard works (and how to make your own) (kaipereira.com)
96 points by kaipereira 46 days ago | 34 comments
23.
Running a 68060 CPU in Quadra 650 (github.com/zigzagjoe)
75 points by zdw 46 days ago | 49 comments
24.
IP blocking the UK is not enough to comply with the Online Safety Act (prestonbyrne.com)
313 points by pinkahd 45 days ago | 380 comments
25.
Computational Complexity of Air Travel Planning (2003) [pdf] (ai.mit.edu)
81 points by arnon 50 days ago | 12 comments
26.
My first fifteen compilers (2019) (sigplan.org)
74 points by azhenley 53 days ago | 9 comments
27.
Show HN: Find matching acrylic paints for any HEX color (acrylicmatch.com)
56 points by dotspencer 51 days ago | 19 comments
28.
Reverse engineering a neural network's clever solution to binary addition (2023) (cprimozic.net)
87 points by Ameo 50 days ago | 16 comments
29.
Using the Web Monetization API for fun and profit (tomayac.com)
77 points by tomayac 46 days ago | 17 comments
30.
Local First Htmx (elijahm.com)
126 points by srid 46 days ago | 57 comments

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

Search: