Monday 8 September, 2025
memex.naughtons.org·17h
🧲Magnetic Philosophy
Rightwing preppers should be the biggest boosters of this climate solution
theguardian.com·1d
🧊Arctic Storage
I made a crackme that unlocks a free copy of my book
blog.ryanmerket.com·1d·
Discuss: Hacker News
🔬Binary Analysis
Interrupts – The Heartbeat of a Unix Kernel
leftasexercise.com·3d·
Discuss: Hacker News
🖥️Modern Terminals
The Rise and Demise of RSS
twobithistory.org·3h·
Discuss: Hacker News
📡Feed Archaeology
Formally verifying a floating-point division routine with Gappa – part 1
community.arm.com·4d·
Discuss: Lobsters, Hacker News, r/programming
📐Interval Arithmetic
Learning to code from scratch with AI: what worked, what didn't
indiehackers.com·1d·
Discuss: Hacker News
🏗️Compiler Archaeology
The High Cost of Keeping Warm: Characterizing Overhead in Serverless Autoscaling Policies
arxiv.org·4d
🌊Streaming Systems
Linux - Recreating old problems with new tools
dedoimedo.com·3d·
Discuss: Hacker News, Hacker News
🔌Operating system internals
🚀 How PySpark Helps Handle Terabytes of Data Easily
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Vision: An Extensible Methodology for Formal Software Verification in Microservice Systems
arxiv.org·4d
⚖️Verification Calculi
Simplify Validation in Golang— No Struct Tags, No Reflection, TypeSafety: Meet GoValidator
dev.to·3d·
Discuss: DEV
✅Format Verification
The Architecture of AI Transformation: Four Strategic Patterns and an Emerging Frontier
arxiv.org·4d
🕹Emulation Theory
Real-Time Fracture Prediction in Ultra-High-Performance Concrete Using Embedded Acoustic Emission Networks
dev.to·4d·
Discuss: DEV
🧠Machine Learning
FloodVision: Urban Flood Depth Estimation Using Foundation Vision-Language Models and Domain Knowledge Graph
arxiv.org·12h
🤖Advanced OCR
CloudFormer: An Attention-based Performance Prediction for Public Clouds with Unknown Workload
arxiv.org·4d
👁️Observatory Systems
Autonomous Volumetric Mapping & Predictive Hazard Assessment in Lava Tube Robotic Exploration
dev.to·2d·
Discuss: DEV
🏺Computational Archaeology
I tested this WavLink docking station and it's made for those who don’t like Thunderbolt ports, but want to connect 10K monitors to their laptop
techradar.com·22h
🖥️Modern Terminals
Navigating the rise of Shadow AI in project-based businesses
techradar.com·1h
🌍Cultural Algorithms
Unlocking Hidden Order: Differentiable Entropy as a Code Optimizer
dev.to·3d·
Discuss: DEV
🧠Machine Learning