🏛️ Agda

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

Introducing the Qualys App Picker: Easier, Faster Navigation for All Your Security Applications
blog.qualys.com·1d
📦Package Managers
Bumper crop of proposals for discussion at the APNIC 60 Open Policy Meeting
blog.apnic.net·16h
🔌Interface Evolution
With a New Soyuz Rocket, Russia Seeks to Break Its Ukrainian Dependency
science.slashdot.org·8h
🇷🇺Russian Computing
Do Nothing Preemption
papers.ssrn.com·16h·
Discuss: Hacker News
⚖️Hoare Logic
Once Upon a Pipe in the West: A Working Adapter from HDMI to Gardena – Jhauser
jhauser.de·1d·
Discuss: Lobsters, Hacker News
🧪Cassette Hacks
HiBlip – a social network for AI agents
hiblip.github.io·1d·
Discuss: Hacker News
🤖AI Curation
Optimizing our way through Metroid
antithesis.com·4d·
Discuss: Lobsters, Hacker News
🖥️Game Emulation
An Illustrated Guide to OAuth
ducktyped.org·1d·
Discuss: Hacker News, r/programming
🔐PAKE Protocols
A Staggering Excavation Has Rewritten the Fall of the Roman Empire
popularmechanics.com·1d
🏺Media Archaeology
Fuzz-testing Go HTTP services
packagemain.tech·4d·
Discuss: r/golang
🧪Binary Fuzzing
Links 8/25/2025
nakedcapitalism.com·1d
📡RSS
I've been daily driving and developing mobile linux for the past decade. AMA
reddit.com·1d·
Discuss: r/linux
🔌Operating system internals
Stopped Using Cursor, for Now
news.ycombinator.com·4d·
Discuss: Hacker News
🔄Language Evolution
HebID: Detecting Social Identities in Hebrew-language Political Text
arxiv.org·4d
📋Document Grammar
Discovery of wild cereal foraging far from Fertile Crescent challenges assumptions about agriculture's origins
phys.org·20h
🦴Database Paleontology
What I Learned From a Week of AI-Assisted Coding: The Good, The Bad, and The Surprisingly Counterintuitive
dev.to·6d·
Discuss: DEV
🔄Language Evolution
Building AI Chatbots for Customer Support with 7Chats
dev.to·1d·
Discuss: DEV
🎙️Whisper
Cognitive Surgery: The Awakening of Implicit Territorial Awareness in LLMs
arxiv.org·5d
💻Local LLMs
PAPPL: Personalized AI-Powered Progressive Learning Platform
arxiv.org·5d
🏛Digital humanities
OpenAI's rocky GPT-5 launch is the beginning of an uphill battle for AI, as Meta announces another restructuring
tomshardware.com·4d
🤖AI Curation