🏛️ Agda

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

Mavo Phantox Pro Review: A Hidden Gem
coffeechronicler.com·1d
☕Coffee
Inside Rob Gronkowski's Beautiful Mind
forbes.com·3h
📼Tape Algebra
Sequential
inkdroid.org·1d
ℹ️Information Theory
Establishing verifiable security: Reproducible builds and AWS Nitro Enclaves
aws.amazon.com·6d·
Discuss: Hacker News
🔄Reproducible Builds
The steps we take, the hours we sleep, the books we read — why are we counting everything?
english.elpais.com·9h
🧠Intelligence Compression
AI's Security Crisis: Why Your Assistant Might Betray You
lastweekinaws.com·3d·
Discuss: Hacker News
📰RSS Archaeology
AI Efficiency? Give Me a Break
luolink.substack.com·3d·
Discuss: Substack
🧠Intelligence Compression
IMac-Style IPhone Charging Stand With Sleep Reminder
hackster.io·21h
⚙️DIY Electronics
Wavelet-Based Doppler Shift Compensation for High-Resolution Synthetic Aperture Radar (SAR) Imagery
dev.to·1d·
Discuss: DEV
🌊Digital Signal Processing
AR-GRPO: Training Autoregressive Image Generation Models via Reinforcement Learning
arxiv.org·5d
📊Learned Metrics
🚀 Dev-Elevate – AI-Powered Developer Growth Platform
dev.to·1d·
Discuss: DEV
🚀Indie Hacking
Homelab in progress - and also my parrot that is a home data center inspector 🦜
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Generative AI Skills Every Data Scientist Needs in 2025
dev.to·5d·
Discuss: DEV
⚡Proof Automation
Beyond Automation: The Role of AI and Gen AI in Modern Software Testing
dev.to·4d·
Discuss: DEV
🔍Concolic Testing
The Top AI Tool for Devs Isn’t GitHub Copilot, New Report Finds
thenewstack.io·1d
👁️System Observability
Which LLM Gateway Should You Choose for Your AI Applications?
dev.to·4d·
Discuss: DEV
🖥️Modern Terminals
The brink of new AI standard
dev.to·3d·
Discuss: DEV
⚔️Lean Tactics
Google Jules: Vulnerable to Multiple Data Exfiltration Issues
embracethered.com·3d
🕵️Vector Smuggling
The Memory Architects - Chapter 11: The Infinite Garden
dev.to·2d·
Discuss: DEV
⏰Time Crystals
Chimera: Harnessing Multi-Agent LLMs for Automatic Insider Threat Simulation
arxiv.org·5d
🎯Threat Hunting