🏛️ Agda

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

What's New in MetaScope 1.0.3 (Build 11)
zalodesignstudio.com·13h·
Discuss: Hacker News
🔌Operating system internals
“Scamlexity”
jmason.ie·14h
🚀Indie Hacking
Elon Musk Sues Apple and OpenAI Over Alleged App Store Conspiracy Against X and Grok
macrumors.com·13h·
Discuss: Hacker News
🍎XNU Internals
Elite Performers Have Always Loved War Rooms, Now They're Using AI to Build Them
actiondigest.com·1d·
Discuss: Hacker News
🧠Intelligence Compression
A Crypto Micronation Is Making Friends at the White House
wired.com·23h
🚀Indie Hacking
Google Nest Camera and Doorbell leak shows off new colors and 2K video recording
theverge.com·11h
🗜️LZW Variants
Perplexity has cooked up a new way to pay publishers for their content
engadget.com·9h
📡RSS
Scientists discover rare freshened water beneath the seafloor
phys.org·15h
🏠Homelab Archaeology
Nvidia's New 'Robot Brain' Goes On Sale
hardware.slashdot.org·9h
🖥️Modern Terminals
From Hashes to Signatures: Securing File Transfers with RSA/ECDSA Digital Signatures
dev.to·3d·
Discuss: DEV
✅Checksum Validation
Our favorite smart lock is on sale for the first time today
theverge.com·14h
🏠Home Automation
Ryugu asteroid research reveals mineral history predating any on Earth
phys.org·13h
📡DNS Archaeology
psygreg/linuxtoys
github.com·2d
📟Terminals
Tackling 5 Critical Cost Drivers With Operational Maturity
thenewstack.io·17h
⚙️Proof Engineering
What is Backpropagation?
dev.to·2d·
Discuss: DEV
🧠Machine Learning
PB-IAD: Utilizing multimodal foundation models for semantic industrial anomaly detection in dynamic manufacturing environments
arxiv.org·5d
🤖Advanced OCR
Departures keep coming: Next Apple AI expert joins Meta
heise.de·21h
🍎Apple Computing
Angular Goes AI-Native: Building Smarter Dev Workflows
dev.to·4d·
Discuss: DEV
🔄Language Evolution
The Enemy from Within: A Study of Political Delegitimization Discourse in Israeli Political Speech
arxiv.org·4d
📝Concrete Syntax
STAS: Spatio-Temporal Adaptive Computation Time for Spiking Transformers
arxiv.org·5d
🦾ARM Cortex-M