🏛️ Agda

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

Published Recipe Agent
tersesystems.com·1d
🔄Sync Engine
category theory emergency? dial 00よ, now!
thalescircles.tumblr.com·2d
λLambda Formalization
Approximating Reality with CSS Linear()
blog.nordcraft.com·9h·
Discuss: Hacker News
📟Terminal Physics
The First Realtime AI Prompt Management App
getsnippets.ai·9h·
Discuss: Hacker News
🤖Archive Automation
Self-Driving Postgres
postgres.ai·3d·
Discuss: Hacker News
🧬PostgreSQL Forensics
Making Postgres 42,000x slower because I am unemployed
byteofdev.com·1d·
Discuss: Hacker News, r/programming
🗄️PostgreSQL WAL
Why Reality Has a Well-Known Math Bias
linch.substack.com·1d·
Discuss: Substack
🔲Cellular Automata
Will Agentic AI change the way creatives work? These 12 AI tools are reshaping the creative industry
techradar.com·21h
🏛Digital humanities
Python Binary to String Guide
dev.to·11h·
Discuss: DEV
💾Binary codes
Show HN: Dart implementation of the libp2p networking stack
github.com·5h·
Discuss: Hacker News
🌐NetworkProtocols
Polar Coding and Linear Decoding
arxiv.org·2h
ℹ️Information Theory
AI is Transforming DevOps: How Intelligent Automation is Revolutionizing Infrastructure Management
devops.com·3d
👁️Observatory Systems
A lightweight library for portable low-level GPU computation using WebGPU
github.com·3d·
Discuss: Hacker News
🔩Systems Programming
What is Machine Learning?
dev.to·2d·
Discuss: DEV
🧠Machine Learning
Extreme value theory for singular subspace estimation in the matrix denoising model
arxiv.org·2h
📐Linear Algebra
SAR-TEXT: A Large-Scale SAR Image-Text Dataset Built with SAR-Narrator and Progressive Transfer Learning
arxiv.org·1d
🤖Advanced OCR
AI‑First DevOps is Becoming the Default
devops.com·22h
❄️Nix Adoption
Benchmarking Amazon Nova: A comprehensive analysis through MT-Bench and Arena-Hard-Auto
aws.amazon.com·4d
🎙️Whisper
[P] Sub-millisecond GPU Task Queue: Optimized CUDA Kernels for Small-Batch ML Inference on GTX 1650.
reddit.com·2d·
Discuss: r/MachineLearning
📊Performance Profiling
T-MPEDNet: Unveiling the Synergy of Transformer-aware Multiscale Progressive Encoder-Decoder Network with Feature Recalibration for Tumor and Liver Segmentation
arxiv.org·2h
📐Vector Dimensionality