Why (special agent) Johnny (still) Can't Encrypt (2011)
mattblaze.org·7h·
Discuss: Lobsters
🌐NetworkProtocols
The Glymphatic System
medscape.com·2d·
Discuss: Hacker News
📚Automata Learning
MediaHuman Audio Converter
mediahuman.com·19h·
Discuss: Hacker News
🍎Apple
The Markov Condition
plato.stanford.edu·4d·
Discuss: Hacker News
🧠Automated Reasoning
Ruby Executes JIT Code: The Hidden Mechanics Behind the Magic
railsatscale.com·3d·
Discuss: Hacker News
🔄Reproducible Builds
Building screenless digital jukebox for my daughter
rdeaton.space·2d·
Discuss: Hacker News
🍎Apple
Fill Harmonics, the crossword puzzle music machine
parkerhiggins.net·3d·
Discuss: Hacker News
📚Automata Learning
Perplexity Raises $200M at $20B Valuation in AI Search Push
vktr.com·9h·
Discuss: Hacker News
✓Automated Theorem Proving
Working in Groups
internet.place·2d·
Discuss: Lobsters, Hacker News
📦Unikernel Systems
True End-to-End Type Safety Across Your Entire TypeScript Stack
rowsana.substack.com·4d·
Discuss: r/javascript, r/programming
💎Refinement Types
An ER Trip in Ireland Taught Me Why Convex Is Saving Startups from Themselves
hackerpug.ghost.io·1d·
Discuss: Hacker News
📊Runtime Verification
React Data List: Building Virtualized UIs Declaratively
attio.com·1d·
Discuss: Hacker News
📊Runtime Verification
On the weird economics of semiconductors and GenAI
gauthierroussilhe.com·2d·
Discuss: Lobsters, Hacker News
⚙️Operating System Design
Finetuning LLMs for Human Behavior Prediction in Social Science Experiments
arxiv.org·3d
📚Automata Learning
DRDCAE-STGNN: An End-to-End Discrimina-tive Autoencoder with Spatio-Temporal Graph Learning for Motor Imagery Classification
arxiv.org·3d
📚Automata Learning
Ask HN: How do you manage docs for AI coding agents without bloating repos?
news.ycombinator.com·4d·
Discuss: Hacker News
🛡️seL4
Hardware Acceleration of Kolmogorov-Arnold Network (KAN) in Large-Scale Systems
arxiv.org·3d
🐫Embedded OCaml
Computational Imaging for Enhanced Computer Vision
arxiv.org·1d
📐Denotational Semantics
Open-Sourcing Starlark Worker: Define Cadence Workflows with Starlark
uber.com·1d·
Discuss: Hacker News
⚙️PL Implementation
I made a free VSC extension to manage my AI prompt/rule files
reddit.com·2d·
Discuss: r/programming
🐳Containerization