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