🏛️ Agda

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

From Chaos to Order: A Workshop with ODE to Uncomplicate Data in Brazil
blog.okfn.org·1d
🏛️OAIS Implementation
How long would it take a monkey to write ‘Hamlet’?
english.elpais.com·3d
🔲Cellular Automata
Working with Btrfs – Snapshots
fedoramagazine.org·22h·
Discuss: Hacker News
🗄️File Systems
Announcing the Data Wrangler powered Notebook Results Table
devblogs.microsoft.com·22h
🦀Rusty Databases
"Borderlands 4": Fortunately humor-free
heise.de·6h
🏺Gaming Archaeology
Babbage – The Language of the Future
tlc-systems.com·5d·
Discuss: Hacker News
🇬🇧British Computing
kamailio/kamailio
github.com·16h
🔓Open Source Software
Zellij terminal workspace: Sessions now in the web browser
heise.de·22h
🐚Nordic Shell
Google Refreshes Pixel Lineup With Tensor G5 and Qi2 Charging Across Four Models
tech.slashdot.org·47m
🎬WebCodecs
Struggling with Vendor Lock-In? Why PostgreSQL is Your Exit Strategy?
dev.to·10h·
Discuss: DEV
🔄Schema Evolution
'Warhammer 40k: Dawn of War 4' revealed, with a new developer promising a return to 'mass-battle, base-building roots' (video)
space.com·6h
🏺Gaming Archaeology
The Outcry over GPT-4o's Brief Death
eshumarneedi.com·2d·
Discuss: Hacker News
🖥️Terminal Renaissance
Is Econometrics a good background to get into Machine Learning? [D]
reddit.com·3d·
Discuss: r/MachineLearning
🧪Data science
Quantization vs Pruning: Insights from the Strong Lottery Ticket Hypothesis
arxiv.org·2d
📊Quantization
The Hidden Commands Inside AI Bureaucracy
dev.to·2d·
Discuss: DEV
✨Algebraic Effects
Monad annoyance
macwright.com·1d
🧬Functional Programming
Synchronization and semantization in deep spiking networks
arxiv.org·1d
🧠Neural Codecs
Current state of my homelab w/ new homemade rack
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Made by Google 2025: all the Pixel news and announcements
theverge.com·2h
🖥️Modern Terminals
Automated Design Space Exploration for Hypersonic Vehicle Aerodynamic Optimization via Constrained Bayesian Optimization
dev.to·4d·
Discuss: DEV
🌀Differential Geometry