🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🏹 Effect Systems

Algebraic Effects, Effect Handlers, Computational Effects, Pure Functions

Composable Effect Handling for Programming LLM-integrated Scripts
arxiv.org·1d
⚙️PL Implementation
2000 words about arrays and tables
buttondown.com·19h·
Discuss: Lobsters, Hacker News
💻CS
A Compute-Matched Re-Evaluation of TroVE on MATH
arxiv.org·4h
✓Automated Theorem Proving
How Kimi 2 Became One of the Best Tool-Using Models
dbreunig.com·12h·
Discuss: Hacker News
🤖Program Synthesis
The Math Is Haunted
overreacted.io·1d·
Discuss: Hacker News, r/javascript, r/programming
🎮Verification Games
A Periodic Table of System Design Principles
github.com·1d·
Discuss: Hacker News
⚙️Operating System Design
The Dartboard Sequence
mathpages.com·6h·
Discuss: Hacker News
🎮Verification Games
Revolutionary ECC-256 Key Recovery via Quantum Collapse Algorithm
quantumtopology.substack.com·11h·
Discuss: Substack
🐫OCaml
Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification
harmonic.fun·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Modelling Arbitrary Computations in the Symbolic Model using an Equational Theory for Bounded Binary Circuits
arxiv.org·1d
🔍Formal Verification
Explainability Through Systematicity: The Hard Systematicity Challenge for Artificial Intelligence
arxiv.org·4h
💻CS
Understanding ASTs
hypermod.io·1d·
Discuss: Hacker News
🔬Static Analysis
MethodHandles And Bad Benchmarks
github.com·1d·
Discuss: r/programming
👁️System Observability
From zero to RAG engineer: 1200 hours of lessons so you don't repeat my mistakes
bytevagabond.com·17m·
Discuss: Hacker News
🔄Reproducible Builds
RePaCA: Leveraging Reasoning Large Language Models for Static Automated Patch Correctness Assessment
arxiv.org·4h
🔬Static Analysis
Hask Is Not a Category
math.andrej.com·14h·
Discuss: Hacker News
➡️Category Theory
If the Goal Is Resiliency, Defensive Programming Is Your Enemy
jola.dev·12h·
Discuss: Hacker News
🛡️seL4
Analyzing and Evaluating the Behavior of Git Diff and Merge
arxiv.org·4h
🔄Reproducible Builds
Writing memory efficient structs in C
tomscheers.github.io·1d·
Discuss: Lobsters, Hacker News, r/C_Programming
🐫Embedded OCaml
Development with GenAI: Boardroom vs reality
pdole.ga·44m·
Discuss: r/programming
👁️System Observability
Loading...Loading more...
AboutBlogChangelogRoadmap