Nanonext: breaking down language barriers in data science
tidyverse.org·2d·
Discuss: Lobsters, Hacker News
🔧Unikernel Development
Kefir: A new C17/C23 compiler for amd64 Unix
kefir.protopopov.lv·9h·
Discuss: Hacker News
❄️Nixified Development
FFmpeg – The Ultimate Guide
img.ly·2d·
Discuss: Hacker News
🍎XNU Internals
Making Discogs Data 13% Smaller with Parquet
harmonique.one·1d·
Discuss: Hacker News
🧮Lambda Calculus
An Inline Cache Isn't Just a Cache
mgaudet.ca·3d·
Discuss: Hacker News
💎Refinement Types
On Commercial Cooking Robots
cyberneticserendipity.substack.com·1d·
Discuss: Substack
🩹Self-Healing Systems
Nano-switch achieves first directed, gated flow of excitons
news.engin.umich.edu·2d·
Discuss: Hacker News
🩹Self-Healing Systems
How Python Implements List Comprehensions
pythonkoans.substack.com·5d·
Discuss: Substack
📐Denotational Semantics
The most interesting documents we've had to process as an OCR company
trycardinal.medium.com·3d·
Discuss: Hacker News
🐫Embedded OCaml
Show HN: I built a Bitcoin DCA bot – here's why
news.ycombinator.com·1d·
Discuss: Hacker News
🏹Effect Systems
Eat Your Vegetables Before AI Dessert
writings.alethia.news·4d·
Discuss: Hacker News
🩹Self-Healing Systems
The Case for An AI Safety Political Party in the US
lesswrong.com·3d
🩹Self-Healing Systems
LAVA: Language Model Assisted Verbal Autopsy for Cause-of-Death Determination
arxiv.org·1d
🧩Parser Combinators
The canonical agent architecture: A while loop with tools
braintrust.dev·6d·
Discuss: Hacker News
⚙Operational Semantics
A Low-Rank tensor framework for THB-Splines
arxiv.org·1d
🐫OCaml
Keep Reading, Keep Watching
hackaday.com·13h
🩹Self-Healing Systems
Strong convergence of a semi tamed scheme for stochastic differential algebraic equation under non-global Lipschitz coefficients
arxiv.org·1d
🐫OCaml
Another Turn, Better Output? A Turn-Wise Analysis of Iterative LLM Prompting
arxiv.org·4d
🧩Parser Combinators
AuraSight: Generating Realistic Social Media Data
arxiv.org·1d
🎮Verification Games
Anticipatory Fall Detection in Humans with Hybrid Directed Graph Neural Networks and Long Short-Term Memory
arxiv.org·4d
📚Automata Learning