Song recommendations from F# combinators
blog.ploeh.dk·2d
🔗Concatenative Programming
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·12h
🔍Concolic Testing
PEGTL -- Parsing Expression Grammar Template Library
github.com·17h·
Discuss: Hacker News
🔗Parser Combinators
Dive Deep into Higher-Order Functions: Essential Resources for Functional Programmers
dev.to·1d·
Discuss: DEV
🧬Functional Programming
LFCS Seminar Tuesday 8th July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
Speculative Optimizations for WebAssembly using Deopts and Inlining
v8.dev·1d·
Discuss: Hacker News, r/javascript, r/webdev
🦀Rust Macros
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
Brent Yorgey: Competitive programming in Haskell: range queries, classified
byorgey.github.io·2d
λLambda Encodings
Implementing Ray Tracing In One Weekend in F#
heftymouse.me·3d·
Discuss: Hacker News
🦀Rust Macros
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·1h·
Discuss: Substack
🦀Rust Macros
Meet Mojo: The Language That Could Replace Python, C++, and CUDA
hackernoon.com·9h
⬆️Lambda Lifting
Cactus Language • Syntax 12
inquiryintoinquiry.com·46m
📝Concrete Syntax
The Bitter Lesson is coming for Tokenization
lucalp.dev·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Monadic Parsing
The Guide to the Foundation Models Framework
azamsharp.com·3h·
Discuss: Hacker News
λLambda Formalization
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·6h·
Discuss: Hacker News, r/programming
🔗Lisp
Flame Graph Performance Truth Analysis（1750839255230100）
dev.to·8h·
Discuss: DEV
⚡Performance Tools
New rust mocking library Injectorpp 0.4.0 is released! Type check is added and more
reddit.com·1d·
Discuss: r/rust
🦀Rust Verification
Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
arxiv.org·1d
💻Local LLMs
Well-Typed.Com: GHC activities report: March–May 2025
well-typed.com·5d
💧Liquidhaskell