PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·3h
🌊Stream Ciphers
Automating Boundary Filling in Cubical Type Theories
arxiv.org·9h
🔶Cubical Type Theory
Big O vs Hardware: Better Complexity ≠ Better Performance
blog.codingconfessions.com·19h
🔢Bitwise Algorithms
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·19h·
Discuss: Substack, r/programming
🎯Proof Tactics
How we made JSON.stringify more than twice as fast
v8.dev·13h
🌊Streaming Compression
Challenges of Pseudocode Expansion
funcall.blogspot.com·6h·
Discuss: www.blogger.com
🔗Lisp
Creating a Toy Programming Language with Actor-Based Parallelism
pointersgonewild.com·1d·
Discuss: Hacker News
🔄Lens Laws
Politics and math, A Drama in Four Parts
pballew.blogspot.com·7h·
Discuss: www.blogger.com
🔐Soviet Cryptography
LLMs - Embeddings 01
dev.to·7h·
Discuss: DEV
🧮Vector Embeddings
Cycles of Elliptic Curves
johndcook.com·1d
🔱Galois Cryptography
News for July 2025
ptreview.sublinear.info·2d
🎯Performance Proofs
The Kepler Problem (Part 9)
johncarlosbaez.wordpress.com·11h
⚙Backus-Naur Form
Hyperproperty-Constrained Secure Reinforcement Learning
arxiv.org·9h
🔐Homomorphic Encryption
Abhinav Sarkar: A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·2d
🔗Functional Compilers
I bombed a memory management question in an interview, so I built a testing lab to understand what really happens when Rust and C allocators collide!
reddit.com·5h·
Discuss: r/rust
🦀Rust Verification
[P] Implementing Einsum
lyadalachanchu.github.io·14h
📐Linear Algebra
Transpiling a Forth dialect to LLVM IR
onirom.fr·2d
🚀Compiler Optimizations
Deriving Rope the Proper Way
nor-blog.pages.dev·3d·
Discuss: Hacker News
📐Linear Algebra
Josh Lockhart & Phil Sturgeon
deprogrammaticaipsum.com·10h
🦀Rusty Databases
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·19m
📝Concrete Syntax