Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·2d
🔗Category Theory
Flag this post
Linux/WASM
🌐WASM Runtimes
Flag this post
Never forget how to delegate. This is the easiest framework for engineers.
read.highgrowthengineer.com·6h
🎮Language Ergonomics
Flag this post
JetBrains ReSharper for Visual Studio
🚚Code Migration
Flag this post
A Beginner’s Guide to Getting Started with add_messages Reducer in LangGraph
🌉Language Bridges
Flag this post
Looking for open-source models that can make music from lyrics (to run locally)
🏠indieweb
Flag this post
Fungus: The Befunge CPU(2015)
🌳B+ Trees
Flag this post
Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
🧪Compiler Testing
Flag this post
Toward a Compressed Core of Human Knowledge: The High-Dimensional Vector Network for AI
🤖Abstract Machines
Flag this post
Strands Multi-Agent Systems: Graph
🕸️Graph Algorithms
Flag this post
onedraw — a GPU-driven 2D renderer
🗑️Garbage Collection
Flag this post
Loading...Loading more...