🏛️ Agda

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

How to install and test KDE Linux as a virtual machine
dedoimedo.com·1d
🔌Operating system internals
Bookshelf: Summer 2025
placesjournal.org·1d
🏛Digital humanities
Duke's Corner is a forum for conversations with Java developers
dukescorner.libsyn.com·1d·
Discuss: Hacker News
🔓Open Source Software
D2 (text to diagram tool) now supports ASCII renders
d2lang.com·1d·
Discuss: Hacker News, r/programming
🔠Terminal Fonts
Working With JSON Data in Python
realpython.com·1d
✅Format Verification
Maybenot: A framework for traffic analysis defenses
github.com·1d·
Discuss: Lobsters, Hacker News
🔍BitFunnel
Kernel Stack Watch Proposed As New Linux Debugging Tool
phoronix.com·2d
🔍eBPF
Announcing the end-of-support for the AWS SDK for .NET v3
aws.amazon.com·1d
❄️Nix Adoption
Transient Stability Analysis for Grid Following Converters in Low-Inertia Power Systems by Direct Method
arxiv.org·1d
⚡Circuit Verification
Robustly estimating heterogeneity in factorial data using Rashomon Partitions
arxiv.org·1d
🧠Machine Learning
Urban AI Governance Must Embed Legal Reasonableness for Democratic and Sustainable Cities
arxiv.org·2d
🔲Cellular Automata
Hacker Finds Flaws in McDonald’s Staff, Partner Hubs
darkreading.com·1d
🔓Hacking
5 Best Crypto Presales of 2025: Why BlockchainFX Is Set to Outshine Them All
hackernoon.com·18h
🔗Hash Chains
GANDiff FR: Hybrid GAN Diffusion Synthesis for Causal Bias Attribution in Face Recognition
arxiv.org·3d
📊Learned Metrics
Scalable Quantum Annealing-Enhanced Topological Superconductor Design Optimization via Hyperdimensional Embedding
dev.to·1d·
Discuss: DEV
🕸️Tensor Networks
New to homelabbing and need some help with part picking
reddit.com·12h·
Discuss: r/homelab
🏠HomeLab
Adaptive Optics for High-Resolution Coronagraphy via Multi-Modal Wavefront Shaping
dev.to·3d·
Discuss: DEV
🔬Optical Physics
This ChatGPT prompt ‘unlocks 100% of GPT-5’s power’ – and it’s so easy to use
techradar.com·3d
🔓Password Cracking
My Homelab. Finally finished, mostly.
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab
Say It, See It: A Systematic Evaluation on Speech-Based 3D Content Generation Methods in Augmented Reality
arxiv.org·2d
🎙️Whisper