🏛️ Agda

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

Alstom wins Mumbai metro Line 4 contract
railjournal.com·2h
🌊Stream Processing
Q&A: How can the EU help startups go global?
politico.eu·1d
🔐Capability Security
Castle Dracula (1983)
bluerenga.blog·2d
🏺Gaming Archaeology
<code>rv</code>, a new kind of Ruby management tool
andre.arko.net·6h·
Discuss: Lobsters, Hacker News
📦Package Managers
What is this? The case for continually questioning our online experience
systems-souls-society.com·1d·
Discuss: Hacker News
🧲Magnetic Philosophy
Scientists turn spin loss into energy, unlocking ultra-low-power AI chips
sciencedaily.com·1d·
Discuss: Hacker News
🧲Magnetic Recording
Emotional Williams, 45, impresses in loss on US Open return
bbc.com·6h
📊Rate-Distortion Theory
postMessaged and Compromised
msrc.microsoft.com·1d·
Discuss: Lobsters, Hacker News
🎯NTLM Attacks
One year later, the Rabbit R1 is good now
tomsguide.com·3d·
Discuss: Hacker News
🎯Emulator Accuracy
Engineering fantasy into reality
news.mit.edu·8h
📟Terminal Physics
GhostBSD Ships "Gershwin" Desktop Environment For A macOS Like Experience
phoronix.com·12h
🔌Operating system internals
Greenboot Rust Rewrite Approved For Fedora 43
phoronix.com·2h
🦀Embedded Rust
The rise and fall of the fast-casual slop bowl
businessinsider.com·4h
🌊Streaming Algorithms
Chatbot still can’t handle tic-tac-toe
statmodeling.stat.columbia.edu·1d
🔲Cellular Automata
Ahead of Time Fetch for Spas
github.com·1d·
Discuss: Hacker News
🌐Web Standards
How We Reduced LLM Costs by 90% with 5 Lines of Code
towardsdatascience.com·4d
🌊Stream Processing
New method enables self-assembly of robust and soft porous crystals with unique gas sorption properties
phys.org·17h
🌈Spectroscopy
I Built a Free AI Thumbnail Maker – Need Your Honest Review!
dev.to·3d·
Discuss: DEV
🗜️LZW Variants
Evaluating Open-Source Vision Language Models for Facial Emotion Recognition against Traditional Deep Learning Models
arxiv.org·6d
🧠Learned Codecs
18 AI Coding Sidekicks That'll Make You Feel Like a Programming Wizard in 2025
vibe.forem.com·6d·
Discuss: DEV
⚔️Lean Tactics