Problem-solving is fundamental to human nature
freethink.com·2h
🔲Cellular Automata
Scales as Multipermutations of 0 and 1 into Twelve Places
petecorey.com·2h·
Discuss: Lobsters
🎼Audio Lambda Calculus
Cactus Language • Syntax 12
inquiryintoinquiry.com·4h
📝Concrete Syntax
Encrypting identifiers in practice
sjoerdlangkemper.nl·15h
🌊Stream Ciphers
Explaining software and computational methods
blog.khinsen.net·20h
📝Concrete Syntax
4-input 2-output Boolean circuits (2020)
cp4space.hatsya.com·1d·
Discuss: Hacker News
⚙️Logic Synthesis
The Bitter Lesson is coming for Tokenization
lucalp.dev·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Monadic Parsing
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures
Cost-Effective Optimization and Implementation of the CRT-Paillier Decryption Algorithm for Enhanced Performance
arxiv.org·1d
🔢Bitwise Algorithms
Show HN: TableSprint- Supabase alternative with vibe coding features
tablesprint.com·17h·
Discuss: Hacker News
📲Digitization
Why Binary Won and Nothing Else Even Got Close
b0a04gl.site·1d·
Discuss: Hacker News
🧲RISC-V Archaeology
Iterative Quantum Feature Maps
arxiv.org·16h
⚛️Quantum Circuits
UltraSketchLLM: Saliency-Driven Sketching for Ultra-Low Bit LLM Compression
arxiv.org·1d
🗜️LZW Variants
SlimMoE: Structured Compression of Large MoE Models via Expert Slimming and Distillation
arxiv.org·1d
⚡Modern Compression
Modeling the World in 280 Characters
tympanus.net·2d·
Discuss: Lobsters, Hacker News
⟷Bidirectional Programming
Tiny Deltas, Big Wins: Schema-less Thrift Patching at Planet Scale
hackernoon.com·13h
📋Protocol Buffers
Deformable Medical Image Registration with Effective Anatomical Structure Representation and Divide-and-Conquer Network
arxiv.org·16h
🌀Differential Geometry
Fast Rate Information-theoretic Bounds on Generalization Errors
arxiv.org·1d
⧗Information Bottleneck
Finetuning a Weather Foundation Model with Lightweight Decoders for Unseen Physical Processes
arxiv.org·16h
🔍Type Inference
Hypercubical manifolds in homotopy type theory
arxiv.org·16h
🔶Cubical Type Theory