🏛️ Agda

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

Are you deploying across ARM and x64 architectures?
caepe.sh·1d·
Discuss: Hacker News
🧲RISC-V Preservation
Show HN: JavaScript algorithm prep that teaches language-specific patterns
memoized.io·3d·
Discuss: Hacker News
⚡Proof Automation
Zed code editor hears your prayers, rolls out AI-free mode
theregister.com·3d
🚀Indie Hacking
🚤 DIY 3D-Printed RC Boat
hackster.io·12h
⚙️DIY Electronics
Show HN: Same prompt tested across Replit, Bolt, v0, Lovable and Raq.com
raq.com·4d·
Discuss: Hacker News
⚡Proof Automation
Cranelift compiler efficiency, CFGs, and a branch peephole optimizer
cfallin.org·5d·
Discuss: Hacker News
⚙️RISC-V Microcode
Keep calm and carry on
boston.conman.org·1d·
Discuss: Lobsters, Hacker News
🖋Typography
Dynamic analysis of free-free Timoshenko beams on elastic foundation under transverse transient ground deformation
arxiv.org·2d
🌊Stream Ciphers
What kind of motherboards do you like?
forums.anandtech.com·1d
🔌Operating system internals
5 Java Performance Pitfalls and How Real-World Profiling Can Fix Them
hackernoon.com·4d
📏Code Metrics
A Scalable Pipeline for Estimating Verb Frame Frequencies Using Large Language Models
arxiv.org·2d
🔗Monadic Parsing
Honey Adulteration Detection using Hyperspectral Imaging and Machine Learning
arxiv.org·1d
🧠Machine Learning
The Subtle Art of Herding Cats: Why AI Agents Ignore Your Rules (Part 1 of 4)
dev.to·5d·
Discuss: DEV
⚡Proof Automation
My first home server 🫡
reddit.com·1h·
Discuss: r/homelab
🏠HomeLab
You Don’t Need GraphRAG! Build a Multi-Strategy Graph Thinking AI Agent
dev.to·3d·
Discuss: DEV
🕸️Neo4j
Anthropic's Ascendancy: Why Enterprises Choose Claude Over ChatGPT
dev.to·1d·
Discuss: DEV
🖥️Modern Terminals
Talk to my Agent
towardsdatascience.com·5d
🔌Interface Evolution
Quark’s Outlines: Python Plain Integers
dev.to·5d·
Discuss: DEV
📐Interval Arithmetic
Unlocking Productivity with Browser Plugin with AI
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Containerize legacy Spring Boot application using Amazon Q Developer CLI and MCP server
aws.amazon.com·1d
🔌Interface Evolution