🏛️ Agda

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

Managing Microsoft Defender Alerts: Practical Fixes for Alert Fatigue
vmray.com·2d
🎯Threat Hunting
2025 BSidesLV CVE Panel – My Comments
jericho.blog·1d
🔓Hacking
Controversial quantum-computing paper gets hefty correction — but concerns linger
nature.com·2d
⚛️Quantum Tape
The Heart Breaking Inadequacy Of AbortController
frontside.com·4d·
Discuss: Hacker News, r/javascript
✨Effect Handlers
This Week In Techdirt History: August 10th – 16th
techdirt.com·10h
📡Feed Archaeology
Modifying Other People's Software
natkr.com·3d·
Discuss: Lobsters, Hacker News
🌿git
VeriPHY: Physical Layer Signal Authentication for Wireless Communication in 5G Environments
arxiv.org·3d
🌊Stream Ciphers
conductor-oss/conductor
github.com·4d
🌊Streaming Systems
SABIA: An AI-Powered Tool for Detecting Opioid-Related Behaviors on Social Media
arxiv.org·2d
🧠Machine Learning
Complex behaving Hardware with CircuitPython - Part II
hackster.io·4d
⚡Circuit Design
STELAR-VISION: Self-Topology-Aware Efficient Learning for Aligned Reasoning in Vision
arxiv.org·4d
💻Local LLMs
Precise Dark Energy Simulation via Adaptive Gaussian Process Regression
dev.to·4d·
Discuss: DEV
🔍Vector Forensics
Hyperdimensional Molecular Logic for Multi-Disease Biomarker Signature Analysis
dev.to·4d·
Discuss: DEV
🧬Palindrome Codes
A Deep Dive into GEO (Generative Engine Optimization): The Ultimate Answer for Brand Growth in the AI Era
dev.to·3d·
Discuss: DEV
📊Feed Optimization
Vibe Coding 101: The Future of AI-Assisted Development
dev.to·3d·
Discuss: DEV
🎙️Whisper
Optimized Vacuum Infusion Resin Distribution via Adaptive Micro-Nozzle Arrays
dev.to·3d·
Discuss: DEV
☕Precision Brewing
Enhanced Geochemical Modeling with Machine Learning-Augmented Kinetic Parameter Optimization
dev.to·3d·
Discuss: DEV
🏺Computational Archaeology
Collective dynamics of strategic classification
arxiv.org·3d
🔲Cellular Automata
APIs, MCPs, or Both? Choosing the Right AI Integration Stack
dev.to·5d·
Discuss: DEV
🔌Interface Evolution
AI-Driven Predictive Modeling of TCR-T Cell Exhaustion Resistance via Multi-Modal Data Integration
dev.to·5d·
Discuss: DEV
✨Effect Handlers