Security advisory: Uncontrolled Recursion and Use-After-Free vulnerabilities in Qt SVG module impact Qt
qt.io·1d
🛡️WASM Security
The End of Bandit: Meet Python Code Audit
nocomplexity.com·3d
🕵️Penetration Testing
OpenSSL 3.6 Released with New FIPS, LMS Signatures
linuxiac.com·3d
📜Proof Carrying Code
MoonScript, a language that compiles to Lua
moonscript.org·2d
🔗Concatenative Programming
mesh-spreadsheet: data & code editor
github.com·5h·
Discuss: Lobsters
🦀Rust Macros
Level Up your Rust pattern matching
blog.cuongle.dev·5d·
Discuss: Hacker News, r/rust
🦀Rust Verification
Daniel Stenberg's note on AI assisted curl bug reports
simonwillison.net·2d
🚀Indie Hacking
Kevin Buzzard and Alex Kontorovich on the Future of Formal Mathematics
renaissancephilanthropy.org·1d·
Discuss: Hacker News
🔬Lean
Grounding AI with Wittgenstein: From Language-Games to Epistemic Honesty
marcoeg.medium.com·2d·
Discuss: Hacker News
🌳Context free grammars
Be Worried
dlo.me·1d·
Discuss: Hacker News
🤖AI Curation
Microsoft scrambles to fix annoying Defender issue that demands users update their devices
techradar.com·1d
🔒Secure Boot
Native iOS SwiftUI Client for Actual Budget
github.com·12h·
Discuss: Lobsters, Hacker News
🍎XNU Internals
TechWorld with Nana: Kafka Crash Course - Hands-On Project
dev.to·21h·
Discuss: DEV
🌊Apache Kafka
Foremost, Fastest, Shortest: Temporal Graph Realization under Various Path Metrics
arxiv.org·2d
🕸️Network Topology
Efficient Quantum Field Theory Simulations via Hybrid Tensor Network & Variational Autoencoder Approach
dev.to·12h·
Discuss: DEV
🕸️Tensor Networks
Advancing Automated Ethical Profiling in SE: a Zero-Shot Evaluation of LLM Reasoning
arxiv.org·3d
💻Programming languages
HalluGuard: Evidence-Grounded Small Reasoning Models to Mitigate Hallucinations in Retrieval-Augmented Generation
arxiv.org·3d
📋Document Grammar
Breaking down Go's sync package
dev.to·2d·
Discuss: DEV
🔄Sync Engine
Detoxifying Large Language Models via Autoregressive Reward Guided Representation Editing
arxiv.org·2d
💻Local LLMs
VidGuard-R1: AI-Generated Video Detection and Explanation via Reasoning MLLMs and RL
arxiv.org·2d
📊Learned Metrics