The Spartan Secret: Encrypt Messages with the Scytale Cipher
fcsuper.blogspot.comยท20hยท
๐Ÿ—๏ธPaleocryptography
Remembering Steve Jobs, 1955 โ€“ 2011
lowendmac.comยท12h
๐ŸŽApple Computing
Warming UK homes, 500 Raspberry Pis at a time
taoofmac.comยท3h
๐Ÿ Homelab Federation
Joy & Curiosity #56
registerspill.thorstenball.comยท1d
โš™๏ธProof Engineering
Restoring Reliability in the AI-Aided Software Development Life Cycle
cacm.acm.orgยท2d
๐Ÿ“Code Metrics
The Big Mistake People Make When Learning Higher Maths
quantumformalism.substack.comยท3dยท
Discuss: Substack
โš”๏ธLean Tactics
The Mystery of How Quasicrystals Form
wired.comยท1d
๐Ÿ“Mathematical Art
Bram Cohen: How Claude Web Is Broken
bramcohen.comยท1dยท
Discuss: Hacker News
๐ŸงฎZ3 Solver
Ask HN: Building a system that can guess Past and Future health issue timeline
news.ycombinator.comยท10hยท
Discuss: Hacker News
๐Ÿ“ˆTime Series
At&Df: Side-Channel Data Encoding Through Virtual MouseMvm(CursorHoppingEncoder)
zenodo.orgยท4dยท
Discuss: Hacker News
๐Ÿฆ Malware Analysis
a16z analyzed startup bank transactions and found they're going hard on vibe coding tools
businessinsider.comยท6h
๐Ÿš€Indie Hacking
Mapping Historic Urban Footprints in France: Balancing Quality, Scalability and AI Techniques
arxiv.orgยท3d
๐ŸŒ€Riemannian Computing
94% of AI Developers Ignore This Theorem Prover. Here's Why That's Costing Millions.
dev.toยท1dยท
Discuss: DEV
โš™๏ธProof Engineering
ACM SIGSOFT SEN Empirical Software Engineering: Introducing Our New Regular Column
arxiv.orgยท3d
๐Ÿ’งLiquid Types
TimeGazer: Temporal Modeling of Predictive Gaze Stabilization for AR Interaction
arxiv.orgยท3d
๐ŸŒ€Riemannian Computing
Review of Hallucination Understanding in Large Language and Vision Models
arxiv.orgยท4d
๐Ÿ“ŠLearned Metrics
The Most Powerful AI Video Generator Yet? Inside OpenAIโ€™s Sora
dev.toยท32mยท
Discuss: DEV
๐Ÿง Learned Codecs
Understanding Deep Learning: The Basics of Neural Networks
dev.toยท15hยท
Discuss: DEV
๐Ÿ“ŠQuantization
Aligning Video Models with Human Social Judgments via Behavior-Guided Fine-Tuning
arxiv.orgยท3d
๐Ÿ“ŠLearned Metrics
A Unified Deep Reinforcement Learning Approach for Close Enough Traveling Salesman Problem
arxiv.orgยท7h
๐Ÿ”ฒCellular Automata