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·1d
🔗Concatenative Programming
Level Up your Rust pattern matching
blog.cuongle.dev·5d·
Discuss: Hacker News, r/rust
🦀Rust Verification
Kevin Buzzard and Alex Kontorovich on the Future of Formal Mathematics
renaissancephilanthropy.org·1d·
Discuss: Hacker News
🔬Lean
Daniel Stenberg's note on AI assisted curl bug reports
simonwillison.net·2d
🚀Indie Hacking
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·1h·
Discuss: Lobsters, Hacker News
🍎XNU Internals
TechWorld with Nana: Kafka Crash Course - Hands-On Project
dev.to·10h·
Discuss: DEV
🌊Apache Kafka
Foremost, Fastest, Shortest: Temporal Graph Realization under Various Path Metrics
arxiv.org·1d
🕸️Network Topology
Asymmetric Proximal Policy Optimization: mini-critics boost LLM reasoning
arxiv.org·1d
💻Local LLMs
sentdex: Unitree G1 Security Disaster
dev.to·2d·
Discuss: DEV
🔓Hacking
Build an Aspire API Using Microsoft OpenAI, Scalar, OpenRouter, Structured Output, and Custom Headers
dev.to·1d·
Discuss: DEV
⚡gRPC
GemDetox at TextDetox CLEF 2025: Enhancing a Massively Multilingual Model for Text Detoxification on Low-resource Languages
arxiv.org·1d
🚀SIMD Text Processing
Building an Document Analysis Bot with RAG: A Deep Dive into LLMWare and Streamlit
dev.to·2d·
Discuss: DEV
📄Document Streaming
Towards Safe Reasoning in Large Reasoning Models via Corrective Intervention
arxiv.org·4d
📏Linear Logic
Building My First Large Language Model from Scratch
dev.to·1d·
Discuss: DEV
🤖Grammar Induction
Efficient Quantum Field Theory Simulations via Hybrid Tensor Network & Variational Autoencoder Approach
dev.to·1h·
Discuss: DEV
🕸️Tensor Networks