The Impossible Optimization, and the Metaprogramming to Achieve It
verdagon.dev·16h·
Discuss: Lobsters, Hacker News, r/programming
🧪Binary Fuzzing
Flag this post
My First Rust Project
binwang.me·3h
🦀Rust Macros
Flag this post
Concurrency Step-by-Step: Conforming to Protocols
massicotte.org·1d·
Discuss: Hacker News
🔬Refinement Types
Flag this post
Parsing: How Ruby Understands Your Code
patshaughnessy.net·1d
📝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
Making asm.js/WebAssembly compilation more parallel in Firefox
bouvier.cc·12h
🏗️Compiler Archaeology
Flag this post
Recent Rust Changes
ncameron.org·11h·
Discuss: Lobsters, Hacker News, r/rust
🦀Rust Borrowing
Flag this post
HigherOrderCO/Bend2
github.com·2d
🔗Functional Compilers
Flag this post
The Mirror Loop: Recursive Non-Convergence in Generative Reasoning Systems
arxiv.org·3h
🔗Parser Combinators
Flag this post
Concrete types yield better maintainability
alejo.ch·2d·
Discuss: Hacker News, r/programming
🔗Dependently Typed
Flag this post
JS/TS Functions Orchestrator
github.com·19h·
Discuss: Hacker News
🔗Concatenative Programming
Flag this post
A moonlit week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
λLambda Encodings
Flag this post
Goodbye Guesswork: Code Generation That Knows What It Doesn't Know
dev.to·1d·
Discuss: DEV
⚔️Lean Tactics
Flag this post
We Programmers Need "Results"
rockyj-blogs.web.app·2d·
Discuss: Hacker News
📜Proof Carrying Code
Flag this post
Understanding Type-Based Alias Analysis in C and C++
kdab.com·19h·
Discuss: Hacker News
🔒Type Safety
Flag this post
10-26-building-the-rope-operation-for-tensorrent-hardware at Clehaxze
clehaxze.tw·22h
⚡SIMD Vectorization
Flag this post
"use workflow": Understanding Directives
useworkflow.dev·11h·
Discuss: Hacker News
🐚Shell Monads
Flag this post
Modern Perfect Hashing
blog.sesse.net·18h·
Discuss: Hacker News
🧪Binary Fuzzing
Flag this post
Unsplittable Cost Flows from Unweighted Error-Bounded Variants
arxiv.org·1d
🧮Algebraic Datatypes
Flag this post
GSoC '25: Parallel Macro Expansion
lorrens.me·1d·
Discuss: r/rust
🦀Rust Macros
Flag this post