A Complete Digitization of Leonardo Da Vinci’s Codex Atlanticus, the Largest Collection of His Drawings & Writings
openculture.com·1d
🏰Manuscript Networks
Partner in crime
disruptivearchitecture.info·2h
🔄Lens Laws
Courts don’t know what to do about AI crimes
restofworld.org·2h
🔍Vector Forensics
Prime Day deals include the Beats Pill for only $80
engadget.com·19m
🎵Audio Streaming
Eufy’s robot vacuum has huge £200 off in the Amazon Prime Day sale
the-independent.com·12h
🏠Homelab Archaeology
Educators Should Think Like Hackers
kelvinpaschal.com·1d·
Discuss: Hacker News
📚Proof Pedagogy
What Is a Semantic Layer?
dataengineeringcentral.substack.com·3d·
Discuss: Substack
🔍Archive Semantics
Vjeux » Birth of Prettier
blog.vjeux.com·1d·
Discuss: Lobsters, Hacker News, r/javascript, r/webdev
📝Concrete Syntax
Property-based testing of batch-invariant operations
mmaaz.ca·1d·
Discuss: Hacker News
🧪Property-Based Testing
The Future of AI Filmmaking Is a Parody of the Apocalypse, Made by a Guy Named Josh
wired.com·2h
🧠Learned Codecs
An experiment generating a protocol spec from natural language source with LLM
gist.github.com·3d·
Discuss: Hacker News
🧪CBOR Fuzzing
Professors fear students are outsourcing critical thinking to AI. Here are 5 ways they can fight back, a researcher says.
businessinsider.com·49m
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Quantifying Cover Crop Resilience Through Dynamic Soil Moisture Modeling & Spectral Analysis
dev.to·2d·
Discuss: DEV
📊Quantization
Unlocking Data Efficiency: The Compression Sweet Spot with Pareto Optimization by Arvind Sundararajan
dev.to·6d·
Discuss: DEV
📐Compression Mathematics
Gem Cooperative Emerges as a Community-Run Alternative to RubyGems.org, Led by Former Maintainers
socket.dev·1d·
Discuss: Hacker News
🔓Open Source Software
LegalSim: Multi-Agent Simulation of Legal Systems for Discovering Procedural Exploits
arxiv.org·8h
⚔️Lean Tactics
Hyperdimensional Biomarker Discovery via Probabilistic Causal Graph Optimization
dev.to·1d·
Discuss: DEV
🧠Machine Learning
AI in Cybersecurity: The Ultimate Guide to Threats & Defense in 2025
dev.to·1h·
Discuss: DEV
🎯Threat Hunting
Data Quality Taxonomy for Data Monetization
arxiv.org·5d
🔗Data Provenance
Automated Predictive Maintenance Optimization via Hybrid Bayesian-Markovian Modeling for Tunnel Boring Machines (TBMs)
dev.to·1d·
Discuss: DEV
⚙️Proof Engineering