pull down to refresh

Why I Chose Common Lispblog.djhaskin.com/blog/why-i-chose-common-lisp/
105 sats \ 0 comments \ @hn 12 Jan tech
related
The Art of Lisp and Writingwww.dreamsongs.com/ArtOfLisp.html
10 sats \ 0 comments \ @hn 15 Jun tech
If Lisp is so great...mihaiolteanu.me/if-lisp-is-so-great
3402 sats \ 7 comments \ @elvismercury 26 Jan 2024 mostly_harmless
Machine-Assisted Proof by Terence Tao [pdf]www.ams.org/notices/202501/rnoti-p6.pdf
172 sats \ 0 comments \ @hn 28 Dec 2024 tech
OpenMPTCProuter: Aggregate and encrypt multiple internet connections using MPTCPwww.openmptcprouter.com/
11 sats \ 0 comments \ @hn 23 Nov 2024 tech
Atari Means Business with the Mega STwww.goto10retro.com/p/atari-means-business-with-the-mega
46 sats \ 0 comments \ @hn 1 Jun tech
How AI on Microcontrollers Works: Operators and Kernelsdanielmangum.com/posts/ai-microcontrollers-operators-kernels/
11 sats \ 0 comments \ @hn 5 Jul tech
Using Claude Code SDK to reduce E2E test timejampauchoa.substack.com/p/best-of-both-worlds-using-claude
100 sats \ 0 comments \ @hn 6 Sep tech
Ghosts in the ROM (2012)www.nycresistor.com/2012/08/21/ghosts-in-the-rom/
21 sats \ 0 comments \ @hn 26 Jun 2024 tech
The Timeless 9 Golden Rules of Debugging (2004)dwheeler.com/essays/debugging-agans.html
54 sats \ 0 comments \ @hn 13 Jan tech
Monitor your security cameras with locally processed AIfrigate.video/
120 sats \ 0 comments \ @hn 5 Aug tech
The Dark Side of the Moominswww.newstatesman.com/culture/books/2025/04/dark-side-of-the-moomins-tove-jansson
10 sats \ 0 comments \ @hn 13 Apr tech
Making memcpy(NULL, NULL, 0) well-defineddevelopers.redhat.com/articles/2024/12/11/making-memcpynull-null-0-well-defined
25 sats \ 0 comments \ @hn 11 Dec 2024 tech
Conway's Game of Life, in checkboxes for some reasonhuth.me/checkbox-life/
51 sats \ 0 comments \ @hn 28 Jun 2024 tech
Peano arithmetic is enough, because Peano arithmetic encodes computationmath.stackexchange.com/a/5075056/6708
10 sats \ 0 comments \ @hn 14 Jun tech
8 months of OCaml after 8 years of Haskell in production (2023)chshersh.com/blog/2023-12-16-8-months-of-ocaml-after-8-years-of-haskell.html
46 sats \ 0 comments \ @hn 3 Dec 2024 tech
GPT-4.5: "Not a frontier model"?www.interconnects.ai/p/gpt-45-not-a-frontier-model
29 sats \ 0 comments \ @hn 2 Mar tech
Arthur Whitney's one liner sudoku solverdfns.dyalog.com/n_sudoku.htm
270 sats \ 1 comment \ @hn 6 Oct 2024 tech
Intel's $475M error: the silicon behind the Pentium division bugwww.righto.com/2024/12/this-die-photo-of-pentium-shows.html
29 sats \ 0 comments \ @hn 28 Dec 2024 tech
The TikTok Case Will Be Determined by What's Behind the Government's Black Lineswww.lawfaremedia.org/article/the-tiktok-case-will-be-determined-by-what-s-behind-the-government-s-black-lines
10 sats \ 0 comments \ @hn 14 Aug 2024 tech
Sunset Geometry (2016)www.shapeoperator.com/2016/12/12/sunset-geometry/
24 sats \ 0 comments \ @hn 15 Mar tech
Hunt for Red October 1990 (2016)www.modelshipsinthecinema.com/2016/12/hunt-for-red-october-1990.html
46 sats \ 0 comments \ @hn 10 Apr tech