🏛️ Agda

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

Valkyries takeaways: A’ja Wilson too much as Aces notch second straight win over Golden State
mercurynews.com·12h
🇸Sweden
Build with HTMX: Simplify development with a return to fundamentals
testdouble.com·2d
🌐Web Standards
Real-World React Examples [2025 Guide]
netguru.com·21m·
Discuss: Hacker News
🔌Interface Evolution
Fun with MeshBlend
c0de517e.com·1d·
Discuss: Hacker News
📟Terminal Physics
How to build realistic AI companions
emotionmachine.ai·1d·
Discuss: Hacker News
🎧Learned Audio
Jenny’s Daily Drivers: FreeDOS 1.4
hackaday.com·18h
🕹️Retro Gaming
How to implement PaC for a more secure SDLC
reversinglabs.com·1d
🏠Homelab Automation
Onboarding for Coding Agents
fuzzycomputer.com·4d·
Discuss: Hacker News
✨Effect Handlers
The EU’s AI Act pushes transparency but could overwhelm developers with paperwork
the-decoder.com·1d
🔐Capability Systems
Claude Code and shipping stuff to prod
boliv.substack.com·4d·
Discuss: Substack
🦀Rust Macros
SynAdapt: Learning Adaptive Reasoning in Large Language Models via Synthetic Continuous Chain-of-Thought
arxiv.org·3d
🧮Constraint SMT
The Evolution of DevOps Continues: How 2,000 Token-Per-Second AI Code Generation Changes Everything
devops.com·3d
🌊Stream Processing
🧠 Building a Local PDF Summarizer with LLMs — In Under 24 Hours
dev.to·2d·
Discuss: DEV
🤖Archive Automation
Predicting EGFR Mutation in LUAD from Histopathological Whole-Slide Images Using Pretrained Foundation Model and Transfer Learning: An Indian Cohort Study
arxiv.org·2d
👁️OCR Enhancement
FairFedMed: Benchmarking Group Fairness in Federated Medical Imaging with FairLoRA
arxiv.org·2d
📸PNG Optimization
I'm using Claude Code to manage my Neon projects locally now, and... it's working?
dev.to·1d·
Discuss: DEV
🔌Interface Evolution
How we built our own MCP server in 4 simple steps
dev.to·1d·
Discuss: DEV
📻Homebrew Protocols
How we built the worlds fastest VIN decoder
cardog.app·1d·
Discuss: Hacker News, r/programming
🗄️Database Internals
Whole-genome sequencing of 490,640 UK Biobank participants
nature.com·19h
🧬Copy Number Variants
Gearshift Fellowship: A Next-Generation Neurocomputational Game Platform to Model and Train Human-AI Adaptability
arxiv.org·2d
🔲Cellular Automata