Oxford Entrance Exam How Many Distinct Real Solutions
mindyourdecisions.com·3h
⚔️Lean Tactics
New: Improve Apache Iceberg query performance in Amazon S3 with sort and z-order compaction
aws.amazon.com·1d
🔄Burrows-Wheeler
Show HN: TableSprint- Supabase alternative with vibe coding features
tablesprint.com·19h·
Discuss: Hacker News
📲Digitization
Field Sensitive Escape Analysis in Golang?
reddit.com·17h·
Discuss: r/golang
🧠Lisp Dialects
Floating-Point Data Transformation for Lossless Compression
arxiv.org·1d
🌊Streaming Compression
Scales as Multipermutations of 0 and 1 into Twelve Places
petecorey.com·4h·
Discuss: Lobsters
🎼Audio Lambda Calculus
Memory Safety in Web Rust System Zero Cost Secure（1750885516953300）
dev.to·1h·
Discuss: DEV
🦀Rust Borrowing
The Bitter Lesson is coming for Tokenization
lucalp.dev·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Monadic Parsing
How much slower is random access, really?
samestep.com·2d·
Discuss: Hacker News
📼Tape Encoding
Deep Dive into Databend UDF, implementing your data solutions with python, WASM and beyond
dev.to·3h·
Discuss: DEV
📋DFDL
2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)
siglog.org·4d·
Discuss: Hacker News, r/programming
💻Programming languages
Meet Mojo: The Language That Could Replace Python, C++, and CUDA
hackernoon.com·15h
⬆️Lambda Lifting
On Union-Closedness of Language Generation
arxiv.org·1d
🔗Monadic Parsing
Finetuning a Weather Foundation Model with Lightweight Decoders for Unseen Physical Processes
arxiv.org·18h
🔍Type Inference
Explaining software and computational methods
blog.khinsen.net·22h·
Discuss: Hacker News
📝Concrete Syntax
Portable Network Graphics (PNG) Specification (Third Edition)
w3.org·1d·
Discuss: Hacker News
🕸️WebP Analysis
Your Guide to the Python print() Function
realpython.com·8h
📝Concrete Syntax
Getting an LLM to set its own temperature
amanvir.com·23h·
Discuss: Hacker News
🐛Fuzzing
Hypercubical manifolds in homotopy type theory
arxiv.org·18h
🔶Cubical Type Theory
LR(1) parse-tables generator
github.com·1d·
Discuss: Lobsters, Hacker News
🔍Z3 Parsing