Scientists Found Sticky Goo Inside a 2,500-Year-Old Jar. Seventy Years Later, They Finally Know What It Is
smithsonianmag.com·15h
🧪Manuscript Chemistry
Machine learning by satisfiability solving
johndcook.com·1d
🎯Performance Proofs
Human exposure to PM10 microplastics in indoor air | PLOS One
journals.plos.org·1d
🧲Cassette Physics
Amazon Is Selling M4 MacBook Airs for $200 Off
amazon.com·3d
🍎Apple Computing
Implementing Defense-in-Depth Security for AWS CodeBuild Pipelines
aws.amazon.com·1d
🔄Reproducible Builds
Figma's S-1/A from their IPO today
sec.gov·1d·
Discuss: Hacker News
⚡HTMX
Sync primitives are Functionally Complete
kprotty.me·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
⚡Hardware Transactional Memory
Tesla Found Partly Liable in 2019 Autopilot Death
wired.com·11h·
Discuss: r/technews
🔌Microcontrollers
[RFC] Hardening mode for the compiler - Clang Frontend
discourse.llvm.org·13h·
Discuss: Hacker News, r/cpp
🏭Compiler Backends
Verification debt is the AI era's technical debt
kevinbrowne.ca·1d·
Discuss: Hacker News
⚙️Proof Engineering
ToolShell under siege: Check Point analyzes Chinese APT Storm-2603
securityaffairs.com·21h
💣ZIP Vulnerabilities
Raspberry Pi RP2350 A4 Stepping Addresses E9 Current Leakage Bug
hackaday.com·1d
🔌Single Board PC
A novel language model for predicting serious adverse event results in clinical trials from their prospective registrations
arxiv.org·1d
🎵Audio ML
My 2.5 year old laptop can write Space Invaders in JavaScript now
simonwillison.net·3d·
Discuss: Hacker News, r/LocalLLaMA
🧪Binary Fuzzing
Machine Learning Fundamentals: k-nearest neighbors project
dev.to·2d·
Discuss: DEV
🗂️Vector Search
Turning my Surface Book 2 into a part-time AI/GPU server
reddit.com·6h·
Discuss: r/homelab
🏠Homelab
Should we still Learn to Code in the Age of AI?
dev.to·21h·
Discuss: DEV
🔄Language Evolution
React Libraries for Building AI-Powered Apps
dev.to·1d·
Discuss: DEV
🎙️Whisper
Real AI vs. Automation: What Developers Need to Know
dev.to·1h·
Discuss: DEV
🤖AI Curation
Toward the Autonomous AI Doctor: Quantitative Benchmarking of an Autonomous Agentic AI Versus Board-Certified Clinicians in a Real World Setting
arxiv.org·1d
🔲Cellular Automata