🏛️ Agda

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

Status Update: August 2025
joshleeb.com·1d
🧩WASM Components
Integrating Code Insight into Reverse Engineering Workflows
blog.virustotal.com·23h·
Discuss: blog.virustotal.com
🔬Binary Analysis
Implementing the Hangman Game in Python
towardsdatascience.com·15h
⚡Proof Automation
Apparently it's easy to detect LLM-generated text now
papers.ssrn.com·1d·
Discuss: Hacker News
🔍Information Retrieval
The Math Behind GANs
jaketae.github.io·21h·
Discuss: Hacker News
🎯Arithmetic Coding Theory
8 Tool Tech Stack to Build an Enterprise-Grade RAG System (Without the Headaches)
dev.to·2d·
Discuss: DEV
🌀Brotli Internals
From Go code to container image with Depot API
dev.to·17h·
Discuss: DEV
🔄Reproducible Builds
"If Cats Could Code", a FOSS Book on CS Concepts
github.com·1d·
Discuss: Hacker News
⚔️Lean Tactics
Epistemic Trade-Off: An Analysis of the Operational Breakdown and Ontological Limits of "Certainty-Scope" in AI
arxiv.org·1d
⚙️Proof Engineering
Pushing Blocks without Fixed Blocks via Checkable Gizmos: Push-1 is PSPACE-Complete
arxiv.org·1d
🧮SMT Solvers
Fact or Facsimile? Evaluating the Factual Robustness of Modern Retrievers
arxiv.org·5h
🔍Information Retrieval
PromptSleuth: Detecting Prompt Injection via Semantic Intent Invariance
arxiv.org·5h
🔒Language-based security
CAPE: Context-Aware Personality Evaluation Framework for Large Language Models
arxiv.org·5h
📝ABNF Extensions
Why Smart Developers Are Ditching Freeform AI Prompts for JSON (Free Tool Inside)
dev.to·3h·
Discuss: DEV
🌳Incremental Parsing
Meet Boti: The AI assistant transforming how the citizens of Buenos Aires access government information with Amazon Bedrock
aws.amazon.com·13h
🔍Information Retrieval
Navigating the EU AI Act: Foreseeable Challenges in Qualifying Deep Learning-Based Automated Inspections of Class III Medical Devices
arxiv.org·5h
🔍Vector Forensics
GDS Agent: A Graph Algorithmic Reasoning Agent
arxiv.org·5h
📊Graph Databases
Using AI to build an AI Security Product
dev.to·2d·
Discuss: DEV
⚡Proof Automation
💡 What's new in txtai 9.0
dev.to·16h·
Discuss: DEV
🗂️Vector Search
SOLID Principles In Practice With Python And UML Examples in 2025
hackernoon.com·1d
💧Liquid Types