Why (special agent) Johnny (still) Can't Encrypt (2011)
mattblaze.org·42m·
Discuss: Lobsters
🌐NetworkProtocols
The Glymphatic System
medscape.com·1d·
Discuss: Hacker News
📚Automata Learning
MediaHuman Audio Converter
mediahuman.com·12h·
Discuss: Hacker News
🍎Apple
Building screenless digital jukebox for my daughter
rdeaton.space·2d·
Discuss: Hacker News
🍎Apple
Fluid vacuum yields exact solutions to Pioneer anomaly and Mercury's perihelion
cdnsciencepub.com·9h·
Discuss: Hacker News
🔧Unikernel Development
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·2h·
Discuss: Hacker News
✓Automated Theorem Proving
Prompt Snapshot Testing
ninkovic.dev·3d·
Discuss: Hacker News
🧪Property-Based Testing
An ER Trip in Ireland Taught Me Why Convex Is Saving Startups from Themselves
hackerpug.ghost.io·1d·
Discuss: Hacker News
📊Runtime Verification
Magical systems thinking
worksinprogress.co·10h·
Discuss: Hacker News
🩹Self-Healing Systems
Oracle and OpenAI Are Full Of Crap
wheresyoured.at·3h·
Discuss: Hacker News
🔬Unikernels
Show HN: AI Image Editor with Natural Language Commands
imagable.ai·1d·
Discuss: Hacker News
🍎Apple
Writing Code Is Easy. Reading It Isn't
idiallo.com·4d·
Discuss: Hacker News, r/programming
🔬Static Analysis
Mediabunny: Pure TypeScript media toolkit similar to FFmpeg
github.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
Serialized Output Prompting for Large Language Model-based Multi-Talker Speech Recognition
arxiv.org·4d
📚Automata Learning
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
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
AI Ate Its Own Tail, and I Learned Something About Writing
nibzard.com·4d·
Discuss: Hacker News
✓Automated Theorem Proving