pull down to refresh

Rethinking CLI interfaces for AIwww.notcheckmark.com/2025/07/rethinking-cli-interfaces-for-ai/
21 sats \ 0 comments \ @hn 19 Jul tech
related
The Art of Lisp and Writingwww.dreamsongs.com/ArtOfLisp.html
10 sats \ 0 comments \ @hn 15 Jun tech
Peano arithmetic is enough, because Peano arithmetic encodes computationmath.stackexchange.com/a/5075056/6708
10 sats \ 0 comments \ @hn 14 Jun tech
Kimi K1.5: Scaling Reinforcement Learning with LLMsgithub.com/MoonshotAI/Kimi-k1.5
14 sats \ 0 comments \ @hn 21 Jan tech
OpenMPTCProuter: Aggregate and encrypt multiple internet connections using MPTCPwww.openmptcprouter.com/
11 sats \ 0 comments \ @hn 23 Nov 2024 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
Escaping the Chrome Sandbox Through DevToolsading.dev/blog/posts/chrome_sandbox_escape.html
109 sats \ 0 comments \ @hn 17 Oct 2024 tech
Why I Chose Common Lispblog.djhaskin.com/blog/why-i-chose-common-lisp/
105 sats \ 0 comments \ @hn 12 Jan 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
Machine-Assisted Proof by Terence Tao [pdf]www.ams.org/notices/202501/rnoti-p6.pdf
172 sats \ 0 comments \ @hn 28 Dec 2024 tech
Computing with Time: Microarchitectural Weird Machinescacm.acm.org/research-highlights/computing-with-time-microarchitectural-weird-machines/
11 sats \ 0 comments \ @hn 25 Nov 2024 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
Preserving a floppy disk with a logic analyzer and a serial cablewww.chzsoft.de/site/hardware/preserving-a-floppy-disk-with-a-logic-analyzer/
42 sats \ 0 comments \ @hn 6 Jul 2024 tech
Are we decentralized yet?arewedecentralizedyet.online/
247 sats \ 0 comments \ @hn 30 Aug tech
Writing an operating system kernel from scratchpopovicu.com/posts/writing-an-operating-system-kernel-from-scratch/
77 sats \ 0 comments \ @hn 14 Sep tech
From Pegasus to Predator – The evolution of commercial spyware on iOS [video]media.ccc.de/v/38c3-from-pegasus-to-predator-the-evolution-of-commercial-spyware-on-ios
11 sats \ 0 comments \ @hn 30 Dec 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
Expanding Racks [video]www.youtube.com/watch?v=iWknov3Xpts
10 sats \ 1 comment \ @hn 12 Jun 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
Sunset Geometry (2016)www.shapeoperator.com/2016/12/12/sunset-geometry/
24 sats \ 0 comments \ @hn 15 Mar tech
Tips on how to structure your home directory (2023)unixdigest.com/tutorials/tips-on-how-to-structure-your-home-directory.html
37 sats \ 0 comments \ @hn 19 Apr 2024 tech
Gemini CLI: your open-source AI agentblog.google/technology/developers/introducing-gemini-cli-open-source-ai-agent/
110 sats \ 3 comments \ @carter 25 Jun AI