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

Cocoindex: Data Transformation for AI
cocoindex.io·2d·
Discuss: Hacker News
🛡️seL4
AI is "a shabby, boring and evil thing" – discuss
paulkingsnorth.substack.com·15h·
Discuss: Substack
🔬Unikernels
Croissant! Building a No-Framework Web App
dbushell.com·2d·
Discuss: Hacker News
🌐NetworkProtocols
Richard Feynman and the Connection Machine
longnow.org·2d·
Discuss: Hacker News
🔄Finite State Machines
What happens when an AI is your customer?
frontierai.substack.com·2d·
Discuss: Substack
👁️System Observability
Python Indexing vs. For Loops: What’s Really Faster?
thenewstack.io·2d
🔬Static Analysis
Structured Task Solving via Modular Embodied Intelligence: A Case Study on Rubik's Cube
arxiv.org·4d
🔄Finite State Machines
FrugalRAG: Learning to retrieve and reason for multi-hop QA
arxiv.org·2d
🐫OCaml
Interleaving Logic and Counting
arxiv.org·5d
✓Automated Theorem Proving
Lessons from YouWare's Founder on Building AI-Native Products
medium.com·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Distributionally Robust Joint Chance-Constrained Optimization for Electricity Imbalance: Integrating Renewables and Storage
arxiv.org·3d
📡Network Protocol Design
FLoRA: An Advanced AI-Powered Engine to Facilitate Hybrid Human-AI Regulated Learning
arxiv.org·2d
💻CS
DocCHA: Towards LLM-Augmented Interactive Online diagnosis System
arxiv.org·2d
🔍Formal Verification
Show HN: Juncture – Simplify building Jira integrations
github.com·14h·
Discuss: Hacker News
🧱Immutable Infrastructure
Show HN: Rain-A theory of intelligence beyond Transformers, based on rhythm
medium.com·1d·
Discuss: Hacker News
➡️Category Theory
Semantically Separating Nominal Wyvern for Usability and Decidability
arxiv.org·5d
🐫OCaml
Spectral Estimators for Structured Generalized Linear Models via Approximate Message Passing
arxiv.org·2d
🐫OCaml
Agentic-R1: Distilled Dual-Strategy Reasoning
arxiv.org·4d
✓Automated Theorem Proving
Search-based Selection of Metamorphic Relations for Optimized Robustness Testing of Large Language Models
arxiv.org·4d
✓Automated Theorem Proving
Reframe – Open‑Source ISO20022 Message Transformer in Rust
github.com·2d·
Discuss: Hacker News
🔤DSLs
Loading...Loading more...
AboutBlogChangelogRoadmap