🏛️ Agda

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

Junior developer's code worked in tests, destroyed data in production
theregister.com·1h
🔓Hacking
A cellular entity retaining only its replicative core
biorxiv.org·17h·
Discuss: Hacker News
🧬Copy Number Variants
Regular Expression Matching Can Be Simple and Fast (2007)
swtch.com·4d·
Discuss: Hacker News
🔍RegEx Engines
MVC Isn't MVC – Collin Donnell
collin.blog·1d·
Discuss: Hacker News
🔌Interface Evolution
Notes on Astro
boda.sh·1d·
Discuss: Hacker News
🔗Hypermedia APIs
Contemplating Entity Component Architecture (2024)
datavirke.dk·2d·
Discuss: Hacker News
🔐Capability Systems
Rails API Throttling: Handling Multiple Endpoints with Different Limits
prateekcodes.dev·3d·
Discuss: Hacker News
🌊Streaming Systems
Specification Grounding: The Missing Link in Vibe Coding
unstract.com·3d·
Discuss: Lobsters, Hacker News
⚙️TLA+
A closer look at the Model Context Protocol
jan.scheffczyk.page·1d·
Discuss: Hacker News, r/programming
⚡gRPC
AGI Is Mathematically Impossible (3): Kolmogorov Complexity
news.ycombinator.com·1d·
Discuss: Hacker News
🧠Intelligence Compression
Show HN: Dyan – A Self-Hosted Visual REST API Builder (React and NestJS)
github.com·23h·
Discuss: Hacker News
🔌Interface Evolution
🚀 Just Built "TypeMaster" in 45 Minutes Using AI – Feedback Welcome!
dev.to·1d·
Discuss: DEV
🎙️Whisper
MedicalBERT: enhancing biomedical natural language processing using pretrained BERT-based model
arxiv.org·5h
📝Text Embeddings
The Future of AI-Driven Infrastructure
dev.to·9h·
Discuss: DEV
🖥️Self-hosted Infrastructure
Temporal Motifs for Financial Networks: A Study on Mercari, JPMC, and Venmo Platforms
arxiv.org·5h
🌳Archive Merkle Trees
Introduction Koca - A universal and OS-agnostic build, package, and publishing tool
reddit.com·2d·
Discuss: r/linux
🔓Open Source Software
Personal Project - ASCII Arcade
reddit.com·2d·
Discuss: r/golang
🖥️Terminal Renaissance
Day 22/100: Useful List Methods in Python (append, pop, sort, and more)
dev.to·2h·
Discuss: DEV
⭐Awesome lists
Full-Stack DIY Smart Home: ESP8266/STM32, MQTT & WebSockets
hackster.io·1d
🏠Home Automation
SPINT: Spatial Permutation-Invariant Neural Transformer for Consistent Intracortical Motor Decoding
arxiv.org·5h
🧠Neural Codecs