🏛️ Agda

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

Microsoft introduces Phi-4-mini-flash-reasoning with up to 10x higher token throughput
the-decoder.com·2d
⚡Hardware Transactional Memory
Generating product SKUs with Claude
robinsloan.com·12h
🌀Brotli Internals
Cactus Language • Stylistics 3
inquiryintoinquiry.com·3d
🔲Proof Irrelevance
Ransomware Threat Landscape Analysis - May through July for 2025
cstromblad.com·9h
🦠Malware Analysis
Announcing Full Cross-Platform Support for the mssql-python Driver
devblogs.microsoft.com·15h
🕸️WASM Archives
Learn Commodore 64 Basic Programming – Type-In Text-Based Games
retrogamestart.com·5h·
Discuss: Hacker News
🎮Gameboy Emulation
XBOW Battles Ninja Tables
xbow.com·7h·
Discuss: Hacker News
🔓Hacking
Mill: A Better Build Tool for Java, Scala, & Kotlin
mill-build.org·2d·
Discuss: Hacker News
🔄Reproducible Builds
The Bytebot Core – From Linux Container to Agent Control Surface
bytebot.ai·2d·
Discuss: Hacker News
🔌Operating system internals
How Roblox Uses AI to Moderate Content on a Scale
corp.roblox.com·3h·
Discuss: Hacker News
🔃Feed Algorithms
Spending Inference Time
kevinlu.ai·1d·
Discuss: Hacker News
🌊Streaming Algorithms
AI Is Less Creative Than You Think
jasonthorsness.com·19h·
Discuss: Hacker News
🌍Cultural Algorithms
LLMs for coding (+ free workflow templates)
blog.n8n.io·3d·
Discuss: Hacker News
💻Local LLMs
Are Developers Out of a Job?
argmin.net·2d·
Discuss: Hacker News
⚡Performance Mythology
Itty-AWS: 34KB AWS SDK for Effect
github.com·1d·
Discuss: Hacker News
🔒Linear Types
My Journey into System Design: A Back-End Developer's Exploration
dev.to·2d·
Discuss: DEV
💾Persistence Strategies
Leveraging Large Language Models for Classifying App Users' Feedback
arxiv.org·23h
🎛️Feed Filtering
Probability-Raising Causality for Uncertain Parametric Markov Decision Processes with PAC Guarantees
arxiv.org·3d
🎯Proof Tactics
PyNarrative: An Excellent Python Library for Data Storytelling
kdnuggets.com·13h
🏛Digital humanities
Machine Learning Fundamentals: data augmentation project
dev.to·3d·
Discuss: DEV
⚡Incremental Computation