🏛️ Agda

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

Designing a Wrapper for Terraform & OpenTofu
stuartellis.name·22h
🧱Immutable Infrastructure
AI Creates the Problems it Solves
dbreunig.com·9h
⚡Proof Automation
Show HN: Optiverse – Evolving Code with LLMs
mathieularose.com·1d·
Discuss: Hacker News
🔗Topological Sorting
We have computation because of weaving
maalvika.substack.com·8h·
Discuss: Substack
🌍Cultural Computing
Programming Affordances That Invite Mistakes
thetechenabler.substack.com·1d·
Discuss: Substack
🔄Language Evolution
AI Agents Under the Hood
blog.surkar.in·3d·
Discuss: Hacker News
⚡Proof Automation
Can adversarial attacks by large language models be attributed?
arxiv.org·1d
🔗Parser Combinators
A Practical Guide to Go’s Fan-in and Fan-out Concurrency Patterns
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Build a conversational data assistant, Part 1: Text-to-SQL with Amazon Bedrock Agents
aws.amazon.com·11h
🌊Streaming Systems
FLoRA: An Advanced AI-Powered Engine to Facilitate Hybrid Human-AI Regulated Learning
arxiv.org·23h
🔲Cellular Automata
FrugalRAG: Learning to retrieve and reason for multi-hop QA
arxiv.org·23h
🔍Information Retrieval
PBE Meets LLM: When Few Examples Aren't Few-Shot Enough
arxiv.org·2d
🗣️Domain-Specific Languages
ANN: Miso-lynx, create iOS apps with Haskell and LynxJS
github.com·2d·
Discuss: Hacker News
🧠Lisp Dialects
We solved AI API interoperability
supermemory.ai·3d·
Discuss: Hacker News
🔌Interface Evolution
ArchiveGPT: A human-centered evaluation of using a vision language model for image cataloguing
arxiv.org·23h
📄Document Digitization
When Large Language Models Meet Law: Dual-Lens Taxonomy, Technical Advances, and Ethical Governance
arxiv.org·23h
📝ABNF Parsing
Evaluation of OpenAI o1: Opportunities and Challenges of AGI
arxiv.org·2d
🏗️OAIS Model
Python Fundamentals: booleans
dev.to·1d·
Discuss: DEV
🧪CBOR Fuzzing
ASSURE: Metamorphic Testing for AI-powered Browser Extensions
arxiv.org·2d
⚡Proof Automation
Ancient Hero Dossier | Nonanyt
dev.to·1d·
Discuss: DEV
⚡Proof Automation