Building a Visual Diff System for AI Edits (Like Git Blame for LLM Changes)
🌊Gradual Effects
Flag this post
From Lossy to Lossless Reasoning
🪜Recursive Descent
Flag this post
What are you doing this weekend?
💬Interactive REPLs
Flag this post
Enhanced Knowledge Graph Reasoning via Multi-Modal Data Fusion and Automated Verification
⚖️Inference Rules
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
🔒Rust Borrowing
Flag this post
consult + org-db-v3: Approximate search of my sketches using text, and a multi-source consult command for approximately searching sketches and blog posts
sachachua.com·1d
💬Interactive REPLs
Flag this post
A unified cell atlas of vascular plants reveals cell-type foundational genes and accelerates gene discovery
cell.com·1d
🗺️Region Polymorphism
Flag this post
PDXScript tree-sitter
blog.birbpara.de·9h
🌲Tree-sitter
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
🔪Program Slicing
Flag this post
Roadmap for Improving the Type Checker
✅Type Checking
Flag this post
The extra time is worth it: Use Claude (or other AI or a mix of both) to create a comprehensive instruction set for what you are trying to accomplish instead of...
💬Interactive REPLs
Flag this post
RS-ORT: A Reduced-Space Branch-and-Bound Algorithm for Optimal Regression Trees
arxiv.org·2d
🪜Recursive Descent
Flag this post
Advances In Formal Verification Technology
semiengineering.com·1d
🧩SAT Solvers
Flag this post
Down with template (or not)!
cedardb.com·1d
📋Template Compilers
Flag this post
Pseudo-Knowledge Graphs for Better RAG
pub.towardsai.net·1d
🪢Rope Data Structures
Flag this post
Circular dependency check in Python
📦Dependency Analysis
Flag this post
Loading...Loading more...