What's Got into Stephen King?
notoneoffbritishisms.com·2d·
Discuss: Hacker News
🛡️seL4
In the Land of Living Skies: Reacquainting ourselves with the night (2022)
harpers.org·1d·
Discuss: Hacker News
🔬Unikernels
Transitive Procrastinate in International English
everything.intellectronica.net·6d·
Discuss: Hacker News
📚Automata Learning
FFmpeg – The Ultimate Guide
img.ly·2d·
Discuss: Hacker News
🍎XNU Internals
We are in the cancel culture part of the tragedy cycle
thefire.org·23h·
Discuss: Hacker News
📐Denotational Semantics
Optimizing 100B ClickHouse Events
replo.computer·1d·
Discuss: Hacker News
👁️System Observability
VMScape: Exploiting Incomplete Branch Predictor Isolation in Cloud Environments
comsec.ethz.ch·1d·
Discuss: Lobsters, Hacker News
📦Unikernel Systems
All-around protection: ESR launches iPhone 17 cases, screen protectors, AirPods covers
9to5mac.com·19h
🍎Apple
ggplot2 4.0.0 Is Released
tidyverse.org·2d·
Discuss: Hacker News
➡️Category Theory
Can AI code? Study maps the roadblocks to autonomous software engineering
csail.mit.edu·4d·
Discuss: Hacker News
🤖Program Synthesis
This Week in Security: NPM, Kerbroasting, and The Rest of the Story
hackaday.com·1d
📊Runtime Verification
The Eldritch in the 21st century
lesswrong.com·2d
🔬Unikernels
The Agentic Web: How AI Agents Are Shaping the Web’s Future
thenewstack.io·1d
🤖Program Synthesis
Bringing memory to teams at work
anthropic.com·2d·
Discuss: Hacker News
⚡Process Calculi
A Stroke-Level Large-Scale Database of Chinese Character Handwriting and the OpenHandWrite_Toolbox for Handwriting Research
arxiv.org·4d
📚Automata Learning
Students' Perception of LLM Use in Requirements Engineering Education: An Empirical Study Across Two Universities
arxiv.org·4d
⚙Operational Semantics
Split Conformal Prediction in the Function Space with Neural Operators
arxiv.org·5d
🐫OCaml
Ask HN: How do you manage docs for AI coding agents without bloating repos?
news.ycombinator.com·4d·
Discuss: Hacker News
🛡️seL4
Open-Sourcing Starlark Worker: Define Cadence Workflows with Starlark
uber.com·2d·
Discuss: Hacker News
⚙️PL Implementation
Serialized Output Prompting for Large Language Model-based Multi-Talker Speech Recognition
arxiv.org·5d
📚Automata Learning