🔄 Continuations - abnv · Scour

What Functional Programmers Get Wrong About Systems

iankduncan.com·4h

🚂Error Propagation

Lean 4 and the Curry–Howard correspondence

wildonblog.wordpress.com·6h

📜Proof Languages

What should I do if a wait call reports WAIT_ABANDONED?

devblogs.microsoft.com·10h

🪤Trap Handlers

Just-in-Time Ontological Reframing: Teaching Gemini to Route Around Its Own Safety Infrastructure

recursion.wtf·5h

🔄Subinterpreters

Relay Lang – Async first programming language

harrisonerd.com·2h·

Discuss: Hacker News

🌊Async Compilers

Same Engine, Multiple Gears: Parallelizing Fixpoint Iteration at Different Granularities (Extended Version)

arxiv.org·20h

🚀Code Motion

I Wrote a Scheme in 2025

maplant.com·1d·

Discuss: Hacker News

Four Godot+Rust tricks

blog.lokkij.com·1d

🔒Rust Borrowing

Ruby Scripting Utilities

willhbr.net·1d

🔧Scheme Macros

Writing a ledger-cli Language Server Protocol with claude

frdmtoplay.com·1d

🔒Rust Borrowing

Build a Compiler in Five Projects

kmicinski.com·2d

🎭Racket Modules

Beautiful Perl feature: BLOCKs

dev.to·2d·

Discuss: DEV

🔗Lexical Scoping

Introducing Composer 1.5

cursor.com·4h·

Discuss: Hacker News

📚Self-Documenting Code

docs.modular.com·3h

Automated Reasoning checks rewriting chatbot reference implementation

aws.amazon.com·5h

✅Type Checking

Linker Script Generation for Firmware Projects: A Primer

dnedic.github.io·5h·

Discuss: Hacker News, r/embedded

🔗Language Toolchains

plrg-bristol/advanced-haskell-2026: Resources for the 2026 Advanced Haskell seminar series at Bristol

github.com·5h

👑Dependent Haskell

Extracting Xcode's Claude Code Prompt

jackpearce.co.uk·2d·

Discuss: Hacker News

⚡Incremental Parsing

Fragments: February 9

martinfowler.com·5h

🎨Domain-Specific Languages

brynary/attractor: Full implementation of StrongDM Attractor specs in TypeScript

github.com·1d·

Discuss: Hacker News

Loading more...