🏛️ Agda

Dependent Types, Proof Assistant, Type-driven Development, Verification

How Agentic AI Helps with Adaptive Cloud Risk Assessment with Agent Vikram
blog.qualys.com·1d
👁️Observatory Systems
What Is the "Af"?
jdebp.uk·9h·
Discuss: Hacker News
📡DNS Archaeology
Documented source code for Aviator on the BBC Micro
aviator.bbcelite.com·15h·
Discuss: Hacker News
🎮Game Decompilation
Web hosts struggle to protect against WordPress vulnerabilities
patchstack.com·15h·
Discuss: Hacker News
🔓Hacking
I Hacked McDonald's (Security Contact Was Harder to Find Than Secret Recipe)
bobdahacker.com·2d·
Discuss: Hacker News
🔓Hacking
Price swings on OpenRouter might surprise you
newsletter.pricepertoken.com·2d·
Discuss: Hacker News
📡BGP Archaeology
My development team costs $41.73 a month
philipotoole.com·2d·
Discuss: Hacker News
🔓Open Source Software
"The Expanse Osiris Reborn": In the footsteps of "Mass Effect"
heise.de·9h
📟Terminal Physics
Dynamic SQL and JSON Fields
reddit.com·2d·
Discuss: r/golang
📋Protocol Buffers
Oracle will reportedly power a giant data center with gas generators
engadget.com·1d
🏠Homelab Federation
🌌 Building A Realistic 3D Solar System Simulator with Three.js
dev.to·23h·
Discuss: DEV
📟Terminal Physics
Lost Particle Resurfaces As the Key to Universal Quantum Computing
scitechdaily.com·4d
⚛️Information Physics
Making Finance Teams Love You: A Guide to Razorpay's Smart Collect
dev.to·1d·
Discuss: DEV
🔗Data Provenance
Machine Learning Models in Python for Botox Elmwood Marketing
dev.to·2d·
Discuss: DEV
🧠Machine Learning
Nonparametric learning of stochastic differential equations from sparse and noisy data
arxiv.org·4d
🧠Machine Learning
Amazon Q Developer for VS Code Vulnerable to Invisible Prompt Injection
embracethered.com·1d·
Discuss: Hacker News
🔓Hacking
Business Software with AI?
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Speciesism in AI: Evaluating Discrimination Against Animals in Large Language Models
arxiv.org·4d
🔲Cellular Automata
The Ninja Double Stack air fryer is perfect for small kitchens and large families – and it's now dropped below AU$400
techradar.com·3h
🧮Algorithmic Cooking
A Generalized Genetic Random Field Method for the Genetic Association Analysis of Sequencing Data
arxiv.org·3d
📈Mutual Information