Learning Regular Languages with RPNI Algorithm
rahul.gopinath.org·18h·
Discuss: Hacker News
📐Format Grammars
Flag this post
Unsplittable Cost Flows from Unweighted Error-Bounded Variants
arxiv.org·9h
🧮Algebraic Datatypes
Flag this post
HigherOrderCO/Bend2
github.com·1d
🔗Functional Compilers
Flag this post
A moonlit week
blog.mitrichev.ch·19h·
Discuss: blog.mitrichev.ch
λLambda Encodings
Flag this post
Concrete types yield better maintainability
alejo.ch·1d·
Discuss: Hacker News, r/programming
🔗Dependently Typed
Flag this post
10-26-building-the-rope-operation-for-tensorrent-hardware at Clehaxze
clehaxze.tw·4h
⚡SIMD Vectorization
Flag this post
A bestiary of single-file programming language implementations
github.com·15h·
Discuss: Hacker News
🔗Concatenative Programming
Flag this post
Five LLM Tricks for Data Pipelines
presentofcoding.substack.com·20m·
Discuss: Substack
🔗Constraint Handling
Flag this post
How to Use Zorn's Lemma
gowers.wordpress.com·17h·
Discuss: Hacker News
⚔️Lean Theorem
Flag this post
Lore Laundering Machines - by Ben Recht - arg min
argmin.net·7h
🎯Performance Proofs
Flag this post
AgentKit: How Efficient Laziness Fixes Fragile LLM Workflows
dev.to·4h·
Discuss: DEV
⚙️Proof Engineering
Flag this post
Devlog: UCL - Adding Some Missing Library Functions
lmika.org·1h
🧠Lisp Dialects
Flag this post
Clojure Runs ONNX AI Models Now - Join the AI fun!
dragan.rocks·21h·
Discuss: Hacker News
🌳Context free grammars
Flag this post
Concurrency Step-by-Step: Conforming to Protocols
massicotte.org·12h·
Discuss: Hacker News
🔬Refinement Types
Flag this post
Understanding Type-Based Alias Analysis in C and C++
kdab.com·1h·
Discuss: Hacker News
🔒Type Safety
Flag this post
Typoglycemia under the Hood: Investigating Language Models' Understanding of Scrambled Words
arxiv.org·9h
🔗Concatenative Languages
Flag this post
Claude, Teach Me Something
hugotunius.se·1d
🤖Grammar Induction
Flag this post
We Programmers Need "Results"
rockyj-blogs.web.app·2d·
Discuss: Hacker News
📜Proof Carrying Code
Flag this post
The End of Shouting: Prompts as Programs in GPT-5
robert-glaser.de·18h·
Discuss: Lobsters, Hacker News
✓Automated Theorem Proving
Flag this post
On Having a Data Object
natemeyvis.com·1h·
Discuss: Hacker News
🗄️Database Internals
Flag this post