🏛️ Agda

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

ChatGPT can find and book an Airbnb for you now
businessinsider.com·1d
📞WebRTC
Texas Is Getting Tough on Data Protection
adexchanger.com·6h·
Discuss: Hacker News
🔤EBCDIC Privacy
I wrote the worlds worst emulator to reverse engineer the c64 Bubble Bobble RNG
geon.github.io·2d·
Discuss: r/programming
🎮Gameboy Emulation
Amazon AI coding agent hacked to inject data wiping commands
bleepingcomputer.com·1d·
Discuss: Hacker News
🚀Indie Hacking
Hacker Slips Malicious 'Wiping' Command Into Amazon's Q AI Coding Assistant
developers.slashdot.org·17h
🔓Hacking
COTI Launches Monthly DeCC Space In Collaboration With Secret Network
hackernoon.com·12h
🏠Homelab Federation
OpenReasoning-Nemotron: A Family of Distilled Reasoning Models
huggingface.co·5d·
Discuss: Hacker News
💻Local LLMs
Carly's Cuts: Simplicity and Struggle
dev.to·4d·
Discuss: DEV
🔗Concatenative Programming
The Risk in AI Products: Fragmented Enterprise Knowledge
medium.com·3d·
Discuss: Hacker News
🌀Brotli Internals
How to Make Your AI Agent Remember Things (Without a Database)
dev.to·1d·
Discuss: DEV
💾Persistence Strategies
Level Up Your Go Code: Must-Know Design Patterns for Cleaner, Scalable Apps
dev.to·4d·
Discuss: DEV
🔧Binary Parsers
FinDPO: Financial Sentiment Analysis for Algorithmic Trading through Preference Optimization of LLMs
arxiv.org·2d
🔍BitFunnel
HA OTel in Kubernetes - practical demo
reddit.com·1d·
Discuss: r/kubernetes
📦Container Security
🚀 Stop Burning Money on LLM API Calls! This Python Tool Just Saved Me $500/month
dev.to·3d·
Discuss: DEV
🌀Brotli Internals
🔄 Introducing Galus: A Lightweight and Blazing-Fast Live Reload Tool for Go Developers
dev.to·1d·
Discuss: DEV
🔄Reproducible Builds
DeerFlow: Your New Secret Weapon for Deep Research
dev.to·1d·
Discuss: DEV
🧬Bitstream Evolution
Why GPT-4.1 Feels Like the AI Coding Assistant I've Been Waiting For
dev.to·4d·
Discuss: DEV
🖥️Terminal Emulators
Tabular Diffusion based Actionable Counterfactual Explanations for Network Intrusion Detection
arxiv.org·3d
🧠Machine Learning
Cognition is seeking over $300 million in new funding at a $10 billion valuation
the-decoder.com·1d
🌀Brotli Internals
Smart Document Hub - Algolia MCP Server Challenge
dev.to·23h·
Discuss: DEV
🔗Hypermedia APIs