🎯 Pattern Matching - abnv · Scour

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

arxiv.org·10h

🔄Subinterpreters

Ruby Scripting Utilities

willhbr.net·1d

🔧Scheme Macros

Weeknotes 2026-W06 › Project Pterodactyl: incremental architecture

jonmsterling.com·1d·

Discuss: Hacker News, r/Compilers

An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories

arxiv.org·3d

⚡Effect Handlers

Refactoring 038

dev.to·3d·

Discuss: DEV

🌈Gradual Languages

Rebuilding the spellchecker

zverok.space·1d

⚡Tokenizer Benchmarks

C++ Implementing a Chaos Game simulator

solarianprogrammer.com·1d

📚Self-Documenting Code

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

artima.com·1d

🗂️Type Indexing

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

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

dev.to·9h·

Discuss: DEV

chatprd.ai·22h

🎭Program Synthesis

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

gavinhoward.com·4d

🚂Error Propagation

Agentic Proof-Oriented Programming

risemsr.github.io·3d·

Discuss: Lobsters, Hacker News

Comparing accumulate to C++23s fold_left

meetingcpp.com·1d

Puzzle Potential

jhyde.itch.io·1d

🤐Zipper Structures

ERC-8004: A Trustless Agent Standard for On-Chain AI in Avalanche C-Chain

medium.com·1d

(50) Set-Roster vs Set-Builder notation

youtube.com·2d

llOOPy lOOPs (Dave Jarvis)

dave.autonoma.ca·3d

🤐Zipper Structures

Structured outputs on Amazon Bedrock: Schema-compliant AI responses

aws.amazon.com·2d

📋JSON Parsers

Loading more...