🏛️ Agda

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

NixOS PostgreSQL Major Version Upgrade
kevincox.ca·1d
🧬PostgreSQL Forensics
conclusion: patch OpenSSH!
kivikakk.ee·1d
🔐PAKE Protocols
ChatGPT’s mental health costs are adding up
japantimes.co.jp·17h
🏛Digital humanities
Double Bishops: The Silent Killers of Chess
lichess.org·13h·
Discuss: Hacker News
🎯Proof Tactics
Show HN: InfoCaptor AI – Summarize YouTube Videos into Knowledge Graph
my.infocaptor.com·21h·
Discuss: Hacker News
🤖AI Curation
Can lab-grown oils offer a sustainable alternative to ingredients linked to deforestation?
euronews.com·17h
☕Precision Brewing
The poetry of ancient math
phys.org·5d
📊APL Heritage
“Pity the Poor Reader”
dailynous.com·7h
🏛Digital humanities
Blind XSS via Clipboard Paste Handling: A Detailed Guide
infosecwriteups.com·5h
🛡️WASM Security
Why do software developers love complexity?
kyrylo.org·4d·
Discuss: Lobsters, Hacker News
⚙️Proof Engineering
Communicating Science, Not Magic
nature.com·9h·
Discuss: Hacker News
🧲Magnetic Philosophy
Briefly Noted
newyorker.com·7h
⭐Awesome lists
Telegram bot for streaming movies/music in channels/groups
dev.to·9h·
Discuss: DEV
🎥Streaming Codecs
Question for a small video studio
i.redd.it·15h·
Discuss: r/homelab
🎬Video Codecs
#Top 100 Interview Questions
dev.to·7h·
Discuss: DEV
⛏️SQL Archaeology
How to Compare Patent Search Software Effectively
dev.to·9h·
Discuss: DEV
🔬Academic Search
Motor Imagery EEG Signal Classification Using Minimally Random Convolutional Kernel Transform and Hybrid Deep Learning
arxiv.org·13h
🧠Machine Learning
EEG Study of the Influence of Imagined Temperature Sensations on Neuronal Activity in the Sensorimotor Cortex
arxiv.org·13h
✋Tactile Computing
GEN2: A Generative Prediction-Correction Framework for Long-time Emulations of Spatially-Resolved Climate Extremes
arxiv.org·3d
⚡Incremental Computation
Subjective Behaviors and Preferences in LLM: Language of Browsing
arxiv.org·3d
👤Search Personalization