🏛️ Agda

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

Reengineered carbon-to-acetylene process with negative carbon emission (2023)
pubs.rsc.org·44m·
Discuss: Hacker News
🌈Spectroscopy
I Teach Creative Writing. This Is What A.I. Is Doing to Students.
notes.billmill.org·16h
🏛Digital humanities
Experimenting with SQL:2023 Property-Graph Queries in Postgres 18
gavinray97.github.io·2d·
Discuss: Hacker News
🧬PostgreSQL Forensics
Solving a Childhood Mystery: How BASIC Games Learned to Win
sublevelgames.github.io·1d·
Discuss: Hacker News
🔲Cellular Automata
Assistants Aren't the Future of AI
blog.sshh.io·2d·
Discuss: Hacker News
🌍Cultural Algorithms
Anthony Scopatz on xonsh and shells in general (2015)
johndcook.com·2d·
Discuss: Hacker News
🐚Shell Calculus
The .a File Is a Relic: Why Static Archives Were a Bad Idea All Along
medium.com·2d·
Discuss: Hacker News, r/C_Programming
🔗Static Linking
Walking You Through WASI Support in Go
hackernoon.com·1d
🌐WASI
Building a BLE-Powered Air Quality Dashboard with Grafana
bleuio.com·16h·
Discuss: r/homelab
🏠Home Automation
Water tornado in the laboratory: A simple experiment simulates planet formation
phys.org·14h
📟Terminal Physics
Exploring Amazon's Kiro AI: A New Era in AI-Driven Development
dev.to·1d·
Discuss: DEV
⚙️TLA+
Neural Network-Guided Symbolic Regression for Interpretable Descriptor Discovery in Perovskite Catalysts
arxiv.org·5d
🕸️Algebraic Topology
Expansive Natural Neural Gradient Flows for Energy Minimization
arxiv.org·1d
🌀Riemannian Computing
Introducing Amazon Bedrock AgentCore: Securely deploy and operate AI agents at any scale (preview)
aws.amazon.com·5d·
Discuss: Hacker News
🤖Network Automation
This Entire Article About AI Video Creation Was Made Without a Camera (The 8th Wonder Method)
dev.to·9h·
Discuss: DEV
🏛Digital humanities
Build an AI Agent And Win 💸
dev.to·3d·
Discuss: DEV
🌍Cultural Algorithms
How to create a digital twin of yourself that joins low-value meetings for you
dev.to·7h·
Discuss: DEV
🎙️Whisper
Day 2 of My 180-Day Developer Challenge: Building Git, learning about Docker and Go
dev.to·1d·
Discuss: DEV
🌳Git Internals
Python Fundamentals: celery
dev.to·2d·
Discuss: DEV
🌀Brotli Internals
The Power of HTML - Part 22: The Future of HTML: WebAssembly, AI Integration, and Predictions
dev.to·1d·
Discuss: DEV
🌐Web Standards