Cure - Verification-First Programming for the BEAM
cure-lang.org·16h·
Discuss: Lobsters
⚖️Verification Calculi
Flag this post
Introdution to cloud-init and bridge networking
h45h.gitlab.io·13h·
Discuss: r/homelab
🏠HomeLab
Flag this post
Absurd Workflows: Durable Execution With Just Postgres
lucumr.pocoo.org·1d·
🌊Streaming Databases
Flag this post
Status update, October 2025
bisco.org·21h
❄️Nix Flakes
Flag this post
Recent Vulnerabilities in Redis Server’s Lua Scripting Engine
offsec.com·10h
🎫Kerberos Exploitation
Flag this post
Weekly Bookmarks
inkdroid.org·1d
🏠Homelab Archaeology
Flag this post
The race to shore up Europe’s power grids against cyberattacks and sabotage
theregister.com·16h·
Discuss: Hacker News
🏠Homelab Security
Flag this post
Computational Complexity and Explanations in Physics
gilkalai.wordpress.com·1d
⚛️Quantum Algorithms
Flag this post
Building Software That Survives • Michael Nygard & Charles Humble • GOTO 2025
youtube.com·14h
🔐Capability Systems
Flag this post
What Artifacts Teach Us
systemsapproach.org·20h
📡Network Archaeology
Flag this post
Analysis of NGate malware campaign (NFC relay)
cert.pl·17h
🔐Certificate Analysis
Flag this post
Trust in the Machine: Building Reputable Service Networks for AI Agents
dev.to·12h·
Discuss: DEV
🤝Distributed Consensus
Flag this post
ASAN: A conceptual architecture for a self-creating, energy-efficient AI system
github.com·13h·
Discuss: Hacker News
🤖Network Automation
Flag this post
OVHcloud: Quantum random number generation SSL certificates for all customers
blog.ovhcloud.com·13h·
Discuss: Hacker News
🔐Quantum Cryptography
Flag this post
Challenges in Credit Assignment for Multi-Agent Reinforcement Learning in Open Agent Systems
arxiv.org·22h
🔲Cellular Automata
Flag this post
Nostr is deceptively tricky to understand
njump.me·1d·
🔐CBOR
Flag this post
Training: Postgres Performance and Maintenance
postgresconf.org·10h·
Discuss: Hacker News
🧬PostgreSQL Forensics
Flag this post
Production-Ready Rate Limiter in Go: From Side Project to Distributed System
dev.to·17h·
Discuss: DEV
🌊Streaming Systems
Flag this post
My First Multi-GPU Kernel: Writing All-to-All for AMD MI300X
gau-nernst.github.io·1d·
Discuss: Hacker News
Homebrew CPUs
Flag this post
How much disorder is there in a descending run?
morwenn.github.io·14h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Flag this post