🔗 Lisp

Functional Programming, S-expressions, Code as Data, Recursion

Flame Graph Performance Truth Analysis（1750839255230100）
dev.to·15h·
Discuss: DEV
⚡Performance Tools
Building a Language Server
bullno1.com·2d·
Discuss: Hacker News, r/programming
🗣️Domain-Specific Languages
Implementing Ray Tracing In One Weekend in F#
heftymouse.me·3d·
Discuss: Hacker News
🔗Functional Compilers
Meet Mojo: The Language That Could Replace Python, C++, and CUDA
hackernoon.com·16h
⬆️Lambda Lifting
What Is "Modern" Programming?
lemire.me·12h·
Discuss: Hacker News
💧Liquid Types
Nix Development Setup for Factor
toast.al·1d·
Discuss: Lobsters, Hacker News
❄nix
Programming, Not Prompting: A Hands-On Guide to DSPy
towardsdatascience.com·2d
🧮Z3 Solver
Announcing crabstep: A pure Rust, cross-platform, zero-dependency Apple/NeXTSTEP typedstream deserializer
github.com·6h
🔒Linear Types
2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)
siglog.org·4d·
Discuss: Hacker News, r/programming
💻Programming languages
LeetCode 2040 Beginner friendly explanation
dev.to·23h·
Discuss: DEV
🧮Kolmogorov Complexity
Brent Yorgey: Competitive programming in Haskell: range queries, classified
byorgey.github.io·3d
λLambda Encodings
I wrote my PhD Thesis in Typst
fransskarman.com·3d·
Discuss: Lobsters, Hacker News
📝Concrete Syntax
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.com·12h·
Discuss: Hacker News
🔗Constraint Handling
Python Fundamentals: async
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·20h
🔍Concolic Testing
Comparing Rust, JavaScript and Go for Authoring WASM Components
obeli.sk·15h·
Discuss: Hacker News
🧩WASM Modules
My First Impressions of Gleam
mtlynch.io·4d·
Discuss: Lobsters, Hacker News, r/programming
🌳Incremental Parsing
Memory Safety in Web Rust System Zero Cost Secure（1750671065382000）
dev.to·2d·
Discuss: DEV
🦀Rust Borrowing
Proficient Python: A free interactive online course
blog.pamelafox.org·2d·
Discuss: www.blogger.com, Hacker News
🔗Concatenative Programming
The MIDL compiler still has trouble with double greater-than signs, sadly
devblogs.microsoft.com·2d·
Discuss: Hacker News
💻Programming languages