Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·2d
🌳Archive Merkle Trees
Coping with Complexity
slott56.github.io·4d
🔗Concatenative Programming
The collective waste caused by poor documentation
shanrauf.com·23h·
Discuss: Hacker News
📦Deflate
Why Go Rocks for Building a Lua Interpreter
zombiezen.com·2d·
Discuss: r/golang
⬆️Lambda Lifting
2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)
siglog.org·4d·
Discuss: Hacker News, r/programming
💻Programming languages
Dive Deep into Higher-Order Functions: Essential Resources for Functional Programmers
dev.to·1d·
Discuss: DEV
🧬Functional Programming
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
Show HN: KubernetesJS – Fully-Typed, Zero-Dependency Client for Kubernetes
github.com·1d·
Discuss: Hacker News
📦Container Security
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.org·1d
⚖️Hoare Logic
Pure UI
rauchg.com·9h·
Discuss: Hacker News
🎨Nordic Design
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·1d·
Discuss: Hacker News
💻Local LLMs
How to Prompt an LLM to Write Angular Code: Straight from the Experts
dev.to·1d·
Discuss: DEV
🔗Concatenative Programming
Ts-Wordle: An implementation of Wordle written in TypeScript types
github.com·1d·
Discuss: Hacker News
🎯Gradual Typing
LFCS Seminar Tuesday 1st July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
Programming Entry Level: how to interpreter
dev.to·1d·
Discuss: DEV
🔗Lisp
100 days of coding! Day 23
dev.to·5h·
Discuss: DEV
📏Code Metrics
How to Create a Event Bus in Go
dev.to·6h·
Discuss: DEV
🌊Streaming Systems
Programming, Not Prompting: A Hands-On Guide to DSPy
towardsdatascience.com·2d
🧮Z3 Solver
PasteTrace: A Single Source Plagiarism Detection Tool For Introductory Programming Courses
arxiv.org·1d
🔗Document Similarity