An Inline Cache Isn't Just a Cache
mgaudet.ca·4d·
Discuss: Hacker News
💎Refinement Types
On Commercial Cooking Robots
cyberneticserendipity.substack.com·2d·
Discuss: Substack
🩹Self-Healing Systems
Agent Jido: The Elixir Autonomous Agent Framework
agentjido.xyz·4d·
Discuss: Hacker News
🧱Immutable Infrastructure
The most interesting documents we've had to process as an OCR company
trycardinal.medium.com·4d·
Discuss: Hacker News
🐫Embedded OCaml
Eat Your Vegetables Before AI Dessert
writings.alethia.news·5d·
Discuss: Hacker News
🩹Self-Healing Systems
Characterization of the computed homology and cohomology bases -- technical report
arxiv.org·2d
➡️Category Theory
ALL-PET: A Low-resource and Low-shot PET Foundation Model in the Projection Domain
arxiv.org·2d
🧩Parser Combinators
An Explainable Deep Neural Network with Frequency-Aware Channel and Spatial Refinement for Flood Prediction in Sustainable Cities
arxiv.org·3d
💎Refinement Types
The Case for An AI Safety Political Party in the US
lesswrong.com·4d
🩹Self-Healing Systems
Unidimensional semi-discrete partial optimal transport
arxiv.org·3d
🔠Type-Level Programming
Server Upgrade Suggesions
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
How to (and Not to) Manipulate Transformers: A Logic-First Guide
lightcapai.medium.com·5d·
Discuss: Hacker News
✓Automated Theorem Proving
LAVA: Language Model Assisted Verbal Autopsy for Cause-of-Death Determination
arxiv.org·2d
🧩Parser Combinators
A Low-Rank tensor framework for THB-Splines
arxiv.org·2d
🐫OCaml
Keep Reading, Keep Watching
hackaday.com·1d
🩹Self-Healing Systems
Strong convergence of a semi tamed scheme for stochastic differential algebraic equation under non-global Lipschitz coefficients
arxiv.org·2d
🐫OCaml
Show HN: Forked styled-components with optimizations (40% faster for Linear)
github.com·3d·
Discuss: Hacker News
💎Refinement Types
Another Turn, Better Output? A Turn-Wise Analysis of Iterative LLM Prompting
arxiv.org·5d
🧩Parser Combinators
AuraSight: Generating Realistic Social Media Data
arxiv.org·2d
🎮Verification Games
Zero-Freeness is All You Need: A Weitz-Type FPTAS for the Entire Lee-Yang Zero-Free Region
arxiv.org·5d
➡️Category Theory