Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·9h
λLambda Encodings
Flag this post
The Original OTP: Inside the Only Encryption Proven to Be Unbreakable
hackernoon.com·1d
🔐Cryptographic Archaeology
Flag this post
The Easiest Way to Build a Type Checker
jimmyhmiller.com·11h·
Discuss: Hacker News
Bidirectional Typing
Flag this post
pyaccdb: Python library for Microsoft Access .accdb files
yingtongli.me·17h
🔤EBCDIC Mining
Flag this post
Distance Measurement Using Basys3
hackster.io·1d
🕹️Hardware Emulation
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔗Combinatory Logic
Flag this post
Understanding intrinsically disordered protein regions and their roles in cancer
phys.org·1d
⚙️ABNF Mining
Flag this post
Kyber vs. RSA-2048
blog.ellipticc.com·2d·
Discuss: Hacker News
🔐Quantum Security
Flag this post
Adaptive Clock Distribution Network Synchronization via Dynamic FPGA Reconfiguration & Bayesian Inference
dev.to·16h·
Discuss: DEV
🔍FPGA Verification
Flag this post
Percona Brings Transparent Data Encryption to Postgres
thenewstack.io·1d
🗄️PostgreSQL WAL
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·5h
🌀Brotli Internals
Flag this post
Type-safe `net/rpc` alternative with context support
reddit.com·9h·
Discuss: r/golang
gRPC
Flag this post
Building a Distributed Database in Elixir (Part 2: Architecture and the Beam)
medium.com·1d·
Discuss: Hacker News
🤝Distributed Consensus
Flag this post
Evolution Strategies at the Hyperscale
eshyperscale.github.io·1d·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
High-grade encryption solution protects classified communications, resists quantum attacks
interestingengineering.com·2d
🔐Quantum Security
Flag this post
Pitch Multiplication (2017)
klangnewmusic.weebly.com·8h·
Discuss: Hacker News
🎼Audio Lambda Calculus
Flag this post
Cross-referencing code and specs for maintainability (2024-03-21)
ueber.net·1d·
Discuss: Hacker News
🌐NetworkProtocols
Flag this post
Mad drunk on the mead of poetry
blog.zarfhome.com·1d
🧪CBOR Fuzzing
Flag this post
Adding an imaginary unit to a finite field
johndcook.com·6d·
Discuss: Hacker News
🔱Galois Cryptography
Flag this post
Show HN: Use any LLM in Go with stable, minimal API
github.com·1d·
Discuss: Hacker News
🧠Lisp Dialects
Flag this post