🏛️ Agda

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

Price swings on OpenRouter might surprise you
newsletter.pricepertoken.com·2d·
Discuss: Hacker News
📡BGP Archaeology
Herdling is a surprisingly well-rounded atmospheric adventure that belies its short play time – and it's right at home on the Switch 2
techradar.com·6h
📺Retrogaming
LLM from scratch, part 18 – residuals, shortcut connections, and the Talmud
gilesthomas.com·3d·
Discuss: Hacker News
📊Quantization
Qutting GitHub: Jpt.sh
jpt.sh·2d·
Discuss: Hacker News
🔓Open Source Software
Dynamic SQL and JSON Fields
reddit.com·2d·
Discuss: r/golang
📋Protocol Buffers
The Rise of Right-Wing Nihilism
nytimes.com·10h
🧲Magnetic Philosophy
Radxa Cubie A7A is a powerful SBC based on Allwinner A733 Cortex-A76/A55 AI SoC with up to 16GB RAM
cnx-software.com·2d
🖥️Modern CPU
Is the "kube-dns" service "standard"?
reddit.com·12h·
Discuss: r/kubernetes
📦Container Security
Goal-Oriented Low-Rank Tensor Decompositions for Numerical Simulation Data
arxiv.org·4d
🕸️Tensor Networks
"First, they ignore you, and then they mock you, then they fight you." - Says Charles Hoskinson
hackernoon.com·2d
🤝Distributed Consensus
Machine Learning Models in Python for Botox Elmwood Marketing
dev.to·2d·
Discuss: DEV
🧠Machine Learning
Automated Artifact Evaluation Through Multi-Modal Semantic Graph Analysis and Recursive Scoring
dev.to·5d·
Discuss: DEV
⚡Proof Automation
Fellows’ Stories from the SSI Fellowship programme
software.ac.uk·1d
🏛Digital humanities
AI Agents in the Dev Workflow: Why You Should Start Building Them Now
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Automated Defect Classification via Hierarchical Multi-Scale Feature Extraction for Logic BIST
dev.to·5d·
Discuss: DEV
🔍FPGA Verification
Business Software with AI?
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Why Paradigm built a spreadsheet with an AI agent in every cell
techcrunch.com·3d
🚀Indie Hacking
ETTRL: Balancing Exploration and Exploitation in LLM Test-Time Reinforcement Learning Via Entropy Mechanism
arxiv.org·4d
🔍Concolic Testing
The Ninja Double Stack air fryer is perfect for small kitchens and large families – and it's now dropped below AU$400
techradar.com·5h
🧮Algorithmic Cooking
Probably Secure: A Look At The Security Concerns Of Deterministic Vs Probabilistic Systems
dev.to·3d·
Discuss: DEV
🔒Language-based security