🏛️ Agda

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

Latam-GPT: The Free, Open Source, and Collaborative AI of Latin America
wired.com·8h·
Discuss: r/technews
🌍Cultural Computing
BSD Now 626: USB webcam testing
discoverbsd.com·10h
🔌Operating system internals
IdleRPG at a LAN party
octet-stream.net·8h
👑Isabelle
Document-Driven Development
gist.github.com·1d·
Discuss: Hacker News
🔄Language Evolution
Type-Hinting DataFrames for Static Analysis and Runtime Validation
medium.com·6d·
Discuss: Hacker News
🧮Algebraic Datatypes
Enhanced Floating Wind Turbine Blade Fatigue Life Prediction via Deep Feature Fusion
dev.to·23h·
Discuss: DEV
🧩WASM Components
Automated Protocol Synthesis: Hyper-Specific Self-Awareness System Characterization
dev.to·10h·
Discuss: DEV
🎯Threat Hunting
From Black Box to Blueprint
martinfowler.com·4d·
Discuss: Hacker News
🏛️Mainframe Archaeology
Chicken Scheme internals: the garbage collector
more-magic.net·3d·
Discuss: Hacker News
🧠Separation Logic
Adaptive Voronoi Diagram Tessellation for Dynamic Resource Allocation in Swarm Robotics
dev.to·9h·
Discuss: DEV
🌸Bloom Variants
Applied AI Fundamentals: Structured Outputs
ouachitalabs.com·2d·
Discuss: Hacker News
📝Concrete Syntax
Learning Go as a sysadmin/DevOps person coming from Bash
github.com·9h·
Discuss: Hacker News
📝Shell Parsing
Using LLMs for Intel Processor Code Trace Analysis
alansguigna.com·3d·
Discuss: Hacker News
🔩Systems Programming
Show HN: Omni-LPR – A multi-protocol license plate recognition server
news.ycombinator.com·5h·
Discuss: Hacker News
🌀Brotli Internals
Automated Clinical Problem Detection from SOAP Notes using a Collaborative Multi-Agent LLM Architecture
arxiv.org·15h
🔗Constraint Handling
🌟Introducing Art-0-8B: Reasoning the way you want it to with Adaptive Thinking🌟 [R]
reddit.com·1d·
Discuss: r/MachineLearning
🔗Constraint Handling
Best Tools to Test AI Applications in 2025: A Practical Buyer’s Guide
dev.to·1d·
Discuss: DEV
👁️System Observability
ConsciousCoin: When Consciousness Becomes Its Own Proof
dev.to·21h·
Discuss: DEV
🔗Hash Chains
The Prompt Architect's Playbook: 12 Patterns Defining 2025
dev.to·21h·
Discuss: DEV
⚡Proof Automation
I Built and Deployed a Micro-SaaS in 3 Hours — Here’s What I Learned
dev.to·22h·
Discuss: DEV
🌀Brotli Internals