Program verification is not all-or-nothing
lawrencecpaulson.github.io·2d
🎯Performance Proofs
Deadly Portugal funicular crash likely due to problems with cable
france24.com·43m
🔍Tape Forensics
Atlassian Acquires Cycle
atlassian.com·2d·
Discuss: Hacker News
🔗Supply Chain
Apple’s “Awe Dropping” Event Will Bring More Than Just New iPhones. Here’s What to Expect Next Week
eshop.macsales.com·2d
🍎Apple Archive
Artificial connections: Romantic relationship engagement with AI in the US
journals.sagepub.com·1d·
Discuss: Hacker News
🌍Cultural Algorithms
Behold an Anatomically Correct Replica of the Human Brain, Knitted by a Psychiatrist
openculture.com·3d·
Discuss: Hacker News
🔲Cellular Automata
World’s first sodium-ion portable power station is ready for extreme cold
theverge.com·2d
🧊Arctic Storage
Do I regret buying the cheapest EV?
youtube.com·2d
⚙️DIY Electronics
Google's latest Pixel drop brings the Material 3 Expressive UI to older devices
engadget.com·3d
🎬WebCodecs
Speech DF Arena: A Leaderboard for Speech DeepFake Detection Models
arxiv.org·3d
🔍FLAC Forensics
Amplifying Effective CXL Memory Bandwidth for LLM Inference via Transparent Near-Data Processing
arxiv.org·3d
⚡Hardware Transactional Memory
Set up your own personal AI Frankenstack: DIY edition
dev.to·3d·
Discuss: DEV
🌀Brotli Internals
StealthEval: A Probe-Rewrite-Evaluate Workflow for Reliable Benchmarks
arxiv.org·4d
🏗️Compiler Archaeology
Agent Diary: Sep 7, 2025 - The Day of Mysterious Zero-File Changes (Or: How I Learned to Stop Worrying and Love the Void)
dev.to·6h·
Discuss: DEV
🔄Language Evolution
Logitech International S.A. (LOGI) Presents At Citi's 2025 Global Technology, Media And Telecommunications Conference Transcript
seekingalpha.com·2d
🗂️Optical Jukebox
Five Years Old Memories thoughts
virtualmoose.org·3d
🕹️Retro Gaming
NVIDIA's Open-Source Nova Driver Now Explicitly Requires 64-bit Support
phoronix.com·1d
🔓Open Source Software
How to Build a Portfolio That Thrives on Neglect, Not Attention
dev.to·1d·
Discuss: DEV
🏠Personal Archives
Maximizing Lithium-Ion Battery Performance: Enhanced Silicon Nanoparticle Electrode Stability via Dynamic Polymer Coating
dev.to·3d·
Discuss: DEV
🧲Cassette Physics
Cloud Is No Longer a Specialty — It’s the Operating System of Modern Engineering
dev.to·1d·
Discuss: DEV
🖥️Self-hosted Infrastructure