Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·3h
🎯Performance Proofs
Explaining Fully Homomorphic Encryption to My Mom
olshansky.medium.com·3h·
Discuss: Hacker News
🔐Homomorphic Encryption
Securing FreeBSD Services with Lightweight Jails
discoverbsd.com·1h
🗄️File Systems
Securing the Cloud in an Age of Escalating Cyber Threats
darkreading.com·17h
🛡Cybersecurity
FLINT: Fast Library for Number Theory
flintlib.org·12h
🧮Algebraic Datatypes
Show HN: DataCompose – Prevent downstream data failures with composite functions
datacompose.io·11h·
Discuss: Hacker News
✅Format Validation
Sound and Solution-Complete CCBS
arxiv.org·1d
🛡️Archive Verification
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
playfulprogramming.com·1d
🧪Binary Fuzzing
Certificate Transparency - Part 3 - Operations
ipng.ch·1d
🔒Hardware Attestation
Claude Code Gets a Second Opinion from GPT-5
proxymock.io·16h·
Discuss: Hacker News
⚡Proof Automation
Permacomputing
inkdroid.org·3d
🧲Magnetic Philosophy
Scientists Unlock Quantum Computing Power by Entangling Vibrations in a Single Atom
scitechdaily.com·1d
⚛️Quantum Tape
noble-curves: audited and minimal elliptic curve cryptography in JavaScript
github.com·12h·
Discuss: Hacker News
🔱Galois Cryptography
Knowledge and Common Knowledge in a Distributed Environment, Part 2
emptysqua.re·20h
🤝Paxos Consensus
7 Steps to Mastering No Code Automation with n8n for Data Professionals
kdnuggets.com·19h
🌊Stream Processing
Sharing Is Scaring: Why Is Cloud File-Sharing Hard?
blog.brownplt.org·14h·
Discuss: Lobsters, Hacker News, r/programming
💧Liquid Types
SurrealDB is sacrificing data durability to make benchmarks look better
blog.cf8.gg·2d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🦀Rusty Databases
Show HN: SecretMemoryLocker – File Encryption Without Static Passwords
news.ycombinator.com·14h·
Discuss: Hacker News
🔐Archive Encryption
Builder Pattern in CDK
medium.com·11h·
Discuss: Hacker News
🧱Immutable Infrastructure
Song recommendations with F# free monads
blog.ploeh.dk·23h
🔗Functional Compilers