🏛️ Agda

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

Counting down to Nashville (and San Diego)
keanw.com·1d·
Discuss: www.keanw.com
🏺Compression Museums
15.03 Life Admin System
johnnydecimal.com·2d
🏠Personal Archives
Vitamin D3 supplementation and leukocyte telomere length: 4-year trial findings
sciencedirect.com·11h·
Discuss: Hacker News
🧬Copy Number Variants
Don't ask to ask, just ask
dontasktoask.com·7h·
Discuss: Hacker News, r/programming
🔓Reverse engineering
Development Journey on Game Decompilation Using AI
gambiconf.substack.com·5d·
Discuss: Substack
🎮Game Decompilation
Generative AI loves it and so the em dash — the elegant, gentle friend to all writers — is under attack
theringer.com·9h·
Discuss: Hacker News
📝Punctuation Engines
"Contain and verify" is the real endgame of US-China AI competition
stevenadler.substack.com·19h·
Discuss: Substack
🔲Cellular Automata
Famulor AI – Voice AI platform for smarter phone communication
famulor.io·2d·
Discuss: Hacker News
🎙️Whisper
Microsoft Post-quantum resilience: building secure foundations
blogs.microsoft.com·13h·
Discuss: Hacker News, r/privacy
🔐Quantum Security
AI browsers may be the best thing that ever happened to scammers
engadget.com·9h
🚀Indie Hacking
TerraMaster D1 SSD Plus Review: Experience a Faster External SSD
itsfoss.com·5h
💾Storage Replication
Microbial carbon use efficiency rises after abrupt permafrost thaw, study finds
phys.org·11h
🧊Arctic Storage
The Neanderthal in the Machine
dev.to·13h·
Discuss: DEV
🔲Cellular Automata
M5 DinMeter TOTP Authenticator
hackster.io·3h
🔐HSM Integration
High-Throughput Low-Cost Segmentation of Brightfield Microscopy Live Cell Images
arxiv.org·3h
🕳️Persistent Homology
How to Make Generative AI in Python
dev.to·1d·
Discuss: DEV
📝Text Parsing
Linux Current Task Dump - Debian Bugs
blog.raymond.burkholder.net·3d
🔍eBPF
Enhanced Fatigue Life Prediction of High-Entropy Alloys via Multi-Scale Bayesian Optimization
dev.to·3d·
Discuss: DEV
⚙️Tape Engineering
AI was supposed to save us time. Instead, we're typing more than ever
dev.to·2d·
Discuss: DEV
🎙️Whisper
[R] What do people expect from AI in the next decade across various domains? Survey with N=1100 people from Germay::We found high likelihood, higher perceived r...
reddit.com·13h·
Discuss: r/MachineLearning
🔲Cellular Automata