🏛️ Agda

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

Evolving Tactics of SLOW#TEMPEST: A Deep Dive Into Advanced Malware Techniques
unit42.paloaltonetworks.com·2d
🛡️RISC-V Security
Phoenix Framework
phoenixframework.org·1d·
Discuss: Hacker News
🌊Apache Kafka
Folly: IOBuf and Zero-Copy Networking
uvdn7.github.io·3h·
Discuss: Hacker News
📋Format Specification
Haiku Activity & Contract Report, June 2025
haiku-os.org·23h·
Discuss: Lobsters, Hacker News
🔄Language Evolution
Galois field instructions on 2021 CPUs
corsix.org·3d·
Discuss: Hacker News
🔐RISC-V Cryptography
Towards a Foundational Understanding of Causality
deepcausality.com·18h·
Discuss: Hacker News
⚡Incremental Computation
SFrame-based stack unwinding for the kernel
lwn.net·2d·
Discuss: Hacker News
🔩Systems Programming
Build a Token Bucket Limiter in Go in Under 100 Lines
dev.to·6h·
Discuss: DEV
📡Network Calculus
Enhanced Paperless-NGX with Paddle OCR + LLM Pipeline
dev.to·1d·
Discuss: DEV
📄Document Streaming
🚀 5 AI Tools That Saved Me 20+ Hours Last Month
dev.to·22h·
Discuss: DEV
⚡Proof Automation
Just got my first rack
reddit.com·8h·
Discuss: r/homelab
🎮Switch Archaeology
🚀 Introducing CodeWhiz: Your AI-Powered Code Commenting Sidekick for VS Code 🧠✨
dev.to·9h·
Discuss: DEV
🔗Concatenative Languages
Reframe – Open‑Source ISO20022 Message Transformer in Rust
github.com·3d·
Discuss: Hacker News
🔐CBOR
(Attempting to) Engineer the chaos out of AI agents
dev.to·2d·
Discuss: DEV
⚔️Lean Tactics
BREAKING: Free AI API Keys 2025: 3 Secret Platforms Replacing Paid Services
dev.to·21h·
Discuss: DEV
🔍BitFunnel
How to Install Devstral Small 1.1 Locally?
dev.to·1d·
Discuss: DEV
🖥️Terminal Renaissance
FridgeChef: Turn Your Fridge Into a Recipe Goldmine with AI
dev.to·1d·
Discuss: DEV
🧮Algorithmic Cooking
Automating My Inbox with AI: A Python Email Assistant using Cohere, Gmail API, and Telegram Alerts
dev.to·23h·
Discuss: DEV
🌀Brotli Internals
Evaluation of Large Language Model-Driven AutoML in Data and Model Management from Human-Centered Perspective
arxiv.org·4d
🔢Denotational Semantics
NeoSearch: A Search Engine Forged by Determination
dev.to·1d·
Discuss: DEV
🚀Indie Hacking