How I provide technical clarity to non-technical leaders
seangoedecke.com·9h
⚙️Proof Engineering
Tool or Agent? The impact of AI in your code and in your wallet It all boils down to math again!
blog.codeminer42.com·2d
⚡Proof Automation
So What Now?
micro.mu·12h·
Discuss: Hacker News
🧲Magnetic Philosophy
Show HN: Munshig – runtime API security proxy that catches BOLA and SQLi
news.ycombinator.com·5h·
Discuss: Hacker News
🛡️eBPF Security
Opinion | The A.I. Prompt That Could End the World
future.forem.com·1d·
Discuss: DEV
🤖AI Curation
Quantum capacity amplification via privacy
arxiv.org·5d
⚛️Quantum Compression
Simulating and Understanding Deceptive Behaviors in Long-Horizon Interactions
arxiv.org·5d
✨Algebraic Effects
I Wrote 42 Books Using ChatGPT: Here's What I Learned About Prompting
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Parameterized Complexity of s-Club Cluster Edge Deletion
arxiv.org·3d
🧮Kolmogorov Complexity
Automated Fault Isolation & Healing in Linear Control Systems via Multi-Modal Data Fusion & Reinforcement Learning
dev.to·1d·
Discuss: DEV
🛡️Error Boundaries
LLC Artificial Intelligence Trained to Lie by Omission
dev.to·19h·
Discuss: DEV
📏Code Metrics
Fast, Declarative Open Graph Image Generation in Python
dev.to·7h·
Discuss: DEV
📸PNG Optimization
Certifiable Safe RLHF: Fixed-Penalty Constraint Optimization for Safer Language Models
arxiv.org·5d
🔗Parser Combinators
More Than Code: Gearing Up for the Hackathon of the Year!🚀
dev.to·13h·
Discuss: DEV
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Bayesian Decision Making around Experts
arxiv.org·2d
🧮Kolmogorov Bounds
RedTWIZ: Diverse LLM Red Teaming via Adaptive Attack Planning
arxiv.org·3d
⚔️Lean Tactics
From Documents to Dialogue: A step-by-step RAG Journey
dev.to·1d·
Discuss: DEV
📊Multi-vector RAG
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.to·5h·
Discuss: DEV
🌀Brotli Internals
Enhancing Vector Signal Generator Accuracy with Adaptive Polynomial Regression Calibration
dev.to·1d·
Discuss: DEV
📡Audio Modulation
Go and PocketBase: Shortified!
dev.to·3d·
Discuss: DEV
⚡gRPC