Hacker Newsnew | past | comments | ask | show | jobs | submit | schonfinkel's favoriteslogin
1.
Do you need separate systems when you already have Postgres? (postgresisenough.dev)
104 points by b-man 70 days ago | 86 comments
2.
The SeL4 Microkernel: An Introduction [pdf] (sel4.systems)
264 points by snvzz on March 23, 2025 | 188 comments
3.
CS 6120: Advanced Compilers: The Self-Guided Online Course (2020) (cornell.edu)
454 points by ibobev 88 days ago | 61 comments
4.
Emacs 31 is around the corner: The changes I'm daily driving (rahuljuliato.com)
471 points by frou_dh 88 days ago | 284 comments
5.
An O(x)Caml book that runs (kcsrk.info)
3 points by ibobev 3 months ago
6.
Conventional Commits encourages focus on the wrong things (sumnerevans.com)
372 points by jsve 3 months ago | 276 comments
7.
The Postmodern Build System (jade.fyi)
2 points by birdculture 3 months ago
8.
The Emacsification of Software (sockpuppet.org)
465 points by rdslw 4 months ago | 284 comments
9.
A Theory of Composing Protocols (2023) (programming-journal.org)
96 points by mpweiher on April 6, 2024 | 17 comments
10.
Learning OCaml: PPX for Mere Mortals (batsov.com)
13 points by DASD 4 months ago | 1 comment
11.
How does GPS work? (perthirtysix.com)
241 points by alfanick 4 months ago | 49 comments
12.
The Gregorio project – GPL tools for typesetting Gregorian chant (gregorio-project.github.io)
75 points by mcookly 5 months ago | 9 comments
13.
Emacs Is My Browser (joshblais.com)
3 points by signa11 4 months ago
14.
Category Theory Illustrated – Orders (abuseofnotation.github.io)
252 points by boris_m 4 months ago | 61 comments
15.
Projective Geometric Algebra (projectivegeometricalgebra.org)
3 points by teleforce 5 months ago
16.
Tree Calculus (treecalcul.us)
115 points by tosh 5 months ago | 35 comments
17.
Am I German or Autistic? (millermanschool.com)
259 points by doener 5 months ago | 227 comments
18.
Algebrica – A Mathematical Knowledge Base (algebrica.org)
3 points by the-mitr 5 months ago
19.
USB for Software Developers: An introduction to writing userspace USB drivers (werwolv.net)
411 points by WerWolv 5 months ago | 48 comments
20.
HTML for People (htmlforpeople.com)
3 points by fanf2 5 months ago
21.
Git commands I run before reading any code (piechowski.io)
2338 points by grepsedawk 5 months ago | 509 comments
22.
Stealing from the Best Emacs Configs (emacsredux.com)
30 points by signa11 5 months ago | 2 comments
23.
Model-Based Testing for Dungeons & Dragons (loskutoff.com)
109 points by Firfi 5 months ago | 76 comments
24.
A most elegant TCP hole punching algorithm (robertsdotpm.github.io)
221 points by Uptrenda 6 months ago | 108 comments
25.
$96 3D-printed rocket that recalculates its mid-air trajectory using a $5 sensor (github.com/novatic14)
452 points by ZacnyLos 6 months ago | 531 comments
26.
The Slow Death of the Power User (mataroa.blog)
106 points by microsoftedging 6 months ago | 96 comments
27.
Show HN: Sowbot – Open-hardware agricultural robot (ROS2, RTK GPS) (sowbot.co.uk)
181 points by Sabrees 6 months ago | 45 comments
28.
Goblins: Distributed, Transactional Programming with Racket and Guile (spritely.institute)
128 points by alhazrod 7 months ago | 17 comments
29.
The Shepherd 1.0.0 released (guix.gnu.org)
177 points by sharpshadow on Jan 14, 2025 | 56 comments
30.
A deep dive into QEMU: The Tiny Code Generator (TCG), part 1 (2021) (airbus-seclab.github.io)
83 points by costco 9 months ago | 2 comments

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

Search: