Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·10h
λLambda Encodings
Flag this post
Guessing Decoding of Short Blocklength Codes
arxiv.org·5d
Sphere Packing
Flag this post
The Easiest Way to Build a Type Checker
jimmyhmiller.com·12h·
Discuss: Hacker News
Bidirectional Typing
Flag this post
pyaccdb: Python library for Microsoft Access .accdb files
yingtongli.me·18h
🔤EBCDIC Mining
Flag this post
Distance Measurement Using Basys3
hackster.io·1d
🕹️Hardware Emulation
Flag this post
How I Use AI To Write Regex Without Memorizing Anything
dev.to·1h·
Discuss: DEV
🔍RegEx Engines
Flag this post
The Original OTP: Inside the Only Encryption Proven to Be Unbreakable
hackernoon.com·1d
🔐Cryptographic Archaeology
Flag this post
Pitch Multiplication (2017)
klangnewmusic.weebly.com·9h·
Discuss: Hacker News
🎼Audio Lambda Calculus
Flag this post
Closest consecutive reciprocal sum to an integer
johndcook.com·3d
📐Error Bounds
Flag this post
Automatic Syntax Error Recovery (2020)
tratt.net·20h·
Discuss: Lobsters
🌳Incremental Parsing
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·6h
🌀Brotli Internals
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔗Combinatory Logic
Flag this post
Cryptology Group Held an Election, but Can’t Decrypt the Results
nytimes.com·1d·
🔐Archive Cryptanalysis
Flag this post
Enhanced Spintronic Device Modeling via Adaptive Hyperdimensional Representation
dev.to·16h·
Discuss: DEV
🧲Magnetic Recording
Flag this post
High-grade encryption solution protects classified communications, resists quantum attacks
interestingengineering.com·2d
🔐Quantum Security
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
MPEG-2 DCT Recompression FAQ (2003)
forum.doom9.org·3d·
Discuss: Hacker News
Verification Codecs
Flag this post
Windows ARM64 Internals: Deconstructing Pointer Authentication
preludesecurity.com·8h·
👑RISC-V Privilege
Flag this post