Nanonext: breaking down language barriers in data science
tidyverse.org·3d·
Discuss: Lobsters, Hacker News
🔧Unikernel Development
FFmpeg – The Ultimate Guide
img.ly·4d·
Discuss: Hacker News
🍎XNU Internals
Making Discogs Data 13% Smaller with Parquet
harmonique.one·2d·
Discuss: Hacker News
🧮Lambda Calculus
Why Neeto Doesn't Do Traditional Marketing or Use AI to Deflect Tickets
neerajsingh0101.neetopublish.com·5h·
Discuss: Hacker News
🍎Apple
Kefir: A new C17/C23 compiler for amd64 Unix
kefir.protopopov.lv·1d·
Discuss: Hacker News
❄️Nixified Development
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
Meh Superpowers, or Not?
jovex.substack.com·15h·
Discuss: Substack
🍎Apple
How Python Implements List Comprehensions
pythonkoans.substack.com·6d·
Discuss: Substack
📐Denotational Semantics
The most interesting documents we've had to process as an OCR company
trycardinal.medium.com·4d·
Discuss: Hacker News
🐫Embedded OCaml
I Like 669 Better
datastream.substack.com·9h·
Discuss: Substack
🧗Climbing Tech
Show HN: I built a Bitcoin DCA bot – here's why
news.ycombinator.com·2d·
Discuss: Hacker News
🏹Effect Systems
Eat Your Vegetables Before AI Dessert
writings.alethia.news·5d·
Discuss: Hacker News
🩹Self-Healing Systems
AuraSight: Generating Realistic Social Media Data
arxiv.org·3d
🎮Verification Games
Zero-Freeness is All You Need: A Weitz-Type FPTAS for the Entire Lee-Yang Zero-Free Region
arxiv.org·6d
➡️Category Theory
Anticipatory Fall Detection in Humans with Hybrid Directed Graph Neural Networks and Long Short-Term Memory
arxiv.org·6d
📚Automata Learning
SFD-Mamba2Net: Strcture-Guided Frequency-Enhanced Dual-Stream Mamba2 Network for Coronary Artery Segmentation
arxiv.org·3d
🐫OCaml
Show HN: Forked styled-components with optimizations (40% faster for Linear)
github.com·3d·
Discuss: Hacker News
💎Refinement Types
Best open source project in hpc
reddit.com·2d·
Discuss: r/rust
⚙️PL Implementation
From Limited Data to Rare-event Prediction: LLM-powered Feature Engineering and Multi-model Learning in Venture Capital
arxiv.org·4d
📚Automata Learning