The End of Bandit: Meet Python Code Audit
nocomplexity.com·2d
🕵️Penetration Testing
OpenSSL 3.6 Released with New FIPS, LMS Signatures
linuxiac.com·2d
📜Proof Carrying Code
MoonScript, a language that compiles to Lua
moonscript.org·1d
🔗Concatenative Programming
Level Up your Rust pattern matching
blog.cuongle.dev·4d·
Discuss: Hacker News, r/rust
🦀Rust Verification
Grounding AI with Wittgenstein: From Language-Games to Epistemic Honesty
marcoeg.medium.com·1d·
Discuss: Hacker News
🌳Context free grammars
Reversing the Technical Interview (2017)
aphyr.com·2d·
Discuss: Hacker News
🎮Switch Archaeology
Kevin Buzzard and Alex Kontorovich on the Future of Formal Mathematics
renaissancephilanthropy.org·14h·
Discuss: Hacker News
🔬Lean
Daniel Stenberg's note on AI assisted curl bug reports
simonwillison.net·1d
🚀Indie Hacking
Microsoft scrambles to fix annoying Defender issue that demands users update their devices
techradar.com·13h
🔒Secure Boot
Quantum Entanglement Unlocks Unbreakable Randomness for Next-Gen Cryptography
hackernoon.com·3d
🔐Quantum Security
A $50 'Battering RAM' Can Bust Confidential Computing
darkreading.com·2d
🔓Hacking
SpurBreast: A Curated Dataset for Investigating Spurious Correlations in Real-world Breast MRI Classification
arxiv.org·1d
🧠Machine Learning
MCM-DPO: Multifaceted Cross-Modal Direct Preference Optimization for Alt-text Generation
arxiv.org·2d
📋Document Grammar
Normality Calibration in Semi-supervised Graph Anomaly Detection
arxiv.org·1d
🌈Spectral Methods
Building High-Performance Lock-Free Data Structures in Go for Concurrent Systems
dev.to·3d·
Discuss: DEV
⚡Hardware Transactional Memory
SimulRAG: Simulator-based RAG for Grounding LLMs in Long-form Scientific QA
arxiv.org·3d
🧠Intelligence Compression
Non-Contact Structural Health Monitoring via Modal Resonance Fingerprinting and AI-Driven Anomaly Detection
dev.to·20h·
Discuss: DEV
👁️System Observability
Why Can't Transformers Learn Multiplication? Reverse-Engineering Reveals Long-Range Dependency Pitfalls
arxiv.org·2d
🧠Machine Learning
Supercharge Your PINNs: Exploiting Hidden Symmetries for 10x Performance
dev.to·2d·
Discuss: DEV
💎Information Crystallography
EditTrack: Detecting and Attributing AI-assisted Image Editing
arxiv.org·2d
🔍Vector Forensics