AI and the ironies of automation - Part 1
ufried.com·2d
⚡Proof Automation
Flag this post
New Al Zimmermann's Programming Contests: Powerful Sums
azspcs.com·16h·
Discuss: Hacker News
🧮SMT Solvers
Flag this post
A New Bridge Links the Strange Math of Infinity to Computer Science
quantamagazine.org·1d·
Discuss: Hacker News, r/compsci
📐Mathematical Art
Flag this post
The Qtile Window Manager: A Python-Powered Tiling Experience
tech.stonecharioteer.com·2d·
Discuss: Hacker News
🔌Operating system internals
Flag this post
Don't be blinded by the web. The world is stagnating (2011)
theguardian.com·14h·
Discuss: Hacker News
🧲Magnetic Philosophy
Flag this post
Is Matrix Multiplication Ugly?
mathenchant.wordpress.com·1d·
Discuss: Hacker News
🔬Lean
Flag this post
Saving a Rental Ebike From the Landfill
hackaday.com·4h
⚡Circuit Archaeology
Flag this post
TopoReformer: Mitigating Adversarial Attacks Using Topological Purification in OCR Models
arxiv.org·2d
🤖Advanced OCR
Flag this post
Trillions Spent and Big Software Projects Are Still Failing
spectrum.ieee.org·30m
💾Persistence Strategies
Flag this post
Spiral Development for Hardware Programs
asbuilt.pub·2d·
Discuss: Hacker News
🛡️Error Boundaries
Flag this post
Nano Banana Pro cast a design spell in NotebookLM to explore the legend of Camelot
techradar.com·18h
🏛Digital humanities
Flag this post
Ray Holt and the Lost History of the First Multi-Chip Microprocessor – EEJournal
eejournal.com·5d·
Discuss: Hacker News
🧲RISC-V Archaeology
Flag this post
Where "Simulation" Came From
decomposition.al·2d·
Discuss: Hacker News
🔤Type Theory
Flag this post
_AugmentedIntelligence v3.0 (WIP)
reddit.com·1d·
Discuss: r/homelab
🎙️Whisper
Flag this post
Tech With Tim: These Tools Changed My Python Workflow
dev.to·5h·
Discuss: DEV
🔄Burrows-Wheeler
Flag this post
Adaptive Clock Distribution Network Synchronization via Dynamic FPGA Reconfiguration & Bayesian Inference
dev.to·23h·
Discuss: DEV
🔍FPGA Verification
Flag this post
My Home Lab setup and what to do next with blackfriday??
reddit.com·2d·
Discuss: r/kubernetes
🖥Home Lab Setup
Flag this post
Exploring Thompson Sampling for model selection
sourcepilot.co·3h·
Discuss: Hacker News
🔍Type Inference
Flag this post
Systems design 3: LLMs and the semantic revolution
apenwarr.ca·2d·
Discuss: Hacker News, Hacker News
💻Programming languages
Flag this post
The Small Capacity Memory Card Championship (Japan) results are in — a 0.5MB SmartMedia card won, but a 2KB Casio battery-backed RAM card lost due to a technica...
tomshardware.com·1d
🕹️Retro Gaming
Flag this post