The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
How much slower is random access, really?
samestep.com·2d·
Discuss: Hacker News
📼Tape Encoding
Memory Safety in Web Rust System Zero Cost Secure（1750885516953300）
dev.to·3h·
Discuss: DEV
🦀Rust Borrowing
LFCS Seminar Tuesday 1st July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
Toward Environmentally Equitable AI
cacm.acm.org·9h
🔲Cellular Automata
Cactus Language • Syntax 12
inquiryintoinquiry.com·8h
📝Concrete Syntax
Donkey Kong Country 2 and Open Bus
jsgroth.dev·7h
🎮GameBoy Architecture
Algorithm Complexity: Time, Space, and Big-O Notation
dev.to·15h·
Discuss: DEV
🧮Kolmogorov Complexity
Song recommendations from F# combinators
blog.ploeh.dk·2d
🔗Functional Compilers
Proving that every program halts
ntietz.com·3d
👑Isabelle
Agentic AI: Implementing Long-Term Memory
towardsdatascience.com·1d
💾Persistence Strategies
AST, Bytecode and the In Between: An Exploration of Interpreter Design Tradeoffs
2025.ecoop.org·21m·
Discuss: Hacker News
🔤DSLs
4-input 2-output Boolean circuits (2020)
cp4space.hatsya.com·1d·
Discuss: Hacker News
⚙️Logic Synthesis
Meet Mojo: The Language That Could Replace Python, C++, and CUDA
hackernoon.com·17h
⬆️Lambda Lifting
Optimal Parallel Algorithms for Convex Hulls in 2D and 3D under Noisy Primitive Operations
arxiv.org·1d
📊Computational Geometry
SlimMoE: Structured Compression of Large MoE Models via Expert Slimming and Distillation
arxiv.org·1d
⚡Modern Compression
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures
A large deviation view of \emph{stationarized} fully lifted blirp interpolation
arxiv.org·20h
📐Compression Bounds
IBM’s Dmitry Krotov wants to crack the ‘physics’ of memory
research.ibm.com·2d·
Discuss: Hacker News
📼Tape Combinators
Plan for Speed -- Dilated Scheduling for Masked Diffusion Language Models
arxiv.org·20h
💻Local LLMs