Beyond Bézier
beyondbezier.ch·42m·
Discuss: Hacker News
📖Nordic Typography
R-ConstraintBench: Evaluating LLMs on NP-Complete Scheduling
arxiv.org·1d
🧮SMT Solvers
Improvements to OCaml code editing: the basics of a refactor engine
tarides.com·2d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
A string formatting library in 65 lines of C++
riki.house·13h·
Discuss: Lobsters, Hacker News
✅Format Verification
LLMs Won't Replace Programming Languages
mech-lang.org·1d·
Discuss: Hacker News
🗣️Domain-Specific Languages
how to decide on the sequence of computable numbers
academia.edu·2d·
Discuss: Hacker News, r/programming
🎞️Tape Combinatorics
"Python for Those Who Cannot Even", a Book by Claude Code
github.com·1d·
Discuss: Hacker News
📝Concrete Syntax
Do I need a Lisp Machine comeback?
far.chickenkiller.com·22h·
Discuss: Hacker News
🦀Rust Macros
Vif, a new webframework for OCaml 5
discuss.ocaml.org·1d·
Discuss: Hacker News
📝ABNF Parsing
Subinterpreters and Asyncio
blog.changs.co.uk·2d·
Discuss: Hacker News
🦀Rust Macros
Rewriting Modulo Traced Comonoid Structure
arxiv.org·2d
🔄Graph Rewriting
Cracking the Density Code: Why MAF Flows Where KDE Stalls
towardsdatascience.com·17h
🔗Tailscale
Equi-mRNA: Protein Translation Equivariant Encoding for mRNA Language Models
arxiv.org·1d
🔗Functional Compilers
Benchmarking Computer Science Survey Generation
arxiv.org·1d
⚙️Compression Benchmarking
LLMs are NOT Turing Complete (at train time), we need "train time recurrence"
fchaubard.github.io·7h·
Discuss: Hacker News
📼Tape Combinators
Zero Context Exhaustion: Building Production-Ready AI Coding Teams with Claude Code Sub-agents
dev.to·8h·
Discuss: DEV
✨Effect Handlers
Semcheck: Spec-Driven Development Using LLMs
labs.rejot.dev·18h·
Discuss: Hacker News
⚡Proof Automation
Epistemology of Language and Space: An Introduction
energeia-online.org·1d·
Discuss: Hacker News
🎵Music Universality
Lets See What We Can do! with F# Computation Expressions • Andrew Browne • YOW! 2015
youtube.com·4d
🔗Lisp
Hydra: A 1.6B-Parameter State-Space Language Model with Sparse Attention, Mixture-of-Experts, and Memory
arxiv.org·1d
🧮Theoretical Computer Science