Well-Typed.Com: Verifying and testing timeliness constraints with io-sim
well-typed.com·18h
🔍Concolic Testing
Our APWG eCrimes Paper on Tech Support Scam Facebook Groups
garwarner.blogspot.com·16h·
Discuss: garwarner.blogspot.com
🎫Kerberos Attacks
Math that feels good: creating learning resources for blind students
aimath.org·1d
✋Tactile Computing
No more spaghetti – Operational CTI Value of VMRay UniqueSignal x OpenCTI
vmray.com·4h
🖥️Modern Terminals
Scandinavian Folktale - Media Chomp
mediachomp.com·12h
🇸🇪Nordic Algorithms
Building Transformer Models from Scratch with PyTorch (10-day Mini-Course)
machinelearningmastery.com·1d
🤖Grammar Induction
Apple Renames ‘Apple TV+’ to ‘Apple TV’
apple.com·2h·
Discuss: Hacker News
📦Digital Cinema Package
US Smithsonian museums and National Zoo close due to government shutdown
theguardian.com·2h
🌡️Preservation Physics
Intelligent Hillclimbing
judgmentlabs.ai·8h·
Discuss: Hacker News
📏Code Metrics
Software can be finished
rosswintle.uk·4h·
Discuss: Hacker News
🔄Reproducible Builds
What Dynamic Typing Is For
unplannedobsolescence.com·1d·
Discuss: Lobsters, Hacker News
📝Concrete Syntax
Lisbon voters reelect mayor in spite of horrific streetcar crash
the-independent.com·10h
💻Local first
Report: New Apple products such as iPads as early as this week
heise.de·8h
🍎Apple Computing
Estimating Brain Activity with High Spatial and Temporal Resolution using a Naturalistic MEG-fMRI Encoding Model
arxiv.org·14h
📊Quantization
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.to·8h·
Discuss: DEV
🚀Indie Hacking
In Conversation with Sarah Kogan: 20th Oct 2025
chu.cam.ac.uk·8h
📐Mathematical Art
"Not another GPT wrapper"
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.to·20h·
Discuss: DEV
🎬WebCodecs
Automated Fraction Collection Optimization via Dynamic Peak Prioritization and Real-Time Gradient Adjustment
dev.to·12h·
Discuss: DEV
☕Precision Brewing
Iterative LLM-Based Generation and Refinement of Distracting Conditions in Math Word Problems
arxiv.org·14h
🧮SMT Solvers