🔍 Refinement Types - abnv · Scour

The Condensate Theorem: Transformers are O(n), Not $O(n^2)$

arxiv.org·15h

🔍ML Language

SEAL: Symbolic Execution with Separation Logic (Competition Contribution)

arxiv.org·3d

🎯Symbolic Execution

Building a “Bflix-Style” Streaming Backend with Python (FastAPI + Async Magic)

dev.to·15h·

Discuss: DEV

📮Message Queues

Weeknotes 2026-W06 › Project Pterodactyl: incremental architecture

jonmsterling.com·2d·

Discuss: Hacker News, r/Compilers

Why Learning Elixir (and programming) Still Matters in the AI Era

dev.to·5h·

Discuss: DEV

🎭Program Synthesis

On Linguistic Precision

blog.firedrake.org·2d

🧪Parser Testing

Clojure’s Persistent Data Structures: Immutability Without the Performance Hit

javacodegeeks.com·4d

🌳Persistent Data

Making Pyrefly Diagnostics 18x Faster

pyrefly.org·3d·

Discuss: Hacker News

💬Interactive REPLs

A Quick Introduction to OxCaml

noelwelsh.com·5d·

Discuss: Hacker News

Chasing a Zig AVR Segfault Down to LLVM

sourcery.zone·2d·

Discuss: r/Zig

💬Error Messages

Code only says what it does

brooker.co.za·1d·

Discuss: Hacker News

📚Self-Documenting Code

Tip of the Week #99: Nonmember Interface Etiquette

abseil.io·1d

🌉Language Bindings

Should small Rust structs be passed by-copy or by-borrow?

forrestthewoods.com·1d

🔒Rust Borrowing

Production pain points and coordination patterns from building a dual-orchestrator (Claude + Kimi) system on Claude Code. 8 failure modes with specs and invariants.

gist.github.com·1d·

Discuss: Hacker News

📋Task Queues

Using Rust to Delete Gitignored Cruft

forrestthewoods.com·1d

🔒Rust Borrowing

Show HN: A Prompting Framework for Non-Vibe-Coders

github.com·1d·

Discuss: Hacker News

💬Interactive REPLs

The Spec Problem, Part 2: Dialectical Refinement

blog.gorewood.games·4d

🎭Program Synthesis

Jacob Boxerman - Declarative, Reproducible Emacs with straight.el and use-package

jakebox.github.io·2d·

Discuss: Lobsters, Hacker News

⚙️TOML Parsers

Kadajett/blECSd: A modern typescript rewrite of blessed, with dozens of modern features, a strict functional architecture, and bitECS as a backend for a fully composable API. Not just for games either! ;)

github.com·2d·

Discuss: Hacker News, r/javascript

💬Smalltalk VMs

Tip of the Week #101: Return Values, References, and Lifetimes

abseil.io·1d

🔗Weak References

Loading more...