StrongBox: Simple, Safe Data Encryption for Rust
hezmatt.org·20h
🦀Embedded Rust
Dependent types I › Universes, or types of types
jonmsterling.com·14h·
Discuss: Hacker News
🔤Type Theory
[$] The need to reliably preserve our community history
lwn.net·7h·
Discuss: Hacker News
📰RSS Archaeology
Go Struct Alignment: a Practical Guide
medium.com·1h·
Discuss: r/golang
🔧Binary Parsers
Running our Docker registry on-prem with Harbor
dev.37signals.com·8h·
Discuss: Hacker News
📦Container Security
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·1d
✅Format Verification
The Gold Standard of Cloud Security: Why Our SOC2 Type 2 Compliance Sets Backblaze Apart
backblaze.com·5h
✅Archive Fixity
Using pprint.saferepr() for string comparisons in Python
chipx86.blog·18h
✅Format Verification
Privacy-Preserving Federated Learning Framework for Risk-Based Adaptive Authentication
arxiv.org·16h
🤐Secure Multiparty
Type-Hinting DataFrames for Static Analysis and Runtime Validation
medium.com·1d·
Discuss: Hacker News
🧮Algebraic Datatypes
Upgrading Magic's SQLite VSS Extension
dev.to·13h·
Discuss: DEV
💾SQLite
Binary Exploitation 101 - Introduction
r1ru.github.io·1d
📼Cassette Hacking
The Glorious Future of the Book
honest-broker.com·1d
💿WORM Storage
TypeScript Cookbook • Stefan Baumgartner & Peter Kröner
youtube.com·1d
🎯Gradual Typing
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
playfulprogramming.com·2d
🧪Binary Fuzzing
It’s a Cold Day in Developer Hell, So I Must Roll My Own Crypto
soatok.blog·9h
🌳Archive Merkle Trees
Explaining Fully Homomorphic Encryption to My Mom
olshansky.medium.com·1d·
Discuss: Hacker News
🔐Homomorphic Encryption
Guessing Game: Haskell Style
entropicthoughts.com·1d
👑Dependent Haskell
The hidden threat in enterprise security: why it’s time to rethink PDFs
techradar.com·12h
📄PDF Archaeology
Heartbreak as a Service?
syntheticauth.ai·1h·
Discuss: Hacker News
🏛Digital humanities