🏛️ Agda

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

The most powerful supercomputer in Central Asia launches in kazakhstanin bid for AI boost
euronews.com·21h
⚗️Eastern Computing
Devlog: Blogging Tools — Category Fixer
lmika.org·8h
📰RSS Feed Discovery
Introducing the Herb Linter, Formatter, and a Vision for the Future of Rails Views
marcoroth.dev·3d·
Discuss: Lobsters, r/programming
🌀Brotli Internals
Logical implication is a comparison operator
btdmaster.bearblog.dev·3d·
Discuss: Hacker News
🔲Proof Irrelevance
Making a StringBuffer in C, and questioning my sanity
briandouglas.ie·5d·
Discuss: Hacker News, r/programming
🧠Lisp Dialects
The powerful Beast blender lives up to its name, and it's even made me a kale smoothie fan
techradar.com·1h
☕Coffee
"Napster-style" piracy allegations put Anthropic at risk of a billion-dollar class action lawsuit
the-decoder.com·1d
🏴‍☠️Piracy
I've been fighting with burnout for 18 years
news.ycombinator.com·13h·
Discuss: Hacker News
💾Persistence Strategies
Xenity Engine -- open-source game engine for PSP, PlayStation 3, PS Vita, and modern platforms
github.com·22h·
Discuss: r/programming
📼Retro Games
Using LLVM To Supercharge AI Model Execution On Edge Devices
hackernoon.com·3d
🏭Compiler Backends
AI Isn’t a Magical Coworker—It’s Just Outsourcing in Disguise
hackernoon.com·1d
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
MT4DP: Data Poisoning Attack Detection for DL-based Code Search Models via Metamorphic Testing
arxiv.org·4d
🧮Z3 Solver
The Age of Self-Evolving AI Is Here
towardsdatascience.com·2d
⚡Incremental Computation
The Power of HTML - Part 20: AI-Generated HTML: Tools and Best Practices
dev.to·10h·
Discuss: DEV
⚡Proof Automation
Graph or Chain? Choosing the Right Engine for Your AI App
dev.to·3d·
Discuss: DEV
🔗Topological Sorting
Kiro vs Cursor: How Amazon’s AI IDE is Redefining Developer Productivity
dev.to·1d·
Discuss: DEV
👁️Observatory Systems
Pytorch quickstart ☄️: Some of my Pytorch notes
dev.to·1d·
Discuss: DEV
📊Quantization
VITA: Vision-to-Action Flow Matching Policy
arxiv.org·2d
🔲Cellular Automata
Thoughts on AI and software development - Part 5
ufried.com·2d·
Discuss: Hacker News
⚡Incremental Computation
GAIA: Emotional Commerce x Ecological Regeneration: Building with Bolt - WLH Challenge
dev.to·3d·
Discuss: DEV
🦋Format Metamorphosis