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
4-input 2-output Boolean circuits (2020)
cp4space.hatsya.com·1d·
Discuss: Hacker News
⚙️Logic Synthesis
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·1d·
Discuss: Hacker News
💻Local LLMs
Your Guide to the Python print() Function
realpython.com·9h
📝Concrete Syntax
The Sliding Window in Haskell & Rust
mmhaskell.com·2d
λLambda Encodings
Field Sensitive Escape Analysis in Golang?
reddit.com·18h·
Discuss: r/golang
🧠Lisp Dialects
UltraSketchLLM: Saliency-Driven Sketching for Ultra-Low Bit LLM Compression
arxiv.org·1d
🗜️LZW Variants
Tiny Deltas, Big Wins: Schema-less Thrift Patching at Planet Scale
hackernoon.com·16h
📋Protocol Buffers
Show HN: TableSprint- Supabase alternative with vibe coding features
tablesprint.com·20h·
Discuss: Hacker News
📲Digitization
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·14h·
Discuss: Hacker News
🌀Brotli Internals
Primitive Kolmogorov complexity is computable
lewish.io·2d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Memory Safety in Web Rust System Zero Cost Secure（1750794401345600）
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
Show HN: Towards agentic Graph RAG: Enhancing graph retrieval with vector search
blog.kuzudb.com·2h·
Discuss: Hacker News
📊Graph Databases
Exploring High Efficiency Web Analysis Results（1750876031390300）
dev.to·5h·
Discuss: DEV
🌊Stream Processing
Announcing crabstep: A pure Rust, cross-platform, zero-dependency Apple/NeXTSTEP typedstream deserializer
github.com·6h
🔒Linear Types
Data Compression with Relative Entropy Coding
arxiv.org·2d
📐Compression Mathematics
Privacy-Preserving LLM Interaction with Socratic Chain-of-Thought Reasoning and Homomorphically Encrypted Vector Databases
arxiv.org·1d
🔐Homomorphic Encryption
Distribution of codewords on the faces of a hypercube and new combinatorial identities
arxiv.org·1d
⚽Sphere Packing
Why Go Rocks for Building a Lua Interpreter
zombiezen.com·2d·
Discuss: r/golang
⬆️Lambda Lifting