pull down to refresh

Category Theory Illustrated: Logic(2021)abuseofnotation.github.io/category-theory-illustrated/05_logic/
110 sats \ 0 comments \ @hn 25 Oct 2024 tech
related
ThreadPlotter – toolkit for punch needle embroidery with X-Y plotters (2020)github.com/LiciaHe/threadPlotter
21 sats \ 0 comments \ @hn 16 Aug 2024 tech
OpenMPTCProuter: Aggregate and encrypt multiple internet connections using MPTCPwww.openmptcprouter.com/
11 sats \ 0 comments \ @hn 23 Nov 2024 tech
Ghosts in the ROM (2012)www.nycresistor.com/2012/08/21/ghosts-in-the-rom/
32 sats \ 0 comments \ @hn 26 Jun 2024 tech
Kimi K1.5: Scaling Reinforcement Learning with LLMsgithub.com/MoonshotAI/Kimi-k1.5
14 sats \ 0 comments \ @hn 21 Jan 2025 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
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
Matters Computational Ideas, Algorithms, Source Code – Jorg Arndt [pdf]www.jjj.de/fxt/fxtbook.pdf
85 sats \ 0 comments \ @hn 7 Mar 2025 tech
Introduction to Bash Scriptinggithub.com/bobbyiliev/introduction-to-bash-scripting
148 sats \ 0 comments \ @hn 17 Jul 2024 tech
Atari Means Business with the Mega STwww.goto10retro.com/p/atari-means-business-with-the-mega
57 sats \ 0 comments \ @hn 1 Jun 2025 tech
The Deck: An Open-Source Cross-Platform Multiplayer Card Game Engine in Fluttergithub.com/xajik/thedeck
9 sats \ 0 comments \ @hn 8 Feb 2025 tech
Palette lighting tricks on the Nintendo 6430fps.net/pages/palette-lighting-tricks-n64/
10 sats \ 0 comments \ @hn 17 May 2025 tech
Conway's Game of Life, in checkboxes for some reasonhuth.me/checkbox-life/
51 sats \ 0 comments \ @hn 28 Jun 2024 tech
Isometric Projection in Game Developmentpikuma.com/blog/isometric-projection-in-games
20 sats \ 0 comments \ @hn 12 Aug 2024 tech
Understanding Memory Management, Part 2: C++ and RAIIeducatedguesswork.org/posts/memory-management-2/
10 sats \ 0 comments \ @hn 9 Mar 2025 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 2025 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
Honey, I shrunk {fmt}: bringing binary size to 14k and ditching the C++ runtimevitaut.net/posts/2024/binary-size/
21 sats \ 0 comments \ @hn 1 Sep 2024 tech
Obituary for Cyc the greatest monument to logical AGIyuxi-liu-wired.github.io/essays/posts/cyc/
33 sats \ 0 comments \ @carter 8 Apr 2025 AI
Intent as Hole: Lambda Calculus, LISP, and the Topology of Actionbeyondturbulence.blogspot.com/2025/10/intent-as-hole-lambda-calculus-lisp-and.html?m=1
136 sats \ 0 comments \ @beyond_turbulence 22 Oct 2025 AI
IRAC as a Topological Manifold: A White Paper on Structured Legal Reasoningbeyondturbulence.blogspot.com/p/irac-as-topological-manifold-white.html?m=1
36 sats \ 0 comments \ @beyond_turbulence 13 Oct 2025 Politics_And_Law
Logica – Declarative logic programming language for datalogica.dev/
38 sats \ 0 comments \ @Rsync25 17 Nov 2024 devs