🌊 Async Compilers

Incremental Analysis, Background Compilation, Responsive Tooling, Streaming Parsers

SQLite Release 3.51.0
sqlite.org·5h·
Discuss: Hacker News
💾Minimal Databases
Flag this post
Exploring Thompson Sampling for model selection
sourcepilot.co·5h·
Discuss: Hacker News
🪜Recursive Descent
Flag this post
Learning Tractable Distributions Of Language Model Continuations
arxiv.org·2d
📊LR Parsing
Flag this post
I tested this minimalist Todoist alternative — and it made me actually finish my tasks
xda-developers.com·18h
🌊Gradual Effects
Flag this post
Grok 4.1 Fast's compelling dev access and Agent Tools API overshadowed by Musk glazing
venturebeat.com·2d
🌱Forth Kernels
Flag this post
Loading at Runtime: The Web Framework Everyone Wanted All Along
community.qbix.com·1d·
Discuss: Hacker News
🌐Browser Compilers
Flag this post
Using Claude Code with Obsidian
kyleygao.com·25m·
Discuss: Hacker News
📚Self-Documenting Code
Flag this post
Uncertainty Architecture: A Modern Approach to Designing LLM Applications
pub.towardsai.net·1d
🎮Language Ergonomics
Flag this post
Breaking News: OpenAI Rebrands to OpaqueAI
dev.to·17h·
Discuss: DEV
🥾Bootstrapping Strategies
Flag this post
Hands-On With Antigravity: Google’s Newest AI Coding Experiment
thenewstack.io·1d
⚡Live Coding
Flag this post
The open source project named fulling, and it's hit 1k stars
github.com·1d·
Discuss: Hacker News
📦Monorepos
Flag this post
The Machine Learning Roadmap
github.com·17h·
Discuss: Hacker News
🌱Minimal ML
Flag this post
Tech With Tim: I Built 3 Saas Apps in 30 Minutes with AI - Here's How
dev.to·1h·
Discuss: DEV
⚡Live Programming
Flag this post
lazyfile: a Rust TUI for managing files with rclone
reddit.com·23h·
Discuss: r/rust
🦀MIR Optimization
Flag this post
git-find pre commit hook/cli tool, AWS git-secrets replacement
reddit.com·18h·
Discuss: r/rust
🚂Cranelift IR
Flag this post
Open Source: My Path to Better Code
dev.to·6h·
Discuss: DEV
🎮Language Ergonomics
Flag this post
A Complete Guide to AI Coding Tools: Choosing the Right Tools Without the Hype
practicalsecurity.substack.com·2d·
Discuss: Substack
🎯99-Line Tools
Flag this post
I Built a Dungeon Crawler Game in Ruby (And It Actually Works)
dev.to·1d·
Discuss: DEV
🎪Playground Compilation
Flag this post
How to transition from a C to a Rust mindset?
reddit.com·12h·
Discuss: r/rust
⚙️TOML Parsers
Flag this post
<p>**Abstract:** This paper introduces a novel system for automating the formalization and verification of proofs within Homotopy Type Theory (HoTT). Leveraging...
freederia.com·1d
⚖️Inference Rules
Flag this post