🔍 Comby

Structural Search, Code Transformation, AST Matching, Refactoring Tools

Unleash Code Power: Graph-Based AI for Smarter Code Generation by Arvind Sundararajan
dev.to·2h·
Discuss: DEV
🎭Program Synthesis
Flag this post
Let Hypothesis Break Your Python Code Before Your Users Do
towardsdatascience.com·1d
🎲Property Testing
Flag this post
Rdza – Rust Programming, in Polish
github.com·1d·
Discuss: Hacker News
🎓Teaching Compilers
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·1d
🔗Category Theory
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.org·2d·
Discuss: Hacker News, r/rust
🔒Rust Borrowing
Flag this post
Show HN: Using GitHub Pages as zero-cost APT repository with global CDN
vejeta.com·1h·
Discuss: Hacker News
🔗Language Toolchains
Flag this post
I Used Claude Code to Debug a Nightmare
blendingbits.io·1h·
Discuss: Hacker News
🐛Interactive Debuggers
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·1d·
Discuss: Hacker News
🪜Recursive Descent
Flag this post
Turbo: Just another AUR helper.
reddit.com·1d·
Discuss: r/rust
🚂Cranelift Backend
Flag this post
Exhaustive Guide to Generative and Predictive AI in AppSec
qwiet.ai·1d·
Discuss: DEV
🛡️Taint Analysis
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·23h·
Discuss: Hacker News
🔬Nanopasses
Flag this post
Rouille – Rust Programming, in French
dev.to·1d·
Discuss: DEV
⚙️TOML Parsers
Flag this post
What are you doing this weekend?
lobste.rs·1d·
Discuss: Lobsters
💬Interactive REPLs
Flag this post
Speedrunning an RL Environment
sidb.in·8h·
Discuss: Hacker News
✨Gleam
Flag this post
Chibi Izumi: Phased dependency injection for TypeScript
github.com·18h·
Discuss: Hacker News
🪆Embedded DSLs
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·17h·
Discuss: Hacker News
🌳B+ Trees
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.com·1d·
Discuss: Hacker News
🌊Gradual Typing
Flag this post
wastrel, a profligate implementation of webassembly
wingolog.org·1d·
Discuss: Lobsters, Hacker News
🌐WASM Runtimes
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·1d·
Discuss: Lobsters, Hacker News
✅Type Checking
Flag this post
Vibe-Spec: Generate Specifications from Coding Agent Logs
marmelab.com·2d·
Discuss: Hacker News
🎭Program Synthesis
Flag this post