Nanonext: breaking down language barriers in data science
tidyverse.orgยท1dยท
๐Ÿ”งUnikernel Development
Holding It Together
onelook.comยท3dยท
Discuss: Hacker News
๐Ÿ“Term Rewriting
FFmpeg โ€“ The Ultimate Guide
img.lyยท2dยท
Discuss: Hacker News
๐ŸŽXNU Internals
An Inline Cache Isn't Just a Cache
mgaudet.caยท2dยท
Discuss: Hacker News
๐Ÿ’ŽRefinement Types
Living in a tiny electric van for three years
philsturgeon.comยท1hยท
Discuss: Hacker News
๐ŸฉนSelf-Healing Systems
How Python Implements List Comprehensions
pythonkoans.substack.comยท4dยท
Discuss: Substack
๐Ÿ“Denotational Semantics
Powering Crypto Workloads with Sub-100ms Latency
risingwave.comยท2dยท
Discuss: Hacker News
๐Ÿ‘๏ธSystem Observability
Upcoming changes for bcachefs; notes for users distributions
lore.kernel.orgยท22hยท
๐Ÿ”งUnikernel Development
Replit or Riplet? Let Gemini 2.5 figure it out
news.ycombinator.comยท10hยท
Discuss: Hacker News
๐Ÿ”„Reproducible Builds
The most interesting documents we've had to process as an OCR company
trycardinal.medium.comยท2dยท
Discuss: Hacker News
๐ŸซEmbedded OCaml
Musical Motors, BLDC Edition
hackaday.comยท4h
๐Ÿ”งUnikernel Development
Show HN: I built a Bitcoin DCA bot โ€“ here's why
news.ycombinator.comยท20hยท
Discuss: Hacker News
๐ŸนEffect Systems
Indic NLP: AI4Bharat papers explainer part 1
shubhamg.bearblog.devยท2dยท
Discuss: Hacker News
๐ŸงฉParser Combinators
Orc Protocol: Heavier than IRC, lighter than XMPP
github.comยท1dยท
Discuss: Hacker News
๐ŸŒNetworkProtocols
LAMDAS: LLM as an Implicit Classifier for Domain-specific Data Selection
arxiv.orgยท4d
๐ŸซOCaml
Your APIs Are Costing More Than You Think
thenewstack.ioยท16h
๐Ÿ‘๏ธSystem Observability
EnergyNet Explained: Internetification of Energy Distribution
arxiv.orgยท2d
๐Ÿ“กNetwork Protocol Design
Open-Sourcing Starlark Worker: Define Cadence Workflows with Starlark
uber.comยท1dยท
Discuss: Hacker News
โš™๏ธPL Implementation
Building Conscious* AI: An Illusionist Case
lesswrong.comยท1d
๐Ÿง Automated Reasoning