In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·3h·
Discuss: Substack
🦀Rust Macros
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
The Guide to the Foundation Models Framework
azamsharp.com·4h·
Discuss: Hacker News
λLambda Formalization
Program Synthesis is Interesting and Open
stephendiehl.com·3d·
Discuss: Hacker News
🦀Rust Macros
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.org·1d
⚖️Hoare Logic
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·14h
🔗Topological Sorting
Threaded Code
muforth.dev·7h·
Discuss: Hacker News
🦀Rust Macros
LFCS Seminar Tuesday 8th July: John Longley
informatics.ed.ac.uk·2d
🧬Functional Programming
On Union-Closedness of Language Generation
arxiv.org·1d
🔗Monadic Parsing
Programming Entry Level: how to interpreter
dev.to·18h·
Discuss: DEV
🔗Lisp
Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
arxiv.org·1d
💻Local LLMs
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures
Algorithm Complexity: Time, Space, and Big-O Notation
dev.to·8h·
Discuss: DEV
🧮Kolmogorov Complexity
Why Dyad?: A Perspective for Modelica Users
juliahub.com·3h·
Discuss: Hacker News
💧Liquid Types
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·14h
🔍Concolic Testing
AsmJit: Lightweight C++ library for low-latency machine code generation
asmjit.com·17h·
Discuss: Hacker News
🦀Rust Macros
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.com·6h·
Discuss: Hacker News
🔗Constraint Handling
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
Cactus Language • Syntax 12
inquiryintoinquiry.com·2h
📝Concrete Syntax
Re-Evaluating Code LLM Benchmarks Under Semantic Mutation
arxiv.org·1d
📏Code Metrics