🏛️ Agda

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

Aug 22 2025 : Synthesizer Night @ NYC Resistor
nycresistor.com·5h
🎛️Audio Synthesis
HN Tags
paperstack.com·2d
🌀Brotli Internals
Beyond reuse: smarter embedding of information with structured content
fontoxml.com·1d
📦METS Standards
Jetson Thor – Advanced AI for Physical Robotics
nvidia.com·2d·
Discuss: Hacker News
🏠Homelab Federation
AI VideoGen Open Beta Access
gmicloud.ai·7h·
Discuss: Hacker News
🎬WebCodecs
Show HN: An AI agent and interface that maps your chat, designed for deep dives
proread.ai·3h·
Discuss: Hacker News
🔬Academic Search
The Church's AI Doctrine: Human Dignity in the Age of AI
syntheticauth.ai·1d·
Discuss: Hacker News
🌍Cultural Algorithms
Ask HN: Why do so many developers dislike C when I find it inspiring?
news.ycombinator.com·11h·
Discuss: Hacker News
🔩Systems Programming
C calling an “assembler” function, setting the high order bit on, and passing parameters.
colinpaice.blog·1d
🔧RISC-V Assembler
Enhancing efficiency in paediatric brain tumour segmentation using a pathologically diverse single-center clinical dataset
arxiv.org·54m
🌀Riemannian Computing
Introducing MindRoute: Your Personalized AI Learning Roadmap Generator
dev.to·21h·
Discuss: DEV
🌀Brotli Internals
The AI coding pattern spreading through engineering teams
dev.to·3d·
Discuss: DEV
📏Code Metrics
Knowledge Grafting: A Mechanism for Optimizing AI Model Deployment in Resource-Constrained Environments
arxiv.org·3d
📊Quantization
AI Is Testing AI-Generated Code: Should You Trust It?
thenewstack.io·2d
⚡Proof Automation
Embeddings & Cosine Similarity Explained Simply
dev.to·1d·
Discuss: DEV
📐Vector Similarity
HIAL: A New Paradigm for Hypergraph Active Learning via Influence Maximization
arxiv.org·2d
🕸️Graph Embeddings
Distributionally Robust Shape and Topology Optimization
arxiv.org·1d
🌐Computational Topology
ChatGPT Reads Your Tone and Responds Accordingly -- Until It Does Not -- Emotional Framing Induces Bias in LLM Outputs
arxiv.org·1d
🎯Dependent Parsing
Vibe Coding as a Reconfiguration of Intent Mediation in Software Development: Definition, Implications, and Research Agenda
arxiv.org·1d
⚡Effectful Programming
AI Literacy as a Key Driver of User Experience in AI-Powered Assessment: Insights from Socratic Mind
arxiv.org·1d
🧠Intelligence Compression