CRYSTALS - The Gently Introduction
dev.to·3d·
Discuss: DEV
🔐Quantum Cryptography
A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·11h·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
How Many Paths of Length K Are There Between a and B?
horace.io·3h·
Discuss: Hacker News
🕸️Graph Algorithms
Cryptography for the Everyday Developer: Understanding AES - The Advanced Encryption Standard
sookocheff.com·2d
🔐Cryptographic Archaeology
Optimizing multiprecision LLL in FLINT
fredrikj.net·3d
🧮Algebraic Datatypes
Show HN: Novel GPT-2 sampling and memory architecture
github.com·1d·
Discuss: Hacker News
💎Information Crystallography
Manuel M T Chakravarty: Functional data structures in Swift
justtesting.org·1d
🧬Functional Programming
Some recent project milestones
markjgsmith.com·4h
🔌Interface Evolution
CL-JSON Ambiguity
funcall.blogspot.com·1d·
Discuss: www.blogger.com
🧠Lisp Dialects
16-Bit Fast Inverse Square Root
ashdnazg.github.io·1d·
Discuss: Hacker News
🔢Bitwise Algorithms
Intuition for Pick’s Theorem
johndcook.com·6h
📐Mathematical Art
High-fidelity entangling gates connect remote superconducting quantum processors
phys.org·11h
⚛️Quantum Circuits
Derek Elkins: Arithmetic Functions
hedonisticlearning.com·2d·
Discuss: Hacker News
⚔️Lean Theorem
International Conference on Enumerative Combinatorics and Applications ICECA 2025 (August 25-27, 2025)
gilkalai.wordpress.com·20h
🔗Combinatory Logic
A quick glance at another bunch of codecs
codecs.multimedia.cx·1d
🎬Cinema Codecs
Fox pairing
ncatlab.org·1d
🔱Galois Theory
CRYPTO 2025: Row Reduction Techniques for n-Party Garbling
esat.kuleuven.be·6d
🌊Stream Ciphers
Getting Started with Quectel EC200U 4G LTE Cat 1 IoT board using the QNavigator and the QuecOpen SDK
cnx-software.com·20h
📺VT100 Emulation
Using information theory to solve Mastermind
goranssongaspar.com·20h·
Discuss: Hacker News
🧮Kolmogorov Bounds
TaMaRa: Towards a Triple Modular Redundancy Pass for Yosys
blog.yosyshq.com·1d·
Discuss: Lobsters, Hacker News
🔍FPGA Verification