As Apple pushes for automation upgrades, supply chain partners face higher costs
9to5mac.com·1d
🍎Apple
What is the entropy of a ghost? Hauntology and the Dead Internet
notes.hella.cheap·2d·
Discuss: Lobsters
➡️Category Theory
EM Tools for Python
emerge-software.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Why AI Alone Fails at Large-Scale Code Modernization
thenewstack.io·3d
🤖Program Synthesis
"Medicine goes viral" – resuscitating a century-old solution, bacteriophages
news.cnrs.fr·14h·
Discuss: Hacker News
📡Network Protocol Design
Of Rats and Ratchets (2024)
matklad.github.io·13h·
Discuss: Lobsters, Hacker News
🧪Property-Based Testing
Show HN: Core – open-source memory graph for AI agents (88.24% SOTA on LoCoMo)
blog.heysol.ai·1d·
Discuss: Hacker News
📚Automata Learning
Show HN: ExeTrace – introducing executable drift monitoring (EDM)
sites.google.com·1d·
Discuss: Hacker News
📊Runtime Verification
Ethics in AI: The New Frontier for Product Managers
prodpad.com·14h·
Discuss: Hacker News
📊Runtime Verification
Newsflash the Climate and Subsurface Interact
mnky9800n.substack.com·1d·
Discuss: Substack
🧗Climbing Tech
Isolated(any)
nshipster.com·1d·
Discuss: Hacker News
🧮Lambda Calculus
Cosmos Cloud: A secure, all-in-one platform for self-hosting Docker apps
cosmos-cloud.io·46m·
Discuss: Hacker News
🖥Self-Hosting
Algorithmic consultant: a new role for clinical AI
nature.com·8h·
Discuss: Hacker News
🧠Automated Reasoning
Free Will's Tiny Probabilistic Edge
xlii.space·13h·
Discuss: Hacker News
✓Automated Theorem Proving
Show HN: Fine-tuned Llama 3.2 3B to match 70B models for local transcripts
bilawal.net·1d·
Discuss: Hacker News
🧩Parser Combinators
I Should Have Loved Electrical Engineering
blog.tdhttt.com·1d·
Discuss: Hacker News
🔬Unikernels
The gen on function perilogues (2010)
jdebp.uk·11h·
Discuss: Hacker News
🐫Embedded OCaml
DDoS is the neglected cybercrime that's getting bigger. Let's kill it off
theregister.com·1d·
Discuss: Hacker News, Hacker News
📡Network Protocol Design
You're also a neural network – train on the good stuff
magnusludviksson.substack.com·1d·
Discuss: Substack
🧠Automated Reasoning
Technology Must Serve Everyone, Not Just the Few
medium.com·2d·
Discuss: Hacker News
💾Retro Computing