On systematic construction of correct logic programs
arxiv.org·2h
⚖️Hoare Logic
Stability Optimization and Analysis of Energy Flow Networks versus Different Centrality Measurement
arxiv.org·2h
🤝Consensus Algorithms
Zero Trust Revisited
systemsapproach.org·23h
🕸️Mesh Networks
How Many Paths of Length K Are There Between a and B?
horace.io·1d·
Discuss: Hacker News
🕸️Graph Algorithms
Fair Auctions, Automata Routing, and Rebalancing for Distributed Mobility‑On‑Demand Assignment
hackernoon.com·9h
🎯Performance Proofs
My thoughts on Vertical Slices, CQRS, Semantic Diffusion and other fancy words
architecture-weekly.com·20h·
Discuss: Hacker News, r/programming
🔌Interface Evolution
Fair and Distributed Vehicle‑Request Assignment Using Auctions and Rebalancing in Mobility‑On‑Demand
hackernoon.com·9h
⚡Z3 Optimization
How Does a Firewall Work Step by Step
kalilinuxtutorials.com·1d·
Discuss: Hacker News
🌐Network Security
Fast and Accurate RFIC Performance Prediction via Pin Level Graph Neural Networks and Probabilistic Flow
arxiv.org·1d
🧠Machine Learning
Notes on Autograd
aschrein.github.io·12h·
Discuss: Hacker News
⚡Incremental Computation
noble-curves: audited and minimal elliptic curve cryptography in JavaScript
github.com·12h·
Discuss: Hacker News
🔱Galois Cryptography
How I Approach Performance Investigations – By Rico Mariani
ricomariani.medium.com·1d·
Discuss: Hacker News
🎯Performance Forensics
Self-Healing Network of Interconnected Edge Devices Empowered by Infrastructure-as-Code and LoRa Communication
arxiv.org·1d
🕸️Mesh Networking
Dynamic Network Emulation via Hyperparameter Adaptive Reinforcement Learning
dev.to·2d·
Discuss: DEV
🔌Interface Evolution
Barking Up The Ratchet Tree – MLS Is Neither Royal Nor Nude
soatok.blog·16h·
Discuss: Lobsters, Hacker News, r/programming
🔑Cryptographic Protocols
Securing Kubernetes Layer by Layer: An OSI Approach
reddit.com·9h·
Discuss: r/kubernetes
📦Container Security
HV Metric For Time-Domain Full Waveform Inversion
arxiv.org·2h
📊Rate-Distortion Theory
Uncertainty Propagation Networks for Neural Ordinary Differential Equations
arxiv.org·2h
📊Quantization
How Token Marketing Services Drive Growth and Visibility for Web3 Projects
dev.to·1h·
Discuss: DEV
🔄RSS Infrastructure
The Limits of NTP Accuracy on Linux
scottstuff.net·17h·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🎯Emulation Accuracy