🏛️ Agda

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

A Note from my Late Grandmother about Eleventy
zachleat.com·2d
📲syncthing
Pragmata rethinks sci-fi shooter combat, and it owes a lot to Snake (preview)
space.com·1d
🕹️Retro Gaming
Don't pick weird subnets for embedded networks, use VRFs
blog.brixit.nl·7h·
Discuss: Hacker News
🏠HomeLab
Letters: Bill for housing near transit further threatens neighborhoods
mercurynews.com·19h
💻Local first
I let LLMs write an Elixir NIF in C; it mostly worked
overbring.com·6d·
Discuss: Hacker News
💧Liquid Types
95% of Companies See ‘Zero Return’ on $30 Billion Generative AI Spend, MIT Report Finds
thedailyadda.com·7h·
Discuss: Hacker News, r/Economics
🔲Cellular Automata
Jiushark JF15K Review: An air cooler like none other
tomshardware.com·5h·
Discuss: r/hardware
🖥️Modern CPU
Google’s AI Video Tool “Flow” Powers 100 Million Creations A New Era in Storytelling
dev.to·9h·
Discuss: DEV
🤖AI Curation
The Future of AI Robots: Shaping Tomorrow’s World
dev.to·1d·
Discuss: DEV
🏠Home Automation
OpenAI’s GPT-5 Launch Causes Backlash Due to Colder Responses
nytimes.com·2d·
Discuss: Hacker News, Hacker News
🛡Cybersecurity
Integrating AG-UI with n8n: Smarter Visual Workflows for Developers
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Cybercriminals Abuse Vibe Coding Service to Create Malicious Sites
darkreading.com·21h
🚀Indie Hacking
If your AI alerting system looks like your SaaS monitoring tool, you’re already screwed
dev.to·2d·
Discuss: DEV
👁️Observatory Systems
How to Vibe Code With Security in Mind
darkreading.com·1d
🔓Hacking
Color Spike Data Generation via Bio-inspired Neuron-like Encoding with an Artificial Photoreceptor Layer
arxiv.org·1d
🧠Neural Compression
Combating Homelessness Stigma with LLMs: A New Multi-Modal Dataset for Bias Detection
arxiv.org·1d
🎛️Feed Filtering
Dynamic Fractional Order Optimization via Adaptive Lagrangian Relaxation
dev.to·3d·
Discuss: DEV
⚡Incremental Computation
"M5 AtomS3 Left-Hand Controller for FreeCAD
hackster.io·3d
⌨️Mechanical Keyboards
Structural insight: Metaclassical physics
fexpr.blogspot.com·2d
⏰Time Crystals
AI Development: Driving the Future of Technology and Business
dev.to·1d·
Discuss: DEV
🏠Homelab Automation