🎯 Pattern Matching - abnv · Scour

Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set

arxiv.org·3d

🔒Rust Borrowing

An API for deterministic procedural generation (same seed = same output)

goldenseed-api.vercel.app·21h·

Discuss: r/proceduralgeneration

🎲Test Generators

Ruby Scripting Utilities

willhbr.net·1d

🔧Scheme Macros

Stop the Flip-Flop: Context-Preserving Verification for Fast Revocable Diffusion Decoding

arxiv.org·12h

🔄Subinterpreters

Weeknotes 2026-W06 › Project Pterodactyl: incremental architecture

jonmsterling.com·2d·

Discuss: Hacker News, r/Compilers

Refactoring 038

dev.to·3d·

Discuss: DEV

🌈Gradual Languages

Rebuilding the spellchecker

zverok.space·1d

⚡Tokenizer Benchmarks

On the Tension Between Object-Oriented and Generic Programming in C++

artima.com·1d

🗂️Type Indexing

C++ Implementing a Chaos Game simulator

solarianprogrammer.com·1d

📚Self-Documenting Code

gharasathi (घरासाठी) — A Privacy-First Household AI Running on a $200 Mini PC

amazon.com.au·1d·

Discuss: DEV

💬Smalltalk VMs

Performance Tip of the Week #83: Reducing memory indirections

abseil.io·1d

💾Cache Algorithms

feldera/feldera: The Feldera Incremental Computation Engine

github.com·2d

🚂Cranelift IR

Podcast: [Video Podcast] Improving Valkey with Madelyn Olson

infoq.com·6h

📡Protocol Buffers

I built a “deterministic” LLM text rephraser with a validation pipeline - looking for architectural feedback

dev.to·10h·

Discuss: DEV

Anthropics Compiler Challenge

corsix.org·1d

🚀Code Motion

chatprd.ai·1d

🎭Program Synthesis

🎲 Piecemeal Formal Verification: Cloudflare, Java Exceptions, and Rust Mutexes

gavinhoward.com·4d

🚂Error Propagation

Comparing accumulate to C++23s fold_left

meetingcpp.com·1d

Agentic Proof-Oriented Programming

risemsr.github.io·3d·

Discuss: Lobsters, Hacker News

Show HN: C-CMCP – Validated AI development workflow with quality gates

news.ycombinator.com·1h·

Discuss: Hacker News

🎭Program Synthesis

Loading more...