Optuna f-string Refactoring
⬆️Lambda Lifting
Flag this post
Playing around with org-db-v3 and consult: vector search of my blog post Org files, with previews
sachachua.com·15h
⏱️Interval Archives
Flag this post
Hacking the Color BASIC PRINT command – part 5
subethasoftware.com·22h
📺VT100 Emulation
Flag this post
Grammarly has rebranded to Superhuman
engadget.com·1h
⚡Proof Automation
Flag this post
I built an faster Notion in Rust
🦀Rust Macros
Flag this post
Parsing: How Ruby Understands Your Code
patshaughnessy.net·2d
📝Concrete Syntax
Flag this post
ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
arxiv.org·12h
💻Programming languages
Flag this post
Using Claude Skills with Neo4j
towardsdatascience.com·22h
🕸️Neo4j
Flag this post
Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
✨Effect Handlers
Flag this post
Fil-C: A memory-safe C implementation
🧠Separation Logic
Flag this post
Experiences Working with Claude Code
🔄Language Evolution
Flag this post
My First Rust Project
binwang.me·1d
🦀Rust Macros
Flag this post
Opportunistic Mutation in Roc
📏Code Metrics
Flag this post
Loading...Loading more...