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·1h·
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·1d·
Discuss: Hacker News
💎Refinement Types
How Python Implements List Comprehensions
pythonkoans.substack.com·3d·
Discuss: Substack
📐Denotational Semantics
Show HN: I built a Bitcoin DCA bot – here's why
news.ycombinator.com·4h·
Discuss: Hacker News
🏹Effect Systems
Agent Jido: The Elixir Autonomous Agent Framework
agentjido.xyz·2d·
Discuss: Hacker News
🧱Immutable Infrastructure
Upcoming changes for bcachefs; notes for users distributions
lore.kernel.org·6h·
🔧Unikernel Development
The most interesting documents we've had to process as an OCR company
trycardinal.medium.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Eat Your Vegetables Before AI Dessert
writings.alethia.news·3d·
Discuss: Hacker News
🩹Self-Healing 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
Chirality in Action: Time-Aware Video Representation Learning by Latent Straightening
arxiv.org·1d
📚Automata Learning
APML: Adaptive Probabilistic Matching Loss for Robust 3D Point Cloud Reconstruction
arxiv.org·1d
🧩Separation Logic
Indic NLP: AI4Bharat papers explainer part 1
shubhamg.bearblog.dev·2d·
Discuss: Hacker News
🧩Parser Combinators
Building Conscious* AI: An Illusionist Case
lesswrong.com·23h
🧠Automated Reasoning