🏛️ Agda

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

Redudant power supply for home servers and devices
wtarreau.blogspot.com·16h·
Discuss: wtarreau.blogspot.com
⚙️DIY Electronics
Stop Calling It OSINT
dutchosintguy.com·3d
🔎OSINT Techniques
The Blue OS Museum
blueosmuseum.com·16h·
Discuss: Hacker News
🕹️Retro Gaming
MetaScope Build 10: Revolutionary File Processing and External Drive Support
zalodesignstudio.com·1d·
Discuss: Hacker News
✅Archive Fixity
Extending the ARM of Atlas Computing
atlas.cern·2d·
Discuss: Hacker News
🦾ARM Assembly
The battle for sand: Murders, impunity and environmental destruction in the Dominican Republic
english.elpais.com·2d
🛣️BGP Hijacking
Auto-labeling in Viam can elevate your edge ML project
viam.com·4d·
Discuss: Hacker News
🤖Tape Automation
Grok chats show up in Google searches
malwarebytes.com·2d
🤖AI Curation
I grew my product from 0 to 1k users – here are 5 things I learned
news.ycombinator.com·2d·
Discuss: Hacker News
🚀Indie Hacking
The Google Pixel 10 Pro Fold is the first IP68 folding phone, and that's a huge deal – here's why
techradar.com·1d
📜Proof Carrying Code
Tell us: share your experiences of being in a throuple
theguardian.com·16h
🏠Personal Archives
When Tech Billionaires Can’t Keep Their Story Straight: First AI Takes Your Job, Now It Doesn’t
reddit.com·1d·
Discuss: r/artificial
🔓Hacking
Heart Health for Developers
dev.to·2d·
Discuss: DEV
📜Proof Carrying Code
The High Femme Dystopia of Star Amerasu
newyorker.com·2d
🏛Digital humanities
5 Key Differences Between Artificial Intelligence and Machine Learning
dev.to·2d·
Discuss: DEV
🧠Machine Learning
Advanced Microbial Fuel Cell Optimization via Hyperdimensional Data Fusion and Adaptive Enzyme Engineering
dev.to·3d·
Discuss: DEV
⚡Incremental Computation
HIP: Model-Agnostic Hypergraph Influence Prediction via Distance-Centrality Fusion and Neural ODEs
arxiv.org·3d
🌀Hyperbolic Geometry
Revisiting Diffusion Q-Learning: From Iterative Denoising to One-Step Action Generation
arxiv.org·5d
🔲Cellular Automata
Private Family Cloud with Multil Location High Availability Using Talos and Tailscale
reddit.com·3h·
Discuss: r/kubernetes
💿Proxmox HA
Bayesian Adaptive Experimental Design via Gaussian Process with Multi-Fidelity Data Integration
dev.to·6d·
Discuss: DEV
⚡Incremental Computation