🏛️ Agda

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

A better monetization model for LLM applications
pablofernandez.tech·10h
🖥️Modern Terminals
Introducing Omiword, the new word game from the makers of Damn Interesting
damninteresting.com·4h
🖋Typography
Solutions That Speak To Your Tactical Pain While Expanding and Scaling Your Strategic Pain
apievangelist.com·9h
🖥️Terminal Renaissance
Cryptography for the Everyday Developer: Understanding DES - The Data Encryption Standard
sookocheff.com·3d
🔐Cryptographic Archaeology
Show HN: I couldn't find an idea so I created a problem bank
gotaprob.com·8h·
Discuss: Hacker News
🔗Constraint Handling
How to create a PDFs API using Puppeteer with auto-deploy to AWS Lambda
buglesstack.com·6h·
Discuss: Hacker News
🔌Archive APIs
Door Wide AI: The 64M Users McDonald's Left Behind
vitraag.com·15h·
Discuss: Hacker News
🔓Hacking
I Fixed Ruby's Most Annoying Problem: 60-Second Gem Installs
mensfeld.pl·3d·
Discuss: Lobsters, Hacker News, r/programming
❄️Nix Flakes
The Benefits of Trunk-Based Development
thinkinglabs.io·4h·
Discuss: Hacker News
❄️Nix Adoption
You Can't Buy Integration (2021)
martinfowler.com·2d·
Discuss: Hacker News
⚡SMT Integration
Chatbots to robots: The rise of 'physical AI'
computerworld.com·8h·
Discuss: Hacker News
🤖Tape Automation
Herringbone Tiles
nothings.org·7h·
Discuss: Hacker News
📐Mathematical Art
The Real Problem with AI Agents (and How We Built the Fix)
dev.to·2d·
Discuss: DEV
⚡Proof Automation
On One-Shot Signatures, Quantum vs Classical Binding, and Obfuscating Permutations
arxiv.org·4d
🔐Quantum Security
The Big OOPs: Anatomy of a Thirty-Five Year Mistake
computerenhance.com·4d·
Discuss: Hacker News, Hacker News
🏗️Compiler Archaeology
A Practical Guide to Fine-Tuning and Inference with GR00T N1 & LeRobot on a Custom Dataset
dev.to·1d·
Discuss: DEV
🎯Emulator Accuracy
Learning Deblurring Texture Prior from Unpaired Data with Diffusion Model
arxiv.org·14h
👁️Perceptual Coding
My experience with Claude Code after 2 weeks of adventures | Hacker News
news.ycombinator.com·2d·
Discuss: Hacker News
🌳Incremental Parsing
Create an AI Chatbot by Scraping your Website
dev.to·11h·
Discuss: DEV
🕵️Feed Discovery
The Case for Contextual Copyleft: Licensing Open Source Training Data and Generative AI
arxiv.org·3d
🔓Open Source Software