🏛️ Agda

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

Limitations of a two-pass assembler
boston.conman.org·7h
🔧RISC-V Assembler
Flag this post
Swift 6.2: Approachable Concurrency
mjtsai.com·13h
📞Session Types
Flag this post
Experts find flaws in hundreds of tests that check AI safety and effectiveness
theguardian.com·10h
🧠Intelligence Compression
Flag this post
Introducing IndQA
openai.com·12h·
Discuss: Hacker News
🌍Cultural Algorithms
Flag this post
Writing a Data Science Book with Quarto (Using Jupyter Notebooks or Pandoc)
blog.stephenturner.us·37m·
Discuss: Hacker News
📡RSS Automation
Flag this post
Big-O Notation: Explained in 8 Minutes
blog.algomaster.io·7h
📐Interval Arithmetic
Flag this post
Training: Postgres Performance and Maintenance
postgresconf.org·18h·
Discuss: Hacker News
🧬PostgreSQL Forensics
Flag this post
Monorepo for large digital ecosystems – was it worth it?
dev.family·2h·
Discuss: Hacker News
🔌Interface Evolution
Flag this post
What does the ideal information environment look like?
defenderofthebasic.substack.com·17h·
Discuss: Substack
🐚Shell Calculus
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·3d·
Discuss: Lobsters, Hacker News
🔒Type Safety
Flag this post
Linkers: A 20 Part Series
airs.com·11h·
Discuss: Hacker News
🔗Static Linking
Flag this post
Chibi Izumi: Phased dependency injection for TypeScript
github.com·3d·
Discuss: Hacker News
👑Dependent Haskell
Flag this post
Building Syllabi – Agentic AI with Vercel AI SDK, Dynamic Tool Loading, and RAG
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Flag this post
Advancing AI Challenges for the United States Department of the Air Force
arxiv.org·5h
🧠Machine Learning
Flag this post
From Stack to Impact: What Actually Worked in My 3 AI Tool Sites
dev.to·8h·
Discuss: DEV
👁️Observatory Systems
Flag this post
A generative adversarial network optimization method for damage detection and digital twinning by deep AI fault learning: Z24 Bridge structural health monitorin...
arxiv.org·5h
🏺Computational Archaeology
Flag this post
GrowthHacker: Automated Off-Policy Evaluation Optimization Using Code-Modifying LLM Agents
arxiv.org·5h
⚡Incremental Computation
Flag this post
GraphMD – LLMs Powered Literate Programming Environment for Markdown Documents
github.com·1d·
Discuss: Hacker News
📐Proof Assistants
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·4d
🧮Algebraic Archives
Flag this post
Interpretable Machine Learning for Reservoir Water Temperatures in the U.S. Red River Basin of the South
arxiv.org·5h
🧠Machine Learning
Flag this post