From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks
arxiv.org·1h
🌐Protocol Synthesis
Beyond Theory – Interview with Jole Stimbirytė by Viktorija Gardoviča
ica.org·14h
⚖️Archive Ethics
Lookup Table Madness (2004)
sqlservercentral.com·1d·
Discuss: Hacker News
🏺Database Archaeology
Knowledge and Common Knowledge in a Distributed Environment, Part 1
emptysqua.re·17h
🔲Cellular Automata
Using sound to remember quantum information 30 times longer
phys.org·12h
⚛️Quantum Tape
I finally finished my Homelab! Built in a Rackmate T1
reddit.com·13h·
Discuss: r/homelab
🏠HomeLab
How to Stay a Step Ahead of a Non-Obvious Threat
darkreading.com·1d
🔓Hacking
Introducing Storage Management for Proxmox Nodes & Clusters with the new Ansible Module proxmox_storage
gyptazy.com·1d
💾Proxmox Storage
Automated Comparative Analysis of Materials Degradation via Multi-Modal Sensor Fusion & Recursive Bayesian Inference
dev.to·2d·
Discuss: DEV
💾Floppy Imaging
Securing Meta's Production PKI Credentials
usenix.org·22h
🎯NTLM Attacks
Comparison of Generic Container Libraries for C
github.com·14h·
Discuss: Hacker News
💧Liquid Types
Decentralized Proof-of-Location systems for trust, scalability, and privacy
nature.com·2d·
Discuss: Hacker News
🤝Distributed Consensus
Inevitable technologies of lightness
robinsloan.com·1d
🖥️Terminal Renaissance
A non-uniform view of Craig interpolation in modal logics with linear frames
arxiv.org·1h
🔗Combinatory Logic
Is Chain-of-Thought Reasoning of LLMs a Mirage? A Data Distribution Lens – 2508.01191v2.pdf
jmason.ie·1d
📏Linear Logic
From Analog to Digital: Integrating Audiovisual Collections into the WPI Digital Archives
saaers.wordpress.com·13h
💿FLAC Archaeology
Amazon Bedrock AgentCore Memory: Building context-aware agents
aws.amazon.com·12h
💾Persistence Strategies
Preparing for the Post-Quantum Era: Best Practices for Federal Agencies
medium.com·1d
🔐Quantum Security
Idea-Driven Ideas
vitalik.eth.limo·1d·
Discuss: Hacker News
🔲Cellular Automata
OOMProf - Take a heap profile just before OOMkill using eBPF
polarsignals.com·14h·
Discuss: Lobsters, Hacker News, r/golang
🧠Memory Forensics