Finally organising my library: Obsidian Bases + NAS, first a book gallery with calibre/readera, later add research papers and zotero
🏠indieweb
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·2d
🔗Category Theory
Flag this post
So I made a Full-stack coding framework at 16 years old called ScrollForge: Causal Graph Programming which unifies state, logic, and style in one causal graph.
🌊Reactive Languages
Flag this post
Interfacing assembly with BASIC via DEFUSR, part 7
subethasoftware.com·2d
⚙️Assembly
Flag this post
Compile from a git repo but make changes
🤖Embedded Go
Flag this post
Async/Await is finally back in Zig
📡Async Channels
Flag this post
Evaluating LLMs with LangSmith: A Comprehensive Guide
analyticsvidhya.com·1d
🧪Parser Testing
Flag this post
Unleash Code Power: Graph-Based AI for Smarter Code Generation by Arvind Sundararajan
🎭Program Synthesis
Flag this post
GHC 9.14.1-rc1 is now available
📏Linear Haskell
Flag this post
Growing explanations together
clojurecivitas.github.io·1d
🔄Bootstrapping
Flag this post
Vibecoding my way to a crit on GitHub
🌳Tree Shaking
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.com·2d
📚Stack Allocation
Flag this post
Rdza – Rust Programming, in Polish
🎓Teaching Compilers
Flag this post
Exploring PKM concepts
nhlism.bearblog.dev·1d
🌙Lua
Flag this post
Learning Rust from C and C++
🦀Rust Macros
Flag this post
Loading...Loading more...