ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
arxiv.org·3d
🪜Recursive Descent
Flag this post
GHC 9.14.1-rc1 is now available
📏Linear Haskell
Flag this post
word2vec-style vector arithmetic on docs embeddings
🌙Lua
Flag this post
Fungus: The Befunge CPU(2015)
🌳B+ Trees
Flag this post
From Visibility to Verification: The Second Phase of AI Surface Governance
🔐Capability Calculus
Flag this post
Dependency Management in Database Design (aka handling import cycles in large Go projects)
📦Dependency Analysis
Flag this post
Three Meanings of Reference
📇Symbol Tables
Flag this post
How to Build Anomalous (3+1)d Topological Quantum Field Theories
arxiv.org·2d
🔗Category Theory
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
🔪Program Slicing
Flag this post
Friday 21 November - 11am
informatics.ed.ac.uk·1d
🔍ML Language
Flag this post
A Beginner’s Guide to Getting Started with add_messages Reducer in LangGraph
🌉Language Bridges
Flag this post
KCL part 1: units
ncameron.org·1d
🌱Tiny Languages
Flag this post
What I've been up to
🔄Bootstrapping
Flag this post
Let Hypothesis Break Your Python Code Before Your Users Do
towardsdatascience.com·15h
🎲Property Testing
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.com·1d
📚Stack Allocation
Flag this post
interpreter? hmm...
🎮Language Ergonomics
Flag this post
Loading...Loading more...