A catalog of side effects
bernsteinbear.com·1d·
Discuss: Lobsters, Hacker News
✨Effect Handlers
Flag this post
Template Interpreters
zackoverflow.dev·8h·
Discuss: Hacker News
🏗️Compiler Archaeology
Flag this post
What's New in F# 10
learn.microsoft.com·12h·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Building a Hypercube Interpolator (in Rust)
jlogan.dev·7h·
Discuss: Hacker News
🔩Systems Programming
Flag this post
Haiku Activity & Contract Report, October 2025
haiku-os.org·5h
🖥️Terminal Renaissance
Flag this post
Carmack on inlined code and functional programming
cbarrete.com·1d·
Discuss: Hacker News
✨Effect Handlers
Flag this post
Linux kernel patch from Thomas Gleixner improves Postgres benchmark by 15%
lore.kernel.org·1d·
Discuss: Hacker News
⚡Cache Coherence
Flag this post
RESTL: Reinforcement Learning Guided by Multi-Aspect Rewards for Signal Temporal Logic Transformation
arxiv.org·4h
⏰Temporal Logic
Flag this post
Pushing Past the First Error During Type Inference
thunderseethe.dev·2d
🦀Rust Verification
Flag this post
Ship Faster with Confidence: A 6-Step AI-Assisted Dev Pipeline
dev.to·1d·
Discuss: DEV
🔄Reproducible Builds
Flag this post
Two security issues discovered in sudo-rs, a Rust-based implemention of sudo
lists.debian.org·10h·
Discuss: Hacker News
🦀Rust Borrowing
Flag this post
Vibe Code Warning – from 1k to 10k lines, a personal casestudy
github.com·1d·
Discuss: Lobsters
🔍RISC-V Debug
Flag this post
Don’t Fight the Weights
dbreunig.com·16h
⚡Proof Automation
Flag this post
The Gem in S/SL: Why Dataless Languages Matter
programmingsimplicity.substack.com·2d·
Discuss: Substack
💻Programming languages
Flag this post
C# 14 Language Features in ReSharper and Rider 2025.3
blog.jetbrains.com·17h·
Discuss: Hacker News
✨Effect Handlers
Flag this post
Welcome to DataHaskell
datahaskell.org·10h·
Discuss: Hacker News
🔗Functional Compilers
Flag this post
Generalized Security-Preserving Refinement for Concurrent Systems
arxiv.org·1d
🌳Archive Merkle Trees
Flag this post
Announcing .NET 10
devblogs.microsoft.com·17h·
Discuss: Lobsters, Hacker News, r/programming
🔌Interface Evolution
Flag this post
lzhoang2801/OpCore-Simplify
github.com·1d
🔌Operating system internals
Flag this post
Collapse OS – Why Forth?
collapseos.org·20h·
Discuss: Hacker News
🔗Concatenative Programming
Flag this post