PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·18h
⚗️Algebraic Coding
Automating Boundary Filling in Cubical Type Theories
arxiv.org·1d
🔶Cubical Type Theory
SAT Requires Exhaustive Search
link.springer.com·9h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·1d·
Discuss: Substack, r/programming
🎯Proof Tactics
Building a Real Estate Tokenization dApp with Flare's Zero-Fee Oracles
dev.to·15h·
Discuss: DEV
🚚Data Migration
Factoring RSA100
johndcook.com·4h
🔧Reed-Solomon
How Teen Mathematician Hannah Cairo Disproved a Major Conjecture in Harmonic Analysis
scientificamerican.com·13h
📐Mathematical Art
Extensions and Shadows (9)
sites.psu.edu·15h
✨Effect Handlers
Carnival of Maths #241
aperiodical.com·18h
📐Mathematical Art
Challenges of Pseudocode Expansion
funcall.blogspot.com·22h·
Discuss: www.blogger.com
🔗Lisp
I've spent 4 months and $800/mo AI bill on Cursor, Claude Code. Later is better?
news.ycombinator.com·22h·
Discuss: Hacker News
⚡Proof Automation
The Generativity Pattern in Rust
arhan.sh·11h·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
Politics and math, A Drama in Four Parts
pballew.blogspot.com·23h·
Discuss: www.blogger.com
🔐Soviet Cryptography
Big O vs Hardware: Better Complexity ≠ Better Performance
blog.codingconfessions.com·1d·
Discuss: Hacker News
🔢Bitwise Algorithms
Hyperproperty-Constrained Secure Reinforcement Learning
arxiv.org·1d
🔐Homomorphic Encryption
The Coming Wave: Post-Quantum Cryptography and the Future of Cybersecurity
blog.publiccomps.com·3h·
Discuss: Hacker News
🔐Quantum Security
Cybersecurity Instruction Tuned Model
huggingface.co·3h·
Discuss: Hacker News
🔒WASM Capabilities
[P] Implementing Einsum
lyadalachanchu.github.io·1d
📐Linear Algebra
Abhinav Sarkar: A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·3d
🔗Functional Compilers
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·1d·
Discuss: Hacker News
💧Liquid Types