The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.orgยท1d
๐ŸŽฏPerformance Proofs
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.comยท8hยท
Discuss: Hacker News, r/programming
๐Ÿ”—Lisp
OpenELA Introduces Open-Source Verification Suite for Enterprise Linux
linuxiac.comยท7h
๐Ÿ”“Open Source Software
LFCS Seminar Tuesday 1st July: John Longley
informatics.ed.ac.ukยท2d
๐Ÿ’ปProgramming languages
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.comยท1d
๐ŸŒณArchive Merkle Trees
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.comยท12h
๐Ÿ“Concrete Syntax
Ensuring syntactic interoperability using consumer-driven contract testing [STVR Journal]
dirkriehle.comยท2d
๐Ÿ”„Reproducible Builds
TypeScript Complete Roadmap (Beginner to Advanced) โ€” 2025 Edition
dev.toยท11hยท
Discuss: DEV
ฮปLambda Formalization
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.comยท18h
๐ŸงฎProlog Parsing
Meet Mojo: The Language That Could Replace Python, C++, and CUDA
hackernoon.comยท11h
โฌ†๏ธLambda Lifting
The Guide to the Foundation Models Framework
azamsharp.comยท5hยท
Discuss: Hacker News
ฮปLambda Formalization
Song recommendations from F# combinators
blog.ploeh.dkยท2d
๐Ÿ”—Functional Compilers
Why Dyad?: A Perspective for Modelica Users
juliahub.comยท3hยท
Discuss: Hacker News
โšกEffectful Programming
Announcing crabstep: A pure Rust, cross-platform, zero-dependency Apple/NeXTSTEP typedstream deserializer
github.comยท1h
๐Ÿ”’Linear Types
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.comยท6hยท
Discuss: Hacker News
๐Ÿ”—Constraint Handling
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.comยท3hยท
Discuss: Substack
๐Ÿฆ€Rust Macros
Coping with Complexity
slott56.github.ioยท4d
๐Ÿ”—Concatenative Programming
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.comยท9hยท
Discuss: Hacker News
๐ŸŒ€Brotli Internals
Explaining software and computational methods
blog.khinsen.netยท18h
๐Ÿ“Concrete Syntax
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.orgยท14h
๐Ÿ”Concolic Testing