NASA's Juno Mission Captures [Green] Lightning on Jupiter (2023)
nasa.gov·12h·
Discuss: Hacker News
🍎XNU Internals
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
We are in the cancel culture part of the tragedy cycle
thefire.org·20h·
Discuss: Hacker News
📐Denotational Semantics
I built an interactive bloom filter visual simulator so you can understand this data structure better
coffeebytes.dev·3d·
Discuss: r/programming
📊Runtime Verification
Optimizing 100B ClickHouse Events
replo.computer·1d·
Discuss: Hacker News
👁️System Observability
Under the Hood of Fuzzy Search: Building a Search Engine 15 times fuzzier than Lucene
andrewjsaid.com·6d·
Discuss: Hacker News, r/programming
🔄Finite State Machines
All-around protection: ESR launches iPhone 17 cases, screen protectors, AirPods covers
9to5mac.com·17h
🍎Apple
I replaced Animal Crossing's dialogue with a live LLM by hacking GameCube memory
joshfonseca.com·3d·
Discuss: Hacker News
💾Retro Computing
ggplot2 4.0.0 Is Released
tidyverse.org·2d·
Discuss: Hacker News
➡️Category Theory
Adding OR logic forced us to confront why users preferred raw SQL
signoz.io·3d·
Discuss: Hacker News
👁️System Observability
China claims brain-like AI breakthrough ‘100 times faster than traditional models’
independent.co.uk·3d·
Discuss: Hacker News
📚Automata Learning
This Week in Security: NPM, Kerbroasting, and The Rest of the Story
hackaday.com·1d
📊Runtime Verification
Can AI code? Study maps the roadblocks to autonomous software engineering
csail.mit.edu·4d·
Discuss: Hacker News
🤖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
Serialized Output Prompting for Large Language Model-based Multi-Talker Speech Recognition
arxiv.org·5d
📚Automata Learning