🔄 Continuations - abnv · Scour

Show HN: Kore – Stack based language where compiler is the reward function

github.com·1h·

Discuss: Hacker News

🚀Code Motion

What Functional Programmers Get Wrong About Systems

iankduncan.com·8h

🚂Error Propagation

Compound Engineering: Make Every Unit of Work Compound Into the Next

every.to·11h·

Discuss: Hacker News

🎭Program Synthesis

Lean 4 and the Curry–Howard correspondence

wildonblog.wordpress.com·10h

📜Proof Languages

What should I do if a wait call reports WAIT_ABANDONED?

devblogs.microsoft.com·14h

🪤Trap Handlers

Software's first act is over

maxim.usindic.us·7h

🏺Code Archeology

Relay Lang – Async first programming language

harrisonerd.com·6h·

Discuss: Hacker News

🌊Async Compilers

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

arxiv.org·1d

🚀Code Motion

I Wrote a Scheme in 2025

maplant.com·1d·

Discuss: Hacker News

Four Godot+Rust tricks

blog.lokkij.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

Automated Reasoning checks rewriting chatbot reference implementation

aws.amazon.com·9h

✅Type Checking

Writing a ledger-cli Language Server Protocol with claude

frdmtoplay.com·1d

🔒Rust Borrowing

Ruby Scripting Utilities

willhbr.net·1d

🔧Scheme Macros

docs.modular.com·7h

Vibe Coding for Scientists

vibe-coding-101-iota.vercel.app·1h

🎭Program Synthesis

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

github.com·9h

👑Dependent Haskell

Linker Script Generation for Firmware Projects: A Primer

dnedic.github.io·9h·

Discuss: Hacker News, r/embedded

🔗Language Toolchains

Introducing Composer 1.5

cursor.com·8h·

Discuss: Hacker News

📚Self-Documenting Code

Loading more...