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
Issue 729
iosdevweekly.com·2d
🔌Interface Evolution
MoonScript, a language that compiles to Lua
moonscript.org·2d
🔗Concatenative Programming
Level Up your Rust pattern matching
blog.cuongle.dev·5d·
Discuss: Hacker News, r/rust
🦀Rust Verification
Biothreat hunters catch dangerous DNA before it gets made
nature.com·2d
🌸Bloom Variants
Securing AI agents at the scale of the internet
godaddy.com·2d·
Discuss: Hacker News
🌳Archive Merkle Trees
Reversing the Technical Interview (2017)
aphyr.com·3d·
Discuss: Hacker News
🎮Switch Archaeology
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·7h·
Discuss: Lobsters, Hacker News
🍎XNU Internals
Towards Safe Reasoning in Large Reasoning Models via Corrective Intervention
arxiv.org·4d
📏Linear Logic
Build an Aspire API Using Microsoft OpenAI, Scalar, OpenRouter, Structured Output, and Custom Headers
dev.to·1d·
Discuss: DEV
⚡gRPC
Advancing Automated Ethical Profiling in SE: a Zero-Shot Evaluation of LLM Reasoning
arxiv.org·2d
💻Programming languages
HalluGuard: Evidence-Grounded Small Reasoning Models to Mitigate Hallucinations in Retrieval-Augmented Generation
arxiv.org·2d
📋Document Grammar
Breaking down Go's sync package
dev.to·2d·
Discuss: DEV
🔄Sync Engine
Building an Document Analysis Bot with RAG: A Deep Dive into LLMWare and Streamlit
dev.to·2d·
Discuss: DEV
📄Document Streaming