🏛️ Agda

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

Reflections on OpenAI
simonwillison.net·1d
🚀Indie Hacking
AI Engineering in Legal Practice
ai.intellectronica.net·2d·
Discuss: Hacker News
⚡Proof Automation
Claude Code Unleashed
ymichael.com·1d·
Discuss: Hacker News
⚡Proof Automation
Spatial ModernBERT: Spatial-Aware Transformer for Table and Key-Value Extraction in Financial Documents at Scale
arxiv.org·2d
📋Document Grammar
*This is a submission for the [World's Largest Hackathon Writing Challenge](https://dev.to/challenges/wlh): Building with Bolt.*
dev.to·1d·
Discuss: DEV
🌊Streaming Systems
Game Theory Meets LLM and Agentic AI: Reimagining Cybersecurity for the Age of Intelligent Threats
arxiv.org·1d
🔲Cellular Automata
Thoughts on Building with AI
gouthamve.dev·2d·
Discuss: Hacker News
👑Isabelle
Why AI-Integrated Cloud Hosting Is the Best Choice for SaaS and Web Apps
dev.to·2h·
Discuss: DEV
🏠Homelab Orchestration
Why AI Features Break Microservices Testing
dev.to·2d·
Discuss: DEV
⚡Proof Automation
A Feed-Forward Artificial Intelligence Pipeline for Sustainable Desalination under Climate Uncertainties: UAE Insights
arxiv.org·1d
🌊Stream Processing
Building High-Performance GraphQL Servers in Golang with Optimized Resolver Patterns
dev.to·2d·
Discuss: DEV
🌊Stream Processing
Diffusion Decoding for Peptide De Novo Sequencing
arxiv.org·1d
🧮Kolmogorov Complexity
Targeted Deep Architectures: A TMLE-Based Framework for Robust Causal Inference in Neural Networks
arxiv.org·8h
🧠Machine Learning
The Rise of Agentic AI: How Autonomous Systems Are Transforming Industries
dev.to·5h·
Discuss: DEV
🌊Stream Processing
How I Built a Smarter AI with Neo4j (and Why You Might Want To Too)
dev.to·6h·
Discuss: DEV
🕸️Neo4j
Comparing Spoken Languages using Paninian System of Sounds and Finite State Machines
arxiv.org·3d
💾Binary Linguistics
"Ode to Advanced TypeScript", a poem by Grok
dev.to·5d·
Discuss: DEV
🎯Gradual Typing
Refactoring 030 - How to Avoid Accidental Redundancy
hackernoon.com·3d
🔓Reverse engineering
Class-Proportional Coreset Selection for Difficulty-Separable Data
arxiv.org·1d
🧠Machine Learning
🤖 Building an AI-Powered GitHub README Generator with MCP Protocol
dev.to·1d·
Discuss: DEV
🔌Interface Evolution