New Prototype: RIPE Atlas Traceroute Visualisation Tool
labs.ripe.net·1d
📡BGP Archaeology
Analysis: Productivity starts in our kitchens and at the school gate
abc.net.au·1d
🌍Cultural Computing
GPTs and feeling left behind
whynothugo.nl·1d
⚡Proof Automation
Monday 4 August, 2025
memex.naughtons.org·3d
📲Digitization
Favourites of July 2025
brainbaking.com·2d
🕸️Knowledge Graphs
Five ways that AI is learning to improve itself
technologyreview.com·1d
🌍Cultural Algorithms
ChatGPT Spoiled My Semester
benborgers.com·1h·
Discuss: Hacker News
🌱Personal Wikis
Introducing luzer, a coverage-guided Lua fuzzing engine
bronevichok.ru·2d·
Discuss: Lobsters, Hacker News
🧪Binary Fuzzing
The hiring test that defeated AI
bitecode.dev·1d·
Discuss: Hacker News
✅Shell Verification
If You Had a Bad Manager You Appreciate When You have a Good One
newsletter.eng-leadership.com·7h·
Discuss: r/programming
🎯Content Recommendation
Confronting AI’s Next Big Challenge: Inference Compute
thenewstack.io·17h
💾Persistence Strategies
My Favorite Amazon Deal of the Day: The Beats Powerbeats Pro 2 Earbuds
lifehacker.com·13h
👁️Perceptual Coding
UN Report: Digital IDs and Vaccine Passports Set to Expand to Animals
hackernoon.com·2d
🔗Data Provenance
Hardware Has Changed
buttondown.com·1d·
Discuss: Hacker News
🖥️Terminal Renaissance
I spent 80% of my time planning and 20% coding with AI tools
news.ycombinator.com·10h·
Discuss: Hacker News
⚔️Lean Tactics
Responsible AI for the payments industry – Part 1
aws.amazon.com·10h
🌊Stream Processing
From Propagator to Oscillator: The Dual Role of Symmetric Differential Equations in Neural Systems
arxiv.org·6d
🔲Cellular Automata
Designing for Intelligence, Efficiency, and Accessibility
hackernoon.com·3d
📟CLI Design
Minimize AI hallucinations and deliver up to 99% verification accuracy with Automated Reasoning checks: Now available
aws.amazon.com·15h·
Discuss: Hacker News
⚡Proof Automation
Talk Highlights: Documenting the Design of the Linux Kernel – Chuck Wolber, The Boeing Company; Kate Stewart, The Linux Foundaiton; Gabriele Paoloni, Red Hat
elisa.tech·23h
📜Proof Carrying Code