🏛️ Agda

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

Bridging the Runtime Gap: Insights from Frost & Sullivan’s 2025 Cloud / Application Runtime Security Report | Oligo Security
oligo.security·22h
👁️System Observability
OpenAI signs deal with UK to find government uses for its models
theguardian.com·14h
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Canadian Cross
en.wikipedia.org·3d·
Discuss: Hacker News
🏗️Compiler Archaeology
A ChatGPT ‘router’ that automatically selects the right OpenAI model for your job appears imminent
venturebeat.com·12h·
Discuss: Hacker News
🖥️Modern Terminals
Vibe coding a Greek learning app without knowing Gree
mikeborozdin.com·1d·
Discuss: Hacker News
🌀Brotli Dictionary
How to Invent Defense Products (2022)
vannevarlabs.com·10h·
Discuss: Hacker News
💾Persistence Strategies
Press Any Key for Bay Area House Party
astralcodexten.com·16h·
Discuss: Hacker News
🖥️Terminal Renaissance
China proves that open models are more effective than all the GPUs in the world
theregister.com·2d·
Discuss: Hacker News
🇨🇳Chinese Computing
Qwen 3 Drops a Update, Outshining DeepSeek V3
dev.to·1h·
Discuss: DEV
🗜️LZW Variants
I Tested 5 CLI Coding Agents & Here’s What Surprised Me!
dev.to·2d·
Discuss: DEV
⚡Proof Automation
Bridging the gap: From axios to gRPC interceptors in Go
dev.to·1d·
Discuss: DEV
⚡gRPC
Navigating the Landscape: Perl vs. Python vs. Bash in System Administration and Automation
dev.to·2d·
Discuss: DEV
🐚Shell Automation
HTTP Requests in Go: Only The Most Useful Libraries
dev.to·17h·
Discuss: DEV
⚡gRPC
Convert HTML and CSS to SVG
github.com·8h·
Discuss: Hacker News
📸PNG Optimization
Context Engineering for AI Agents: Key Lessons from Manus
dev.to·3d·
Discuss: DEV
🏗️Compiler Archaeology
Machine learning-enabled river water quality monitoring using lithography-free 3D-printed sensors
arxiv.org·6h
📊Quantization
Machine Learning Fundamentals: dimensionality reduction tutorial
dev.to·4d·
Discuss: DEV
📐Vector Dimensionality
Partial decidability protocol for the Wang tiling problem from statistical mechanics and chaotic mapping
arxiv.org·4d
🎯Performance Proofs
Procedure Learning via Regularized Gromov-Wasserstein Optimal Transport
arxiv.org·6h
🧠Machine Learning
The Judge Variable: Challenging Judge-Agnostic Legal Judgment Prediction
arxiv.org·1d
🗂️Vector Databases