Speedrunning an RL Environment
sidb.in·9h·
Discuss: Hacker News
⚔️Lean Tactics
Flag this post
Additive Models Explained: A Computational Complexity Approach
arxiv.org·19h
🧮Kolmogorov Complexity
Flag this post
Nonmonotonic Logic
cambridge.org·6h·
Discuss: Hacker News
🔬Logic in Computer Science
Flag this post
Understanding Type-Based Alias Analysis in C and C++
kdab.com·11h·
Discuss: Hacker News
🔒Type Safety
Flag this post
A hard rain's a-gonna fall: decoding JSON in Rust
bitfieldconsulting.com·10h
🔧Binary Parsers
Flag this post
Parsing: How Ruby Understands Your Code
patshaughnessy.net·23h
📝Concrete Syntax
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
YAML Tutorial: A Complete Language Guide with Examples
spacelift.io·2h·
Discuss: Hacker News
📝Concrete Syntax
Flag this post
How I built a movie suggestion app with zero ML experience
dev.to·7h·
Discuss: DEV
🎛️Feed Filtering
Flag this post
The Impossible Optimization, and the Metaprogramming to Achieve It
verdagon.dev·8h·
🧪Binary Fuzzing
Flag this post
HigherOrderCO/Bend2
github.com·1d
🔗Functional Compilers
Flag this post
Programming Languages as Languages (2014)
programmingzen.com·1d·
💻Programming languages
Flag this post
Infrastructure Should Be Inferred, Not Written (and LLMs Are Why)
ivan.codes·4h·
Discuss: Hacker News
🔒WASM Capabilities
Flag this post
10-26-building-the-rope-operation-for-tensorrent-hardware at Clehaxze
clehaxze.tw·14h
SIMD Vectorization
Flag this post
Turing Machine Visualization (2016)
turingmachine.io·1h·
Discuss: Hacker News
🎞️Tape Combinatorics
Flag this post
Recent Rust Changes
ncameron.org·3h·
🦀Rust Borrowing
Flag this post
We Programmers Need "Results"
rockyj-blogs.web.app·2d·
Discuss: Hacker News
📜Proof Carrying Code
Flag this post
The ORM for LLM
github.com·4h·
Discuss: Hacker News
📋Document Grammar
Flag this post
How to Use Zorn's Lemma
gowers.wordpress.com·1d·
Discuss: Hacker News
⚔️Lean Theorem
Flag this post