🏛️ Agda

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

How to save your brain
thefoggiest.dev·2d
🌀Brotli Dictionary
Airbnb guest says images were altered in false £12,000 damage claim
theguardian.com·6h·
Discuss: Hacker News
🎫Kerberos Attacks
How AI Test Automation Cut Developer Productivity Bottlenecks by 30% at Scale
engineering.salesforce.com·2d
⚡Proof Automation
Show HN: Automatic local Git snapshots while you code (macOS)
shadowgit.com·1d·
Discuss: Hacker News
📦Git LFS
City streets, tech towers and electric docks: Here’s how Biscay is adapting to climate change
euronews.com·13h
🧱Immutable Infrastructure
Inside TSMC, the $1 Trillion Ghost Foundry Behind Nvidia's Crown
howardyu.substack.com·1d·
Discuss: Substack
🖥️Terminal Renaissance
Self-Signed JWTs
selfref.com·19h·
Discuss: Hacker News
🌳Archive Merkle Trees
What is an AI-first software company?
varungodbole.com·2d·
Discuss: Hacker News
⚙️TLA+
Agents: An Optimistic Painting
abrowne.xyz·2d·
Discuss: Hacker News
🔐Capability Systems
Applications Of Zero-Knowledge Proofs On Bitcoin
arxiv.org·3d
🔗Hash Chains
Comp AI secures $2.6M pre-seed to disrupt SOC 2 market
devops.com·23h
🏠Homelab Pentesting
Testing the full AI editorial system on No Cap Blog
news.ycombinator.com·1d·
Discuss: Hacker News
⚡Proof Automation
AI reshapes the craft of software engineering, with Yoav Tzfati
complexsystemspodcast.com·4d·
Discuss: Hacker News
🔄Language Evolution
Enhanced Prediction of CAR T-Cell Cytotoxicity with Quantum-Kernel Methods
arxiv.org·2d
🔐Quantum Security
Open source PDF reader built with Rust, Dioxus and PDFium
github.com·1d·
Discuss: Hacker News
📄PDF Internals
From Glitches to Glory: Crafting Give with Bolt
dev.to·2d·
Discuss: DEV
🚀Indie Hacking
AI Needs Open Source: Q&A with Anaconda’s Peter Wang
thenewstack.io·1d
🔓Open Source Software
(1) Fitting hierarchical models in genetics, (2) A Stan model that runs faster with with 400,000 latent parameters, (3) Super-scalable penalized maximum likelih...
statmodeling.stat.columbia.edu·1d
🧮Kolmogorov Complexity
What Language(s) Does Aya-23 Think In? How Multilinguality Affects Internal Language Representations
arxiv.org·4d
🧠Neural Codecs
Real-Time Fraud Detection System: AI-Powered Financial Security with Redis 8
dev.to·3d·
Discuss: DEV
⚡Proof Automation