๐Ÿ”— Lisp

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

CRYPT: synthesiser plugin
vitling.xyzยท7h
๐ŸŽนMIDI Archaeology
Flag this post
๐Ÿ’ป Leveling Up My Python Skills โ€“ 3 Weeks, 150 Problems!
dev.toยท1dยท
Discuss: DEV
ฮปLambda Formalization
Flag this post
Dependent Session Types for Verified Concurrent Programming
arxiv.orgยท3d
๐Ÿ“žSession Types
Flag this post
MIT 6.851: Advanced Data Structures (Spring'21)
courses.csail.mit.eduยท1dยท
Discuss: Hacker News
๐Ÿ’ปCS
Flag this post
Automatically Translating C to Rust
cacm.acm.orgยท1dยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Flag this post
Introducing Litestar - Production-Ready, Light, Flexible & Extensible ASGI API Framework
dev.toยท2dยท
Discuss: DEV
๐ŸŒ€Brotli Internals
Flag this post
Fast TypeScript (Code Complexity) Analyzer
ftaproject.devยท1dยท
Discuss: Hacker News
๐Ÿ“ŠStatic Analysis
Flag this post
Explicit APIs vs. Magic Directives
inngest.comยท1dยท
Discuss: Hacker News
๐Ÿ”„Archival Workflows
Flag this post
Colors and Numbers
mail.cyberneticforests.comยท1hยท
Discuss: Hacker News
๐Ÿ“Mathematical Art
Flag this post
Clojure Land โ€“ Discover open-source Clojure libraries and frameworks
clojure.landยท5hยท
Discuss: Hacker News
๐Ÿง Lisp Dialects
Flag this post
The Journey Before main()
dev.toยท11hยท
Discuss: DEV
๐Ÿ”—Concatenative Programming
Flag this post
Explicit capture clauses
smallcultfollowing.comยท4dยท
Discuss: Lobsters, Hacker News, r/programming, r/rust
โฌ†๏ธLambda Lifting
Flag this post
Python Concurrency and Parallelism: 8 Essential Techniques for High-Performance Applications
dev.toยท17hยท
Discuss: DEV
๐ŸŒŠStream Processing
Flag this post
I translated my book for $7 using openai
andrewpwheeler.comยท15hยท
Discuss: Hacker News
๐Ÿ“œBinary Philology
Flag this post
Beyond Arithmetic: Understanding Computation and Computers
madeunraveled.xyzยท2dยท
Discuss: Hacker News
๐ŸŽž๏ธTape Combinatorics
Flag this post
Code Doesn't Happen to You
csmeyer.substack.comยท2dยท
Discuss: Substack
โš–๏ธHoare Logic
Flag this post
AI Can Help You Code Faster โ€“ But at What Cost
codesmarternotharder.substack.comยท5hยท
Discuss: Substack
๐Ÿ—๏ธCompiler Archaeology
Flag this post
TIL Python does name mangling on private class methods starting with __
docs.python.orgยท2dยท
Discuss: Hacker News
๐Ÿ”ขDenotational Semantics
Flag this post
The Dog the Cat Chased Stumped the Model: Measuring When Language Models Abandon Structure for Shortcuts
arxiv.orgยท2d
๐Ÿ”—Monadic Parsing
Flag this post
Selected Meta Prompts
funcall.blogspot.comยท1dยท
Discuss: www.blogger.com
โšกProof Automation
Flag this post