Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·9h·
Discuss: Hacker News
🌀Brotli Internals
Dive Deep into Higher-Order Functions: Essential Resources for Functional Programmers
dev.to·1d·
Discuss: DEV
🧬Functional Programming
Tiny Deltas, Big Wins: Schema-less Thrift Patching at Planet Scale
hackernoon.com·11h
📋Protocol Buffers
LFCS Seminar Tuesday 8th July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
Song recommendations from F# combinators
blog.ploeh.dk·2d
🔗Functional Compilers
The Guide to the Foundation Models Framework
azamsharp.com·4h·
Discuss: Hacker News
λLambda Formalization
New rust mocking library Injectorpp 0.4.0 is released! Type check is added and more
reddit.com·1d·
Discuss: r/rust
🦀Rust Verification
Strict alternation of data and behaviour in Smalltalk
eighty-twenty.org·9h
📞Session Types
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·1d
🌳Archive Merkle Trees
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·3h·
Discuss: Substack
🦀Rust Macros
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.com·18h
🧮Prolog Parsing
Memory Safety in Web Rust System Zero Cost Secure（1750794401345600）
dev.to·22h·
Discuss: DEV
🦀Rust Borrowing
Coping with Complexity
slott56.github.io·4d
🔗Concatenative Programming
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
Why Dyad?: A Perspective for Modelica Users
juliahub.com·3h·
Discuss: Hacker News
💧Liquid Types
Build Multi-Agent Apps with OpenAI’s Agent SDK
towardsdatascience.com·1d
🌊Streaming Systems
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.com·6h·
Discuss: Hacker News
🔗Constraint Handling
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
Deep Dive into Databend UDF, implementing your data solutions with Python, WASM
databend.com·4h·
Discuss: Hacker News
📋DFDL