🏛️ Agda

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

Monday 11 August, 2025
memex.naughtons.org·1d
🧲Magnetic Philosophy
Setting up a CI server for Forgejo
robey.lag.net·1d·
Discuss: Lobsters, Hacker News
🔄Sync Engine
How Boom uses software to accelerate hardware development
bscholl.substack.com·1d·
Discuss: Substack
🔌Interface Evolution
An easy-to-implement, arena-friendly hash map
nullprogram.com·5d·
Discuss: Lobsters
🔐Hash Functions
Why do we agree to take off our shoes at the airport?
phys.org·11h·
Discuss: Hacker News
🧲Magnetic Philosophy
Refined genome editing in aphids reveals key gene for overwintering egg adaptation
phys.org·17h
🧬Copy Number Variants
dgop: Stateless System Monitoring with Cursor-based Sampling - API & CLI
reddit.com·11h·
Discuss: r/linux
⚡Performance Tools
Matter’s latest update doubles down on stability and pushes the platforms to play better together
theverge.com·19h
🏠Home Automation
Wafer-scale nano-fabrication of multi-layer diffractive optical processors enables unidirectional visible imaging
phys.org·11h
🌈Holographic Archives
Quack AI & DuckChain – How On-Chain AI Governance is Changing the Game
dev.to·15h·
Discuss: DEV
🔗Blockchain Archives
A Physics-Driven Neural Network with Parameter Embedding for Generating Quantitative MR Maps from Weighted Images
arxiv.org·3h
🧠Machine Learning
TEFormer: Texture-Aware and Edge-Guided Transformer for Semantic Segmentation of Urban Remote Sensing Images
arxiv.org·1d
🔶Voronoi Diagrams
Case Study – Automating an ETL Pipeline with MCP
dev.to·3d·
Discuss: DEV
🏠Homelab Orchestration
Reward-Directed Score-Based Diffusion Models via q-Learning
arxiv.org·3h
🧠Machine Learning
Propagation Tree Is Not Deep: Adaptive Graph Contrastive Learning Approach for Rumor Detection
arxiv.org·3h
🕸️Graph Embeddings
Machine Learning Fundamentals: model selection
dev.to·3d·
Discuss: DEV
🎵Audio ML
GPT-5 Is Here: What It Really Means for Junior Developers (Like Me)
dev.to·3d·
Discuss: DEV
🔍Concolic Testing
Uncertainty-quantified Rollout Policy Adaptation for Unlabelled Cross-domain Temporal Grounding
arxiv.org·1d
📊Learned Metrics
Moving Forward: Builders Are Proving What’s Possible With CARV’s AI Stack
hackernoon.com·3d
🚀Indie Hacking
From "Aha Moments" to Controllable Thinking: Toward Meta-Cognitive Reasoning in Large Reasoning Models via Decoupled Reasoning and Control
arxiv.org·5d
✨Effect Handlers