🏛️ Agda

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

Using keyrings and certificates on z/OS with Liberty
colinpaice.blog·1d
🔐PKI Archaeology
If only I'd known ... Debian repo signing
jpmens.net·2d
❄️Nixpkgs
August 14, 2025: Intermediate Scraping Webinar (4 hour) [Americas / Europe-friendly time]
bellingcat.com·2d
⚙️Proof Engineering
7 Matplotlib Tricks to Better Visualize Your Machine Learning Models
machinelearningmastery.com·1d
📐Mathematical Art
Intel's One True Stakeholder is Here
fabricatedknowledge.com·14h
🖥️Modern Terminals
Hidden Agendas, Lost Cities
systemstack.dev·2d
🎨Swedish Design Philosophy
VirtualBox 7.2: For the first time for Windows on ARM
heise.de·12h
🕸️WASM Archives
The Imminent Deprecation of memory_order:consume
people.kernel.org·3d·
Discuss: Hacker News
🔩Systems Programming
Should we remove XSLT from the web platform?
github.com·1d·
Discuss: Hacker News
🔀XSLT
Save It In Markdown
irreal.org·2d
🌐Web Archiving
Pepeto Nears Stage 10, Raises Over $6.18M In Presale, As Ethereum Eyes $10,000
hackernoon.com·12h
🔗Hash Chains
Gaze-Based Indicators of Driver Cognitive Distraction: Effects of Different Traffic Conditions and Adaptive Cruise Control Use
arxiv.org·1d
🎨Nordic UX
Automated Differential Privacy Enforcement via Adaptive Kernel Density Estimation (ADPE-KDE) in Streaming Sensor Data
dev.to·4d·
Discuss: DEV
🛡️Differential Privacy
$1700 bounty delivers 2.4× speedup for CUDA Gaussian Splatting training
github.com·3d·
Discuss: Hacker News
🌊Streaming Algorithms
Automated Anomaly Detection in Cloud Resource Configuration Utilizing Dynamic Graph Embeddings
dev.to·2d·
Discuss: DEV
🔍Vector Forensics
DAPP: Lagging Bitcoin And Ether Lately, Remaining Cautious
seekingalpha.com·2d
🔍BitFunnel
Noise-adapted Neural Operator for Robust Non-Line-of-Sight Imaging
arxiv.org·2d
🧠Machine Learning
VasoMIM: Vascular Anatomy-Aware Masked Image Modeling for Vessel Segmentation
arxiv.org·1d
🤖Advanced OCR
Vibe Coding - Conversational Software Development - Part 3 Prompt Discipline
dev.to·4d·
Discuss: DEV
✨Effect Handlers
How Earning Data Science Certifications with Pickl.ai Fast Tracks Your Real-World Skills
dev.to·2d·
Discuss: DEV
🧪Data science