🔄 Continuations - abnv · Scour

What should I do if a wait call reports WAIT_ABANDONED?

devblogs.microsoft.com·8h

🪤Trap Handlers

Lean 4 and the Curry–Howard correspondence

wildonblog.wordpress.com·4h

📜Proof Languages

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

recursion.wtf·3h

🔄Subinterpreters

Relay Lang – Async first programming language

harrisonerd.com·29m·

Discuss: Hacker News

🌊Async Compilers

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

arxiv.org·18h

🚀Code Motion

I Wrote a Scheme in 2025

maplant.com·23h·

Discuss: Hacker News

Four Godot+Rust tricks

blog.lokkij.com·1d

🔒Rust Borrowing

Ruby Scripting Utilities

willhbr.net·1d

🔧Scheme Macros

Build a Compiler in Five Projects

kmicinski.com·2d

🎭Racket Modules

Beautiful Perl feature: BLOCKs

dev.to·2d·

Discuss: DEV

🔗Lexical Scoping

Writing a ledger-cli Language Server Protocol with claude

frdmtoplay.com·1d

🔒Rust Borrowing

Introducing Composer 1.5

cursor.com·2h·

Discuss: Hacker News

📚Self-Documenting Code

docs.modular.com·1h

Automated Reasoning checks rewriting chatbot reference implementation

aws.amazon.com·4h

✅Type Checking

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

github.com·3h

👑Dependent Haskell

Linker Script Generation for Firmware Projects: A Primer

dnedic.github.io·4h·

Discuss: Hacker News, r/embedded

🔗Language Toolchains

Extracting Xcode's Claude Code Prompt

jackpearce.co.uk·1d·

Discuss: Hacker News

⚡Incremental Parsing

Fragments: February 9

martinfowler.com·4h

🎨Domain-Specific Languages

Tip of the Week #165: <code>if</code> and <code>switch</code> statements with initializers

abseil.io·2d

🔗Lexical Scoping

powerdevbox.com·16h·

Discuss: DEV

💬Interactive REPLs

Loading more...