From Lossy to Lossless Reasoning
๐ชRecursive Descent
Flag this post
Building a Vim-like Text Editor from Scratch in C
devlogs.xyzยท2d
๐Text Editors
Flag this post
Scalable Static Analysis Framework โ hardening large C++ codebases (LLVM/Apple)
๐ชProgram Slicing
Flag this post
Made a simple fine-tuning tool
๐Rope Editors
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
โจGleam
Flag this post
Building Up And Sanding Down
endler.devยท1d
๐งAPI Design
Flag this post
PDXScript tree-sitter
blog.birbpara.deยท9h
๐ฒTree-sitter
Flag this post
My first fifteen compilers (2019)
๐ฌNanopasses
Flag this post
Down with template (or not)!
cedardb.comยท1d
๐Template Compilers
Flag this post
Miniscript Studio - fulll IDE based on Miniscript Rust
delvingbitcoin.orgยท1d
๐งชMinicompilers
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.orgยท23h
๐Category Theory
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
๐Rust Borrowing
Flag this post
Building a Visual Diff System for AI Edits (Like Git Blame for LLM Changes)
๐Gradual Effects
Flag this post
Nim 2.2.6
๐ฌError Messages
Flag this post
Iโm writing another book!
๐Literate Programming
Flag this post
What are you doing this weekend?
๐ฌInteractive REPLs
Flag this post
Loading...Loading more...