🏛️ Agda

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

AI Experiments: Fast Inference with Groq and Third-Party Tools with Kimi K2 in TypingMind
macstories.net·2d
🌀Brotli Dictionary
Flag this post
Show HN: Aurca AI – Find Mispriced Event Contracts on Prediction Markets
aurca.ai·1d·
Discuss: Hacker News
🎛️Feed Filtering
Flag this post
Predictive Model-Based Design Validation via Dynamic Bayesian Network Fusion
dev.to·7h·
Discuss: DEV
🔧Hardware Verification
Flag this post
Pronto: JavaScript Functional Library for Eventuality and Concurrency
crockford.com·7h·
Discuss: Hacker News
⚡gRPC
Flag this post
Durable execution workflow system based on Postgres
github.com·1d·
Discuss: Hacker News
🌊Streaming Systems
Flag this post
From Visibility to Verification: The Second Phase of AI Surface Governance
aivojournal.org·13h·
Discuss: Hacker News
🔗Data Provenance
Flag this post
Oracle has adopted BOOLEAN in 23ai and PostgreSQL had it forever
hexacluster.ai·3d·
Discuss: Hacker News
🧬PostgreSQL Forensics
Flag this post
Linux Kernel Ported to WebAssembly
lore.kernel.org·6h·
Discuss: Lobsters, Hacker News
🕸️WebAssembly
Flag this post
Automated Semantic Validation of Modular Software Architectures via Hyper-Graph Resonance
dev.to·1d·
Discuss: DEV
🔄Reproducible Builds
Flag this post
Best Open Source Observability Solutions
clickhouse.com·1d·
Discuss: Hacker News
📊Homelab Monitoring
Flag this post
Cross-Platform Evaluation of Reasoning Capabilities in Foundation Models
arxiv.org·1d
💻Programming languages
Flag this post
Async/Await is finally back in Zig
charlesfonseca.substack.com·7h·
Discuss: Substack
🌊Stream Processing
Flag this post
De Bruijn Numerals
text.marvinborner.de·2d·
Discuss: Hacker News
λLambda Encodings
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.com·1d
✅Format Verification
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.name·1d·
Discuss: Hacker News
λLambda Formalization
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·20h·
Discuss: Hacker News
⚡Homebrew CPUs
Flag this post
How to design effective agent workflows?
boliv.substack.com·1d·
Discuss: Substack
⚡Proof Automation
Flag this post
GHC: From Bug to Merge
neilmitchell.blogspot.com·3d·
Discuss: Hacker News
🔤Type Theory
Flag this post
Opportunistic Mutation in Roc
roc-lang.org·3d·
Discuss: Hacker News
📏Code Metrics
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
github.com·2d·
Discuss: Hacker News
🦀Rust Verification
Flag this post