[$] Libxml2's "no security embargoes" policy
lwn.net·7h
🔓Free and open source
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·2d
🌳Archive Merkle Trees
Lab note #072 A language with affordances for vibe coding
interjectedfuture.com·2d
🔗Concatenative Programming
The collective waste caused by poor documentation
shanrauf.com·21h·
Discuss: Hacker News
📦Deflate
Meet Mojo: The Language That Could Replace Python, C++, and CUDA
hackernoon.com·15h
⬆️Lambda Lifting
Dive Deep into Higher-Order Functions: Essential Resources for Functional Programmers
dev.to·1d·
Discuss: DEV
🧬Functional Programming
LR(1) parse-tables generator
github.com·1d·
Discuss: Lobsters, Hacker News
🔍Z3 Parsing
Speculative Optimizations for WebAssembly using Deopts and Inlining
v8.dev·1d·
Discuss: Hacker News, r/javascript, r/webdev
🦀Rust Macros
Finetuning a Weather Foundation Model with Lightweight Decoders for Unseen Physical Processes
arxiv.org·19h
🔍Type Inference
Flame Graph Performance Truth Analysis（1750839255230100）
dev.to·14h·
Discuss: DEV
⚡Performance Tools
Discover C++26’s compile-time reflection
lemire.me·3d·
Discuss: Lobsters, Hacker News, Hacker News, r/cpp, r/programming
🦀Rust Macros
Why Go Rocks for Building a Lua Interpreter
zombiezen.com·2d·
Discuss: r/golang
⬆️Lambda Lifting
What LLMs Know About Their Users
schneier.com·12h·
Discuss: Hacker News
💻Local LLMs
MFTCXplain: A Multilingual Benchmark Dataset for Evaluating the Moral Reasoning of LLMs through Hate Speech Multi-hop Explanation
arxiv.org·19h
⚙️Compression Benchmarking
Reasoning about Uncertainty: Do Reasoning Models Know When They Don't Know?
arxiv.org·1d
🔍Type Inference
Re-Evaluating Code LLM Benchmarks Under Semantic Mutation
arxiv.org·1d
📏Code Metrics
Hypercubical manifolds in homotopy type theory
arxiv.org·19h
🔶Cubical Type Theory
Evolving Prompts In-Context: An Open-ended, Self-replicating Perspective
arxiv.org·1d
💻Programming languages
🦀 Understanding Lifetimes, Traits, Enums, and Pattern Matching in Rust
dev.to·2d·
Discuss: DEV
🦀Rust Borrowing
Scaffolding Dexterous Manipulation with Vision-Language Models
arxiv.org·19h
🤖Advanced OCR