🏛️ Agda

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

Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
discourse.llvm.org·2d·
Discuss: Hacker News
📊Static Analysis
Flag this post
Evaluating YARA Rules for macOS Malware Hunting in Spectra Analyze
reversinglabs.com·1d
🦠Malware Analysis
Flag this post
HeraclesQL: A Python DSL for Writing Alerts
hudsonrivertrading.com·1d·
Discuss: Hacker News
✅Format Verification
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·9h·
Discuss: Hacker News
🏗️Compiler Archaeology
Flag this post
AI Experiments: Fast Inference with Groq and Third-Party Tools with Kimi K2 in TypingMind
macstories.net·1d
🌀Brotli Dictionary
Flag this post
Ajla Tutorial
ajla-lang.cz·1d·
Discuss: Hacker News
💧Liquid Types
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.me·2d·
Discuss: r/javascript, r/programming
λLambda Encodings
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.com·1d·
Discuss: Hacker News
🎯Gradual Typing
Flag this post
Let Hypothesis Break Your Python Code Before Your Users Do
towardsdatascience.com·12h
🧪Property-Based Testing
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Flag this post
Automated Semantic Validation of Modular Software Architectures via Hyper-Graph Resonance
dev.to·15h·
Discuss: DEV
🔄Reproducible Builds
Flag this post
Watch the recordings from my Python + AI series
blog.pamelafox.org·15h·
Discuss: www.blogger.com
🎙️Whisper
Flag this post
Show HN: Aurca AI – Find Mispriced Event Contracts on Prediction Markets
aurca.ai·12h·
Discuss: Hacker News
🎛️Feed Filtering
Flag this post
Breaking Monoliths Taught Me How to Fix Data
blog.matterbeam.com·14h·
Discuss: Hacker News
👁️Observatory Systems
Flag this post
Durable execution workflow system based on Postgres
github.com·16h·
Discuss: Hacker News
🌊Streaming Systems
Flag this post
Oracle has adopted BOOLEAN in 23ai and PostgreSQL had it forever
hexacluster.ai·2d·
Discuss: Hacker News
🧬PostgreSQL Forensics
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.name·22h·
Discuss: Hacker News
λLambda Formalization
Flag this post
How to design effective agent workflows?
boliv.substack.com·10h·
Discuss: Substack
⚡Proof Automation
Flag this post
Cross-Platform Evaluation of Reasoning Capabilities in Foundation Models
arxiv.org·1d
💻Programming languages
Flag this post
De Bruijn Numerals
text.marvinborner.de·1d·
Discuss: Hacker News
λLambda Encodings
Flag this post