Medieval Cookery
medievalcookery.com·4d·
Discuss: Hacker News
➡️Category Theory
“None Of These Books Are Obscene”: Judge Strikes Down Much of Florida’s Book Ban Bill
bookriot.com·3d·
Discuss: Hacker News
🛡️seL4
Mutually Attacking Knights
susam.net·6d·
Discuss: Lobsters, Hacker News
✓Automated Theorem Proving
Wozniak's Tale of His 'Counterfeit' $2 Bill Secret Service Adventure
web.archive.org·3d·
Discuss: Hacker News
💾Retro Computing
Mississippi may require age verification, Supreme Court says
cnn.com·3d·
Discuss: Hacker News
🌐NetworkProtocols
Show HN: TinyExperiments – prototype for curiosity-driven personal experiments
tinyexperiments-landing.vercel.app·6d·
Discuss: Hacker News
🍎Apple
Step Away from Share Button
stepawayfromthesharebutton.com·4d·
Discuss: Hacker News
🛡️seL4
Data Shows Only 12% of Ethereum, 25% of Solana Protocols Have Revenue
coindesk.com·6d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Civilians Are Not Snitches
medium.com·3d·
Discuss: Hacker News
🌐NetworkProtocols
Homekit-steam-user-switcher: A way to remotely switch Steam users using HomeKit
github.com·6d·
Discuss: Hacker News
🍎Apple
FNBT: Full Negation Belief Transformation for Open-World Information Fusion Based on Dempster-Shafer Theory of Evidence
arxiv.org·5d
✓Automated Theorem Proving
Apple gets yanked into Elon Musk’s chatbot war with OpenAI
arstechnica.com·5d·
Discuss: Hacker News
🍎Apple
Re:Verse -- Can Your VLM Read a Manga?
arxiv.org·4d
🐫Embedded OCaml
Caveat Emptor: Ratings and Reviews Can't Be Trusted (WHY2025)
cdn.media.ccc.de·5d
🛡️seL4
Next year’s Siri revamp sounds like it could truly be worth the wait
9to5mac.com·5d
🍎Apple
ASLSL: Adaptive shared latent structure learning with incomplete multi-modal physiological data for multi-dimensional emotional feature selection
arxiv.org·6d
🐫Embedded OCaml
A 3DGS-Diffusion Self-Supervised Framework for Normal Estimation from a Single Image
arxiv.org·6d
➡️Category Theory
How to bluff your way into Zero Trust (WHY2025)
cdn.media.ccc.de·6d
🛡️seL4
Positional Biases Shift as Inputs Approach Context Window Limits
arxiv.org·5d
🔠Type-Level Programming
Incorporating Contextual Paralinguistic Understanding in Large Speech-Language Models
arxiv.org·5d
✓Automated Theorem Proving