🏛️ Agda

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

Song recommendations with pipes and filters
blog.ploeh.dk·3h
λLambda Formalization
Transitioning from Linux to FreeBSD
discoverbsd.com·9h
🔌Operating system internals
SahulCHAR: A Palaeofire Database for Australia, New Guinea, and New Zealand
essd.copernicus.org·42m·
Discuss: Hacker News
📰RSS Archaeology
Introducing JWT Signing Keys
supabase.com·11h·
Discuss: Hacker News
🌳Archive Merkle Trees
Doing time. The emergence of irreversibility – PubMed
pubmed.ncbi.nlm.nih.gov·4h·
Discuss: Hacker News
🔲Cellular Automata
Practical Bitwise Tricks in Everyday Code (Opinioned)
maltsev.space·3d·
Discuss: r/programming
🔢Bitwise Algorithms
What Doesn’t Change
terriblesoftware.org·5h·
Discuss: r/compsci, r/programming
🕹Emulation Theory
Shipping Linear Drafts
mufeezamjad.com·1d·
Discuss: Hacker News
🌊Streaming Systems
New blockchain Petoron Core (ADC)
dev.to·1h·
Discuss: DEV
🔗Blockchain Archives
Medical Red Teaming Protocol of Language Models: On the Importance of User Perspectives in Healthcare Settings
arxiv.org·3d
🌐Protocol Synthesis
Total/dual correlation/coherence, redundancy/synergy, complexity, and O-information for real and complex valued multivariate data
arxiv.org·14h
📈Mutual Information
A Single-Case Study: Using Grok 4 to Reframe a “Beauty Analysis” Prompt for ChatGPT o3
dev.to·17h·
Discuss: DEV
🏛Digital humanities
Why Students and AI Hobbyists should Switching to 9xChat 🧠🚀
dev.to·12h·
Discuss: DEV
🎙️Whisper
Machine Learning Fundamentals: cross validation tutorial
dev.to·4d·
Discuss: DEV
🌊Stream Processing
Here’s How I Became Open to Using AI
spin.atomicobject.com·2d·
Discuss: Hacker News
🎙️Whisper
Bringing AI to the Front-End – Integrating GPT APIs
dev.to·7h·
Discuss: DEV
🎙️Whisper
AmpLyze: A Deep Learning Model for Predicting the Hemolytic Concentration
arxiv.org·14h
🧠Machine Learning
ESP8266 NRF24L01 Wifi Gateway with Arduino NRF24L01 Node
hackster.io·12h
📻Homebrew Protocols
Warp Goes Agentic: A Developer Walk-Through of Warp 2.0
thenewstack.io·2d
🖥️Modern Terminals
The Impact of Automatic Speech Transcription on Speaker Attribution
arxiv.org·14h
🎵Acoustic Fingerprinting