Open Security News week 30-2025
nocomplexity.com·1d
🔓Hacking
ChatGPT can be a disaster for lawyers — Robin AI says it can fix that
theverge.com·15h
⚡Proof Automation
FSD meeting recap 2025-07-25
fsf.org·9h
📋PREMIS Events
AI Is Testing AI-Generated Code: Should You Trust It?
thenewstack.io·17h
⚡Proof Automation
Mk in Go
github.com·21h
🐚Shell Combinators
Optimi-Zi(n)g Sudoku-Solving
log.pfad.fr·3d·
Discuss: Lobsters, Hacker News
🧮Z3 Solver
Landing Pages for Early-Stage Startups
gonsanchezs.com·6h·
Discuss: Hacker News
📦Deflate
Changelog #296
rust-analyzer.github.io·1d·
Discuss: Hacker News
🦀Rust Macros
🎨 Built a HEX to RGB Color Converter That Actually Helps Designers Think in Code
dev.to·9h·
Discuss: DEV
🔠Terminal Fonts
Claude Code x multithreading
reddit.com·1d·
Discuss: r/artificial
🦀Rust Macros
Prometheus + OpenTelemetry + dotnet
reddit.com·5h·
Discuss: r/kubernetes
👁️Observatory Systems
New insights could help phages defeat antibiotic resistant bacteria
phys.org·14h
📦Container Security
Neco is a C library that provides concurrency using coroutines
github.com·18h·
Discuss: Hacker News
🔩Systems Programming
I Accidentally Discovered a Hidden Gem for Testing Premium AI Models (Completely Free!)
dev.to·2d·
Discuss: DEV
🔍Concolic Testing
Sequential Operation of Residential Energy Hubs
arxiv.org·1h
📼Cassette Protocols
Top Skills Data Scientists Should Learn in 2025
kdnuggets.com·13h
🧪Data science
Investigation of Accuracy and Bias in Face Recognition Trained with Synthetic Data
arxiv.org·1h
📊Learned Metrics
Beyond Text: Probing K-12 Educators' Perspectives and Ideas for Learning Opportunities Leveraging Multimodal Large Language Models
arxiv.org·1h
🏛Digital humanities
Aligning Large Language Model Agents with Rational and Moral Preferences: A Supervised Fine-Tuning Approach
arxiv.org·1h
💻Local LLMs
HeartUnloadNet: A Weakly-Supervised Cycle-Consistent Graph Network for Predicting Unloaded Cardiac Geometry from Diastolic States
arxiv.org·1d
🌀Riemannian Computing