Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔶Lattice Theory
Flag this post
No Deus ex Machina
thestoicprogrammer.substack.com·23h·
Discuss: Substack
📚Forth Compilers
Flag this post
my journey to accepting that you wont know it all
blog.prdai.dev·11h·
Discuss: r/compsci, r/programming
🌈Gradual Languages
Flag this post
Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·11h
🧮Combinator Calculus
Flag this post
Common Coding Mistakes at Every Level (And How to Fix Them)
github.com·1d·
Discuss: DEV
🔧Error Recovery
Flag this post
Tool42: AI assisted Rust development tooling
dev.to·18h·
Discuss: DEV
🚂Cranelift Backend
Flag this post
My Open-Source Contribution - Working on TypeScript-ESLint
dev.to·3d·
Discuss: DEV
🚂Error Monads
Flag this post
AI Illustration for Educators: Creating Engaging Teaching Materials
sci-draw.com·2d·
Discuss: DEV
🌳Parser Visualization
Flag this post
Implementing Custom Autocomplete in VSCode
dganev.com·1d·
Discuss: Hacker News
🔄Incremental Lexing
Flag this post
Evolution Strategies at the Hyperscale
eshyperscale.github.io·2d·
Discuss: Hacker News
💬Interactive REPLs
Flag this post
On Cloudfare and Unwrap
reddit.com·1d·
Discuss: r/rust
⚙️TOML Parsers
Flag this post
September 2024 Progress in Guaranteed Safe AI
lesswrong.com·2d
🗺️Region Inference
Flag this post
People test Nano Banana with PDF paper to whiteboard. I did the exact opposite
quickchat.ai·10h·
Discuss: Hacker News
🗂️Term Indexing
Flag this post
The Sacrilegious Coder
dev.to·9h·
Discuss: DEV
📚Self-Documenting Code
Flag this post
<p>**Abstract:** This paper introduces a novel methodology for automated topology optimization within asymmetric Elllenberg-MacLeine spaces, targeting efficient...
freederia.com·22h
🔢Algebraic Datatypes
Flag this post
Vibe Coding a Compiler: From Natural Language to LLVM IR
medium.com·1d·
Discuss: Hacker News
🏗️LLVM
Flag this post
Trying Out C++26 Executors
mropert.github.io·12h·
Discuss: Lobsters, Hacker News
🔮Speculative Execution
Flag this post
Typechecking is undecideable when 'type' is a type
dspace.mit.edu·5d·
Discuss: Lobsters, Hacker News, r/programming
✅Type Checking
Flag this post
When AI Goes Wrong
whenaifail.com·23h·
Discuss: Hacker News
🛡️Error Ergonomics
Flag this post
Automating Documentation Maintenance with Prodigy: A Real-World Case Study
entropicdrift.com·1d·
Discuss: r/programming
📚Self-Documenting Code
Flag this post