Nanonext: breaking down language barriers in data science
tidyverse.org·1d·
🔧Unikernel Development
FFmpeg – The Ultimate Guide
img.ly·1d·
Discuss: Hacker News
🍎XNU Internals
Making Discogs Data 13% Smaller with Parquet
harmonique.one·9h·
Discuss: Hacker News
🧮Lambda Calculus
Nano-switch achieves first directed, gated flow of excitons
news.engin.umich.edu·1d·
Discuss: Hacker News
🩹Self-Healing Systems
An Inline Cache Isn't Just a Cache
mgaudet.ca·2d·
Discuss: Hacker News
💎Refinement Types
On Commercial Cooking Robots
cyberneticserendipity.substack.com·5h·
Discuss: Substack
🩹Self-Healing Systems
How Python Implements List Comprehensions
pythonkoans.substack.com·4d·
Discuss: Substack
📐Denotational Semantics
Agent Jido: The Elixir Autonomous Agent Framework
agentjido.xyz·2d·
Discuss: Hacker News
🧱Immutable Infrastructure
Weird CPU architectures, the MOV only CPU (2020)
justanotherelectronicsblog.com·3d·
Discuss: Hacker News
🐫Embedded OCaml
Upcoming changes for bcachefs; notes for users distributions
lore.kernel.org·14h·
🔧Unikernel Development
The most interesting documents we've had to process as an OCR company
trycardinal.medium.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
Show HN: I built a Bitcoin DCA bot – here's why
news.ycombinator.com·12h·
Discuss: Hacker News
🏹Effect Systems
A layered architecture for log analysis in complex IT systems
arxiv.org·1d
👁️System Observability
The Four Fallacies of Modern AI
blog.apiad.net·1d·
Discuss: Hacker News
🧠Automated Reasoning
Proof-Carrying Numbers (PCN): A Protocol for Trustworthy Numeric Answers from LLMs via Claim Verification
arxiv.org·3d
🌐NetworkProtocols
A Different Perspective on Rationality - Would This Be Valuable?
lesswrong.com·7h
➡️Category Theory
Chirality in Action: Time-Aware Video Representation Learning by Latent Straightening
arxiv.org·1d
📚Automata Learning
Eat Your Vegetables Before AI Dessert
writings.alethia.news·3d·
Discuss: Hacker News
🩹Self-Healing Systems