🐿️ 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

Helpful function to find memory leaks in JavaScript
news.ycombinator.com·1d·
Discuss: Hacker News
🍎Apple
Book review: A New Kind of Science (2005)
bactra.org·2d·
Discuss: Hacker News
💻CS
Rails API Throttling: Handling Multiple Endpoints with Different Limits
prateekcodes.dev·11h·
Discuss: Hacker News
🌐NetworkProtocols
AI Models for Pokemon Games
kevinlu.ai·1d·
Discuss: Hacker News
🎮Verification Games
Regular Expression Matching Can Be Simple and Fast (2007)
swtch.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Vibe Coding Casino: Rise of programming by slot machine
evrim.zone·18h·
Discuss: Lobsters, Hacker News
💾Retro Computing
Constraint Hypergraphs as a Unifying Framework for Digital Twins
arxiv.org·2d
🧱Immutable Infrastructure
An order-theoretic circuit syntax and characterisation of the concept lattice
arxiv.org·2d
➡️Category Theory
Probability-Raising Causality for Uncertain Parametric Markov Decision Processes with PAC Guarantees
arxiv.org·7h
✓Automated Theorem Proving
Incorporating Interventional Independence Improves Robustness against Interventional Distribution Shift
arxiv.org·2d
✓Automated Theorem Proving
SpatialViz-Bench: Automatically Generated Spatial Visualization Reasoning Tasks for MLLMs
arxiv.org·7h
🎮Verification Games
Mastering Language Models: A Deep Dive into Input Parameters
megaputer.com·17h·
Discuss: Hacker News
🧪Property-Based Testing
User simulators bridge RL with real-world interaction
jessylin.com·14h·
Discuss: Hacker News
🔍Formal Verification
Medical Red Teaming Protocol of Language Models: On the Importance of User Perspectives in Healthcare Settings
arxiv.org·7h
🔍Formal Verification
The inevitable trend toward low code makes programming tedious
thefoggiest.dev·1d·
Discuss: Hacker News
🔄Reproducible Builds
Most comprehensive review of AI coding agents for Kotlin/Android tasks
jasonpearson.dev·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Developing Structural Analysis Tooling for Experimental Aircraft
stanleywang.dev·1d·
Discuss: Hacker News
🔄Reproducible Builds
Types are Transforming Python
spin.atomicobject.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
A 2-categorical approach to the semantics of dependent type theory with computation axioms
arxiv.org·7h
➡️Category Theory
IMPACT: Industrial Machine Perception via Acoustic Cognitive Transformer
arxiv.org·1d
🐫Embedded OCaml
Loading...Loading more...
AboutBlogChangelogRoadmap