Pointwise definable end-extensions of models of arithmetic and set theory, Changchun, China, July 2025
jdh.hamkins.org·18h
🏗️Constructive Mathematics
There is a std::chrono::high_resolution_clock, but no low_resolution_clock
devblogs.microsoft.com·18h·
Discuss: r/cpp
🎯Emulation Accuracy
What would Socrates and Plato say about AI? Former Greek leader George Papandreou has some ideas
euronews.com·8h
🔲Cellular Automata
DR Congo’s M23 conflict: Rebels give BBC rare access to a mine powering mobile phones
madcornishprojectionist.co.uk·23h
⚗️Soviet Computers
Understanding and Managing Cyber Risk: An Exposure Management FAQ for Business Leaders
tenable.com·19h
🛡Cybersecurity
Watch the on-demand webinar: Shift left without the strain
portswigger.net·19h
👁️System Observability
CitrixBleed 2 situation update — everybody already got owned
doublepulsar.com·13h
🎫Kerberos Attacks
The State of Cyber Risk 2025: Business Context Needed
blog.qualys.com·17h
🛡Cybersecurity
Old Tricks, New Tech: How Legacy Media Capture Fuels Digital Authoritarianism
techpolicy.press·7h·
Discuss: Hacker News
📰RSS Archaeology
Stopping the rot when good software goes bad means new rules from the start
theregister.com·21h·
Discuss: Hacker News
✅Archive Fixity
Sysbox Container Runtime
github.com·17h·
Discuss: Hacker News
📦Container Security
Help validate a new open-source prototyping platform!
reddit.com·2d·
Discuss: r/homelab
🎮Switch Archaeology
How Blockchain Can Simplify Post-Merger Master Data Management
hackernoon.com·6d
🔗Data Provenance
ClaritySpeech: Dementia Obfuscation in Speech
arxiv.org·4h
💿FLAC Archaeology
Mechanistic Indicators of Understanding in Large Language Models
arxiv.org·1d
💻Programming languages
Information geometric regularization of the barotropic Euler equation
arxiv.org·4h
🌀Differential Geometry
Enhancing Clinical Text Classification via Fine-Tuned DRAGON Longformer Models
arxiv.org·4h
🔤Character Classification
Understanding Pan-Sharpening via Generalized Inverse
arxiv.org·4h
📐Projective Geometry
From Shipping Containers to Software: Understanding Docker and Kubernetes
dev.to·2d·
Discuss: DEV
📦Container Security
Building a Multi-Agent Containerization System at Bunnyshell
dev.to·3d·
Discuss: DEV
🏠Homelab Orchestration