🏛️ Agda

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

Valkyries takeaways: Golden State catches fire in second half to beat last-place Sun
mercurynews.com·9h
👑Isabelle
If you’ve designed a REST API that requires users to...
lmika.org·1d
🔗Hypermedia APIs
HRT's Python Fork: Leveraging PEP 690 for Faster Imports
hudsonrivertrading.com·3d·
Discuss: Hacker News
🦀Rust Borrowing
EU's new AI code of practice could set regulatory standard for US companies
rhodeislandcurrent.com·21h·
Discuss: Hacker News
⚖️Legal Compliance
SF Giants’ recent woes at Oracle Park continue with loss to Padres
mercurynews.com·7h
👁️Observatory Systems
Atomic-level simulations reveal new class of protein misfolding in high definition
phys.org·21h
🔲Cellular Automata
Free Software and the Future of Software Business Models
generativevalue.com·19h·
Discuss: Hacker News
🖥️Modern Terminals
When OpenAI Fires Your Favorite Coworker
relantic.com·3d·
Discuss: Hacker News
🔌Interface Evolution
🎑Beginners guide to "869. Reordered Power of 2"(C++ | JavaScript | Python)
dev.to·2d·
Discuss: DEV
📐Interval Arithmetic
AI automatically designs optimal drug candidates for cancer-targeting mutations
phys.org·15h
🔲Cellular Automata
Best Artificial Intelligence (AI) & Machine Learning Company in Mohali | Squardtech
dev.to·3h·
Discuss: DEV
🤖AI Curation
PAIRS: Parametric-Verified Adaptive Information Retrieval and Selection for Efficient RAG
arxiv.org·5d
📊Multi-vector RAG
AI Teaching Is Broken: Why Chatbots Fail and How Eaisly Fixes It
dev.to·1d·
Discuss: DEV
🎙️Whisper
GPT-5: The Next Chapter in Generative AI
dev.to·4d·
Discuss: DEV
⚡Proof Automation
Algorithmic Fairness Calibration via Adaptive Bayesian Network Pruning
dev.to·1d·
Discuss: DEV
🧠Machine Learning
Learning Representations of Satellite Images with Evaluations on Synoptic Weather Events
arxiv.org·1d
🧠Machine Learning
HydrAIDE a Go-native data engine (DB + cache + pub/sub), Apache-2.0, no query language, just Go struct
reddit.com·3d·
Discuss: r/golang
🔗Combinatory Logic
Real-Time Stress Field Mapping in Sheet Metal Forming via Hybrid Finite Element-Machine Learning
dev.to·2d·
Discuss: DEV
⚙️Modern Assembly
FastMap: Real-Time IoT Anomaly Detection with Redis's Multi-Model Database
dev.to·1d·
Discuss: DEV
⚡Redis Internals
Claude Code: Data Exfiltration with DNS
embracethered.com·23h·
Discuss: Hacker News
🔓Hacking