🏛️ Agda

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

CIO In The Know – AI or not to AI. That is the question…and how.
avoa.com·1d
🔌Interface Evolution
Save the date: Itanium will die at the end of 2025 (2019)
techrepublic.com·12h·
Discuss: Hacker News
🖥️Modern Terminals
Our contribution to a global environmental standard for AI
simonwillison.net·4d
🌡️Preservation Entropy
Do not yell at the language model
seangoedecke.com·3d
⚡Proof Automation
Inference-Time Techniques for High-Quality, Low-Latency Speech Generation
blog.play.ai·3d·
Discuss: Hacker News
🎙️Whisper
Performance of Threads vs. Processes
medium.com·1d·
Discuss: Hacker News
⚡Performance Tools
Automating Ticket Creation in Jira With the OpenAI Agents SDK: A Step-by-Step Guide
towardsdatascience.com·2d
🌊Streaming Systems
CachyOS Kernels Based on Different Schedulers and Performance Improvements
github.com·11m·
Discuss: Hacker News
❄️Nix Flakes
I'm rewriting the V8 engine in Rust
reddit.com·2d·
Discuss: r/rust
🦀Rust Macros
AI Code Generation, Smarter and More Cost-Efficient with Context Engineering
dev.to·5d·
Discuss: DEV
⚡Proof Automation
Introducing Flask-Nova: Zero-Boilerplate APIs with Docs & Type Safety
dev.to·3d·
Discuss: DEV
⚡Proof Automation
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
AI Integration Services Redefining Business Models 2025
dev.to·16h·
Discuss: DEV
🏠Homelab Orchestration
CLARIFID: Improving Radiology Report Generation by Reinforcing Clinically Accurate Impressions and Enforcing Detailed Findings
arxiv.org·3d
⚙️Compression Benchmarking
I-CEE: Tailoring Explanations of Image Classification Models to User Expertise
arxiv.org·2d
📊Learned Metrics
Differential-UMamba: Rethinking Tumor Segmentation Under Limited Data Scenarios
arxiv.org·2d
🧠Machine Learning
🚀 Building with Bolt: From Idea to Reality in 48 Hours
dev.to·1d·
Discuss: DEV
🌊Streaming Systems
GhostUMAP2: Measuring and Analyzing (r,d)-Stability of UMAP
arxiv.org·3d
🌀Differential Geometry
Linux Kernel Could Soon Expose Every Line AI Helps Write
linux.slashdot.org·1d
🔩Systems Programming