I got a job within 30 days by sending personalized slide decks in place of cover letters. See how I did it.
businessinsider.com·9h
📐Proof Assistants
Week 30 Status
blogs.gnome.org·4d
⚡Proof Automation
Hiroshima (1946)
newyorker.com·7h·
Discuss: Hacker News
🔐Soviet Cryptography
MaaS Appeal: An Infostealer Rises From The Ashes
elastic.co·4d
🚀Indie Hacking
Machine learning by satisfiability solving
johndcook.com·2d
🎯Performance Proofs
ImitationGame - Unconscious Ship Magnet
archiveofourown.org·1d
🔲Cellular Automata
Wingware: Wing Python IDE Version 11.0.3 - August 1, 2025
wingware.com·1d
🔄Language Evolution
Hijacking multi-agent systems in your PajaMAS
blog.trailofbits.com·2d·
Discuss: Hacker News
🔒WASM Capabilities
Agile Is (Half) Dead
thealephengine.substack.com·1d·
Discuss: Substack
🔄Language Evolution
Apple Is Making It Borderline Ridiculous to Fix an iPad
lifehacker.com·1d
🎮Switch Archaeology
AI Pushes Imaging to the Absolute Brink of Physical Limits
scitechdaily.com·9h
🔬Optical Physics
6 Things You Need to Consider Before Buying a Software Company
hackernoon.com·1d
🎯Recommendation Metrics
Internal pair production could enable direct detection of dark matter
phys.org·2d
⚛️Quantum Storage
Adobe Security Recap: 2024 Ambassador World Cup Final Four
hackerone.com·1d
🎫Kerberos Exploitation
Laurence Tratt: Which Parsing Approach?
tratt.net·4d·
Discuss: r/programming
📝Parsing Grammars
🧠 List of Free AI Chatbots for Coding (That Won’t Steal Your Job)
dev.to·6h·
Discuss: DEV
⚡Proof Automation
🚀 I Built a DSA Learning App with React + Firebase + YouTube API — Meet AlgoBites
dev.to·1d·
Discuss: DEV
⚔️Lean Tactics
Exploring the Economics of AI Software Development
dev.to·1d·
Discuss: DEV
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
DocuMind - Production-Ready Semantic Document Search with Redis 8 Vector Sets
dev.to·1d·
Discuss: DEV
🤖Archive Automation
SCORPION: Addressing Scanner-Induced Variability in Histopathology
arxiv.org·4d
📄Document Digitization