It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols
cacm.acm.org·3d
🌐NetworkProtocols
Micropatches Released for Windows Disk Cleanup Tool Elevation of Privilege Vulnerability (CVE-2025-21420)
blog.0patch.com·2d·
Discuss: blog.0patch.com
🎯NTLM Attacks
Football: Spanish harmony to battle English resilience in Women's Euro final
france24.com·45m
📇Dublin Core
More sizzle than steak? Using an LLM to produce verified bug fixes (new preprint)
bertrandmeyer.com·2d
⚡Proof Automation
ToolShell: Remote Code Execution in Microsoft SharePoint (CVE-2025-53770)
lab.wallarm.com·1d
🌐WASI
The Real Python Podcast – Episode #258: Supporting the Python Package Index
realpython.com·1d
🌀Brotli Internals
Obscura Day Summer 2025: Literary Landmarks Across Providence
atlasobscura.com·1d
📕Bookbinding
Thought To Be Impossible – Scientists Rewrite a Material’s “Magnetic DNA”
scitechdaily.com·1d
⏰Time Crystals
Title: Google's New Web Guide Search Experiment: Organizing Search Results with AI
dev.to·1d·
Discuss: DEV
📊Search Ranking
What does the public want their local government to hear? A data-driven case study of public comments across the state of Michigan
arxiv.org·2d
🏛Digital humanities
EU’s Latest AI Bureaucratic Overreach: Mandatory Templates for AI-Model Training Data Disclosure
hackernoon.com·2d
⚖️Legal Compliance
SpectroTAP: Researchers develop new technology to study catalysts
phys.org·1d
🌈Spectroscopy
Show HN: UniversalBit – A new binary protocol to connect voice, video and DNA
github.com·1d·
Discuss: Hacker News
👂Audio Evidence
Torchvista: Building an Interactive Pytorch Visualization Package for Notebooks
towardsdatascience.com·3d
🦀Rust Macros
Incompetence as a Virtue
dev.to·1d·
Discuss: DEV
🗺️Competency Maps
Speaker Disentanglement of Speech Pre-trained Model Based on Interpretability
arxiv.org·2d
🎵Audio ML
Disaster Informatics after the COVID-19 Pandemic: Bibliometric and Topic Analysis based on Large-scale Academic Literature
arxiv.org·3d
🎭Cultural Informatics
Supercharge Your Workflows with eZintegrations™ AI Document Understanding
dev.to·3d·
Discuss: DEV
📄Document AI
Axiomatizing Rumsfeld Ignorance
arxiv.org·2d
🔲Proof Irrelevance
HumanMaterial: Human Material Estimation from a Single Image via Progressive Training
arxiv.org·2d
📊Learned Metrics