🌊 Gradual Effects - abnv · Scour

Leveraging Mutation Analysis for LLM-based Repair of Quantum Programs

arxiv.org·17h

📡Erlang BEAM

Type-safe eval in Grace

haskellforall.com·1d·

Discuss: Lobsters, Hacker News

✅Type Checking

Implementing Dino from Scratch

logits.bearblog.dev·16h·

Discuss: Hacker News

🔄Bootstrapping

Conversation: LLMs and the what/how loop

martinfowler.com·7h

🔀Control Structures

Randomization in Typst

idraluna-archives.bearblog.dev·2h

🎲Parser Fuzzing

#1 - Spot Problems Before Reading Any Code

dev.to·1h·

Discuss: DEV

💬Error Messages

Soundness bugs in Rust libraries: can't live with 'em, can't live without 'em

docs.rs·6h·

Discuss: Hacker News

🔒Rust Borrowing

Building a Self-Healing Data Pipeline That Fixes Its Own Python Errors

towardsdatascience.com·8h

🔧Error Recovery

jhgarner/Theseus: An experimental and still heavily in progress Haskell effect system library supporting coroutines and higher order effects.

github.com·1d

⚡Algebraic Effects

Evolution of LLMs use by a programmer

asfaload.com·5h·

Discuss: Hacker News

🎮Language Ergonomics

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·22h·

Discuss: Hacker News

🧮Theorem Provers

Ensure correctness by changing when the first failure occurs

doliver.org·2d·

Discuss: Hacker News

🚂Error Propagation

Alexis King’s Blog

lexi-lambda.github.io·2d

🗂️Type Indexing

Scaling Interaction, Not Parameters: A Hands-On Guide to MiroThinker 1.5

dev.to·13h·

Discuss: DEV

🦀MIR Optimization

Constraints Not Loops: Building Features in Reverse

coey.dev·22h

🔗Parser Combinators

An AI Skill for Skeptical Dependency Management

nesbitt.io·22h

🌳Tree Shaking

Making an LSP for great good

thunderseethe.dev·22h·

Discuss: Lobsters, Hacker News

Trying Zig by Implementing CHIP-8

agentultra.com·19h

Unexpected Benefits From Shrinking My Pull Requests

denvaar.dev·19h

🌳Tree Shaking

Functional Logic Program Transformations

arxiv.org·17h

🏭Functional Compilers

Loading more...