🏛️ Agda

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

Why False Equivalence Is One Of Democracy’s Most Dangerous Lies
techdirt.com·5h
🧲Magnetic Philosophy
The Methods of Science & Medieval Rainbows
brianschrader.com·3h·
Discuss: Hacker News
🌈Color Science
A Bash Script for Default File Associations
blog.msar.me·21h·
Discuss: Hacker News
🐚Shell Automation
Hypothesis is now thread-safe
hypothesis.works·3d·
Discuss: Lobsters, Hacker News
🧠Program Logic
Debian 13 "Trixie" Released: What’s New in the Latest Version?
news.itsfoss.com·23h·
Discuss: Hacker News
🔌Operating system internals
Will Secure AI Be the Hottest Career Path in Cybersecurity?
darkreading.com·13h
🛡Cybersecurity
Cursor's Popularity Has Come at a Cost. GPT-5 May Have Arrived at the Right Time
newcomer.co·1d·
Discuss: Hacker News
🔓Open Source Software
I hate AI, but I don’t know why.
reddit.com·1d·
Discuss: r/artificial
🔲Cellular Automata
How far can we push AI autonomy in code generation?
martinfowler.com·6d·
Discuss: Hacker News
⚡Proof Automation
Python Challenge #2 -Data Types Demystified!
dev.to·3d·
Discuss: DEV
🧮Algebraic Datatypes
.aix – A portable execution format for scoped AI (personas, tools, and logic)
github.com·4d·
Discuss: Hacker News
🔒WASM Capabilities
Interpretable Rheumatoid Arthritis Scoring via Anatomy-aware Multiple Instance Learning
arxiv.org·23h
📊Learned Metrics
Sanboxed Claude Code
dev.to·5h·
Discuss: DEV
📦Container Security
3DGabSplat: 3D Gabor Splatting for Frequency-adaptive Radiance Field Rendering
arxiv.org·3d
📐Projective Geometry
Conformal Sets in Multiple-Choice Question Answering under Black-Box Settings with Provable Coverage Guarantees
arxiv.org·3d
🧮Kolmogorov Bounds
🧠 MindMirror: Real-time Mental Health Analysis with RedisAI
dev.to·2d·
Discuss: DEV
🌊Apache Kafka
Enhanced Nitrogen Use Efficiency via Adaptive Microbial Consortium Modeling & Predictive Bioreactor Control
dev.to·1d·
Discuss: DEV
🔲Cellular Automata
Agentic AI for Smart Meter Reading & Anomaly Detection : A Developer’s Guide
dev.to·2d·
Discuss: DEV
👁️Observatory Systems
Show HN: Blueprint, a desktop app to guard against rogue LLMs
github.com·4d·
Discuss: Hacker News
🔌Interface Evolution
Sprouting technology otherwise, hospicing negative commons -- Rethinking technology in the transition to sustainability-oriented futures
arxiv.org·23h
🧲Magnetic Philosophy