Nanonext: breaking down language barriers in data science
tidyverse.org·1d·
Discuss: Lobsters, Hacker News
🔧Unikernel Development
FFmpeg – The Ultimate Guide
img.ly·1d·
Discuss: Hacker News
🍎XNU Internals
An Inline Cache Isn't Just a Cache
mgaudet.ca·2d·
Discuss: Hacker News
💎Refinement Types
On Commercial Cooking Robots
cyberneticserendipity.substack.com·8h·
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
Replit or Riplet? Let Gemini 2.5 figure it out
news.ycombinator.com·5h·
Discuss: Hacker News
🔄Reproducible Builds
Upcoming changes for bcachefs; notes for users distributions
lore.kernel.org·18h·
Discuss: Hacker News, r/linux
🔧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·15h·
Discuss: Hacker News
🏹Effect Systems
Eat Your Vegetables Before AI Dessert
writings.alethia.news·3d·
Discuss: Hacker News
🩹Self-Healing Systems
Proof-Carrying Numbers (PCN): A Protocol for Trustworthy Numeric Answers from LLMs via Claim Verification
arxiv.org·4d
🌐NetworkProtocols
Indic NLP: AI4Bharat papers explainer part 1
shubhamg.bearblog.dev·2d·
Discuss: Hacker News
🧩Parser Combinators
A Different Perspective on Rationality - Would This Be Valuable?
lesswrong.com·11h
➡️Category Theory
Chirality in Action: Time-Aware Video Representation Learning by Latent Straightening
arxiv.org·2d
📚Automata Learning
APML: Adaptive Probabilistic Matching Loss for Robust 3D Point Cloud Reconstruction
arxiv.org·2d
🧩Separation Logic
Orc Protocol: Heavier than IRC, lighter than XMPP
github.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
The Impact of Early-2025 AI on Open-Source Developer Productivity
metr.org·2d·
Discuss: Hacker News
👁️System Observability
Open-Sourcing Starlark Worker: Define Cadence Workflows with Starlark
uber.com·1d·
Discuss: Hacker News
⚙️PL Implementation
LAMDAS: LLM as an Implicit Classifier for Domain-specific Data Selection
arxiv.org·4d
🐫OCaml