The Impossible Optimization, and the Metaprogramming to Achieve It
verdagon.dev·4h·
Discuss: Lobsters, Hacker News, r/programming
🧪Binary Fuzzing
Flag this post
Learning Regular Languages with RPNI Algorithm
rahul.gopinath.org·1d·
Discuss: Hacker News
📐Format Grammars
Flag this post
HigherOrderCO/Bend2
github.com·1d
🔗Functional Compilers
Flag this post
A moonlit week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
λLambda Encodings
Flag this post
Infrastructure Should Be Inferred, Not Written (and LLMs Are Why)
ivan.codes·55m·
Discuss: Hacker News
🔒WASM Capabilities
Flag this post
Unsplittable Cost Flows from Unweighted Error-Bounded Variants
arxiv.org·16h
🧮Algebraic Datatypes
Flag this post
10-26-building-the-rope-operation-for-tensorrent-hardware at Clehaxze
clehaxze.tw·11h
⚡SIMD Vectorization
Flag this post
Concrete types yield better maintainability
alejo.ch·2d·
Discuss: Hacker News, r/programming
🔗Dependently Typed
Flag this post
A bestiary of single-file programming language implementations
github.com·22h·
Discuss: Hacker News
🔗Concatenative Programming
Flag this post
The Art and Discipline of Prompt Engineering
cacm.acm.org·2h
⚡Proof Automation
Flag this post
Speedrunning an RL Environment
sidb.in·6h·
Discuss: Hacker News
⚔️Lean Tactics
Flag this post
Five LLM Tricks for Data Pipelines
presentofcoding.substack.com·7h·
Discuss: Substack
🔗Constraint Handling
Flag this post
How to Use Zorn's Lemma
gowers.wordpress.com·1d·
Discuss: Hacker News
⚔️Lean Theorem
Flag this post
Lore Laundering Machines - by Ben Recht - arg min
argmin.net·14h
🎯Performance Proofs
Flag this post
An adaptable toolkit to build APIs and agents, with friendly interfaces for streaming, multimodality and integrations
dev.to·4h·
Discuss: DEV
🌊Streaming Systems
Flag this post
Using ChatGPT Atlas Agent Mode To Solve LeetCode Problems
blog.codeminer42.com·5h
⚙️Proof Engineering
Flag this post
Nonmonotonic Logic
cambridge.org·2h·
Discuss: Hacker News
🔬Logic in Computer Science
Flag this post
Clojure Runs ONNX AI Models Now - Join the AI fun!
dragan.rocks·1d·
Discuss: Hacker News
🌳Context free grammars
Flag this post
Concurrency Step-by-Step: Conforming to Protocols
massicotte.org·19h·
Discuss: Hacker News
🔬Refinement Types
Flag this post
Paillier Cryptosystem
en.wikipedia.org·6h·
Discuss: Hacker News
🔐Homomorphic Encryption
Flag this post