Nanonext: breaking down language barriers in data science
tidyverse.orgยท3dยท
๐Ÿ”งUnikernel Development
FFmpeg โ€“ The Ultimate Guide
img.lyยท3dยท
Discuss: Hacker News
๐ŸŽXNU Internals
Why Neeto Doesn't Do Traditional Marketing or Use AI to Deflect Tickets
neerajsingh0101.neetopublish.comยท1hยท
Discuss: Hacker News
๐ŸŽApple
Kefir: A new C17/C23 compiler for amd64 Unix
kefir.protopopov.lvยท1dยท
Discuss: Hacker News
โ„๏ธNixified Development
Meh Superpowers, or Not?
jovex.substack.comยท11hยท
Discuss: Substack
๐ŸŽApple
Holding It Together
onelook.comยท5dยท
Discuss: Hacker News
๐Ÿ“Term Rewriting
How Python Implements List Comprehensions
pythonkoans.substack.comยท6dยท
Discuss: Substack
๐Ÿ“Denotational Semantics
BSD-user-4-Linux project
freebsd.orgยท1dยท
๐Ÿ“ฆUnikernel Systems
Replit or Riplet? Let Gemini 2.5 figure it out
news.ycombinator.comยท2dยท
Discuss: Hacker News
๐Ÿ”„Reproducible Builds
I Like 669 Better
datastream.substack.comยท5hยท
Discuss: Substack
๐Ÿง—Climbing Tech
Musical Motors, BLDC Edition
hackaday.comยท2d
๐Ÿ”งUnikernel Development
Show HN: I built a Bitcoin DCA bot โ€“ here's why
news.ycombinator.comยท2dยท
Discuss: Hacker News
๐ŸนEffect Systems
Karen Hao on the Empire of AI, AGI evangelists, and the cost of belief
techcrunch.comยท11hยท
Discuss: Hacker News
๐Ÿ”ฌUnikernels
How OpenAI Operator Works with AI Agents
anchorbrowser.ioยท4dยท
Discuss: Hacker News
๐Ÿง Automated Reasoning
Another Turn, Better Output? A Turn-Wise Analysis of Iterative LLM Prompting
arxiv.orgยท6d
๐ŸงฉParser Combinators
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
Best open source project in hpc
reddit.comยท1dยท
Discuss: r/rust
โš™๏ธPL Implementation
SFD-Mamba2Net: Strcture-Guided Frequency-Enhanced Dual-Stream Mamba2 Network for Coronary Artery Segmentation
arxiv.orgยท3d
๐ŸซOCaml