🏛️ Agda

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

Sophos’ Secure by Design 2025 Progress
news.sophos.com·1d
🏺Kerberos Archaeology
MaaS Appeal: An Infostealer Rises From The Ashes
elastic.co·18h
🚀Indie Hacking
AI Security Simplified: Check Point supports launch of AWS Marketplace AI Agents and Tools Category with Infinity GenAI Protect
blog.checkpoint.com·5h
👁️Observatory Systems
AI Code Completion is Cognitive Castration
joshtronic.com·2d
⚡Proof Automation
Why MIT switched from Scheme to Python (2009) | Hacker News
news.ycombinator.com·2d·
Discuss: Hacker News
💻CS
The West's data centers suck (water and power)
hcn.org·22h·
Discuss: Hacker News
🏠Homelab Federation
Confluent Developer - Courses
developer.confluent.io·23h·
Discuss: Hacker News
🌊Streaming Systems
Amazon's AI coding agent was hacked - update now to avoid possible risks, users warned
techradar.com·23h
🔄Reproducible Builds
Architecture, Community, and the Spirit of Plan 9
news.ycombinator.com·12h·
Discuss: Hacker News
🌐Edge Preservation
Survey Surfaces Multiple Persistent DevSecOps Challenges
devops.com·5h
🛡Cybersecurity
Google's New AI App Builder: Create Apps with No Code
dev.to·6h·
Discuss: DEV
🌀Brotli Internals
Global Sanctions Index
dev.to·1d·
Discuss: DEV
🧬PostgreSQL Forensics
Why Data-Centric AI Is Reshaping Model Performance
dev.to·4d·
Discuss: DEV
🧠Machine Learning
I’m new here
reddit.com·17h·
Discuss: r/kubernetes
🐚Shell Calculus
AWS Weekly Roundup: SQS fair queues, CloudWatch generative AI observability, and more (July 28, 2025)
aws.amazon.com·1d
🌊Streaming Systems
Counterfactual Explanations in Medical Imaging: Exploring SPN-Guided Latent Space Manipulation
arxiv.org·1d
🧠Machine Learning
Hypergraph Neural Networks Reveal Spatial Domains from Single-cell Transcriptomics Data
arxiv.org·14h
🌀Hyperbolic Geometry
🔥 Claude Code pattern that saves 5-minute daily:
dev.to·1d·
Discuss: DEV
🌳Incremental Parsing
Weekly Tech Discoveries Part - 03
dev.to·1d·
Discuss: DEV
👁️Observatory Systems
Distilling a Small Utility-Based Passage Selector to Enhance Retrieval-Augmented Generation
arxiv.org·1d
🔍Information Retrieval