A Complete Digitization of Leonardo Da Vinci’s Codex Atlanticus, the Largest Collection of His Drawings & Writings
openculture.com·16h
🏰Manuscript Networks
Cactus Language • Semantics 1
inquiryintoinquiry.com·9h
🔢Denotational Semantics
Yanis Varoufakis: ‘The technolords control our minds’
english.elpais.com·17h
🧲Magnetic Philosophy
ChatGPT Imbotster Syndrome is gumming up how we write professionally
businessinsider.com·17h
⚡Proof Automation
Troops Head to Chicago, Despite Efforts to Block Them
nytimes.com·3h
🌊CBOR Streaming
Google Details Android Lockdown–750M Users Must Upgrade
forbes.com·1h·
Discuss: Hacker News
📲syncthing
Managing Zip files with SQL queries
distrowatch.com·14h·
Discuss: r/linux
🔌Operating system internals
URL Design (2010)
warpspire.com·1d·
Discuss: Hacker News
🌐Web Standards
You Don't Argue Against Descartes, You Supersede Him Through Implementation
bitcoin-zero-down-2ea152.gitlab.io·11h·
Discuss: Hacker News
⚙️systems theory
RediShell: Critical Remote Code Execution
wiz.io·3h·
Discuss: Hacker News
📦Container Security
AP reader question: Is it legal to fire furloughed federal workers during a shutdown?
the-independent.com·9h
📡RSS Readers
expressjs/express
github.com·1d
⚡Proof Automation
Nintendo Switch 2 supports two different types of Nvidia DLSS — A second, 'light' version for upscaling beyond 1080p, along with the standard, PC-like CNN model
tomshardware.com·1d
🕹️Retro Gaming
Llama.cpp Gets an Upgrade: Resumable Model Downloads
docker.com·13h
🦋Format Metamorphosis
🚀 Excited to Announce: RMBG.PRO Now Available for macOS!
dev.to·4d·
Discuss: DEV
🍎Apple Archive
Understanding the 4 Main Approaches to LLM Evaluation (From Scratch)
magazine.sebastianraschka.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Enhanced Transdermal Drug Delivery via Bio-Responsive Lipid Nanocarriers & AI-Driven Formulation Optimization
dev.to·1d·
Discuss: DEV
🧮Algorithmic Cooking
MoGIC: Boosting Motion Generation via Intention Understanding and Visual Context
arxiv.org·21h
🧠Learned Codecs
C2|Q>: A Robust Framework for Bridging Classical and Quantum Software Development
arxiv.org·21h
⚛️Quantum Compilers
OpenSSH 10.1 Released
openssh.com·7h·
Discuss: Hacker News
🔐HSM Integration