🏛️ Agda

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

DCP-o-matic • Re: Ingest errors using combiner
dcpomatic.com·2d
🔗Concatenative Languages
How to Read a Book: 008, More On the Activiy and the Art of Reading
janusworx.com·22h
🏛️Philosophy
CTF Challenge Write Up : KYPO Locust 3302 Challenge of Blackcat
pixelstech.net·2d
🕵️Penetration Testing
Unanticipated consequences: Autodesk platform investments and what they mean for AI
keanw.com·4d·
Discuss: www.keanw.com
🔌Interface Evolution
Charm Industrial accelerates carbon removal operations with Claude
anthropic.com·1d·
Discuss: Hacker News
⚙️Proof Engineering
Update: Heat advisory issued for Bay Area inland regions for Thursday and Friday
mercurynews.com·3h
📡Feed Security
Dropout's Guide to Moving to San Francisco
fumedev.com·22h·
Discuss: Hacker News
⚙️DIY Electronics
Finding links between fraudulent email domains using graph-based clustering
blog.castle.io·22h·
Discuss: Hacker News
📡DNS Archaeology
How we use a 3-stage, human-in-the-loop AI workflow to overhaul rsyslog's docs
rsyslog.com·5d·
Discuss: Hacker News
⚡Proof Automation
Show HN: RemoteMCPList – A community directory for MCP servers
news.ycombinator.com·1d·
Discuss: Hacker News
📻Homebrew Protocols
How to Build a Powerful CMDB with ServiceNow: A Blueprint for Success 🏢
dev.to·1h·
Discuss: DEV
💾Persistence Strategies
Adaptive Lossless Compression via Dynamic Contextual Entropy Modeling
dev.to·3d·
Discuss: DEV
🌊Streaming Compression
People are using ChatGPT to summarize fiction – and it’s everything wrong with AI
techradar.com·1d
🏛Digital humanities
Predictive Maintenance & Optimization of Cryogenic Storage Tank Insulation via Multi-Modal Sensor Fusion and Bayesian Inference
dev.to·3d·
Discuss: DEV
🌡️Preservation Physics
ERMAC 3.0 Source Code Leak Reveals Expanding Threat
securityaffairs.com·3d
🦠Malware Analysis
RACF: Processing audit records
colinpaice.blog·18h
🤖Archive Automation
State & Geopolitical Censorship on Twitter (X): Detection & Impact Analysis of Withheld Content
arxiv.org·3h
⚖️Feed Ranking
Project Management for Software Engineers: From Chaos to Clarity
dev.to·3d·
Discuss: DEV
🔄Reproducible Builds
Adaptive Kernel Fusion for Sparse Matrix Acceleration on Neuromorphic NPU Architectures
dev.to·4d·
Discuss: DEV
🖥️Hardware Architecture
Generative AI: Under the hood
dev.to·2d·
Discuss: DEV
🎙️Whisper