🏛️ Agda

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

Lotus still knows how to make a driver’s car: The 2025 Emira V6, driven
arstechnica.com·5h
🔌Operating system internals
Can You Squeeze the Squares?
thefiddler.substack.com·7h·
Discuss: Substack
🔄Graph Rewriting
Car theft with transponder: Mercedes, Porsche escape class action lawsuit
heise.de·13h
📜Proof Carrying Code
NIST discovers DevSecOps, thinks world should really check this out
theregister.com·1d
🛡Cybersecurity
Show HN: ReplyFast – Let AI reply to your emails, instantly and in your style
news.ycombinator.com·7h·
Discuss: Hacker News
🌳Incremental Parsing
How AI and Predictive Analytics Are Revolutionizing Agriculture and Crop Yield Improvement
dev.to·7h·
Discuss: DEV
☕Precision Brewing
Benchmarking Fraud Detectors on Private Graph Data
arxiv.org·1d
🌳Archive Merkle Trees
DevOps Meets Blazor in 2025: Streamlining .NET Web App Delivery for the Future
devops.com·1d
🧩WASM Components
I built a free, open-source security scanner with shareable dashboards
github.com·9h·
Discuss: Hacker News
🚀Indie Hacking
Hybrid Shifted Gegenbauer Integral-Pseudospectral Method for Solving Time-Fractional Benjamin-Bona-Mahony-Burgers Equation
arxiv.org·15h
⚙Backus-Naur Form
Validating Generative Agent-Based Models of Social Norm Enforcement: From Replication to Novel Predictions
arxiv.org·2d
🔲Cellular Automata
OpenBSD Seeks Testers for Enhanced 802.11g AP Compatibility
discoverbsd.com·8h
🔌Operating system internals
Flora: Effortless Context Construction to Arbitrary Length and Scale
arxiv.org·3d
🌳Context free grammars
Skills vs. AI Skills
towardsdatascience.com·3d
🌍Cultural Algorithms
Few-Shot Vision-Language Reasoning for Satellite Imagery via Verifiable Rewards
arxiv.org·2d
🧮Kolmogorov Complexity
FuseTen: A Generative Model for Daily 10 m Land Surface Temperature Estimation from Spatio-Temporal Satellite Observations
arxiv.org·15h
📸TIFF Archaeology
Monitoring Shopify App Health Without the Boilerplate (Thanks Gadget)
dev.to·2d·
Discuss: DEV
🌀Brotli Internals
Claude Code’s Custom Agent Framework Changes Everything
dev.to·2d·
Discuss: DEV
🏠Homelab Orchestration
StaffPro: an LLM Agent for Joint Staffing and Profiling
arxiv.org·2d
📚Digital Humanities
How AI and Machine Learning Are Shaping the Future of App Development
dev.to·1d·
Discuss: DEV
📏Code Metrics