Nanonext: breaking down language barriers in data science
tidyverse.org·2d·
Discuss: Lobsters, Hacker News
🔧Unikernel Development
FFmpeg – The Ultimate Guide
img.ly·2d·
Discuss: Hacker News
🍎XNU Internals
Kefir: A new C17/C23 compiler for amd64 Unix
kefir.protopopov.lv·13h·
Discuss: Hacker News
❄️Nixified Development
Holding It Together
onelook.com·4d·
Discuss: Hacker News
📝Term Rewriting
An Inline Cache Isn't Just a Cache
mgaudet.ca·3d·
Discuss: Hacker News
💎Refinement Types
BSD-user-4-Linux project
freebsd.org·5h·
Discuss: Lobsters, Hacker News
📦Unikernel Systems
How Python Implements List Comprehensions
pythonkoans.substack.com·5d·
Discuss: Substack
📐Denotational Semantics
Powering Crypto Workloads with Sub-100ms Latency
risingwave.com·2d·
Discuss: Hacker News
👁️System Observability
Replit or Riplet? Let Gemini 2.5 figure it out
news.ycombinator.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
The most interesting documents we've had to process as an OCR company
trycardinal.medium.com·3d·
Discuss: Hacker News
🐫Embedded OCaml
Musical Motors, BLDC Edition
hackaday.com·1d
🔧Unikernel Development
Show HN: I built a Bitcoin DCA bot – here's why
news.ycombinator.com·1d·
Discuss: Hacker News
🏹Effect Systems
How OpenAI Operator Works with AI Agents
anchorbrowser.io·3d·
Discuss: Hacker News
🧠Automated Reasoning
Another Turn, Better Output? A Turn-Wise Analysis of Iterative LLM Prompting
arxiv.org·5d
🧩Parser Combinators
AuraSight: Generating Realistic Social Media Data
arxiv.org·2d
🎮Verification Games
Zero-Freeness is All You Need: A Weitz-Type FPTAS for the Entire Lee-Yang Zero-Free Region
arxiv.org·5d
➡️Category Theory
Anticipatory Fall Detection in Humans with Hybrid Directed Graph Neural Networks and Long Short-Term Memory
arxiv.org·5d
📚Automata Learning
SFD-Mamba2Net: Strcture-Guided Frequency-Enhanced Dual-Stream Mamba2 Network for Coronary Artery Segmentation
arxiv.org·2d
🐫OCaml
Show HN: Forked styled-components with optimizations (40% faster for Linear)
github.com·2d·
Discuss: Hacker News
💎Refinement Types
Best open source project in hpc
reddit.com·22h·
Discuss: r/rust
⚙️PL Implementation