🔗 Lisp

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

Writing Your First Compiler - Part 7: Taking Stock
dev.to·1d·
Discuss: DEV
💻Programming languages
Flag this post
Christoph Breitkopf: Interval Tables in Common Lisp
bokesan.blogspot.com·1d
🧠Lisp Dialects
Flag this post
Domain-specific Languages and Code Synthesis Using Haskell
queue.acm.org·1d·
Discuss: Lobsters, Hacker News
🔤DSLs
Flag this post
Driving Compilers - the core concepts associated with the creation of an executable
fabiensanglard.net·5h
🔩Systems Programming
Flag this post
Is this a Monad?
reddit.com·1d·
Discuss: r/rust
🧬Functional Programming
Flag this post
Tour of a pattern matcher: expression and pattern expansion
crumbles.blog·1d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Flag this post
SwiftUI State Management: Tips for Beginners | by Sridhar Muthineni | Medium
medium.com·1d
🔄Finite State Machines
Flag this post
Show HN: Four Solutions to Valid Parenthesis (LeetCode #20)
medium.com·16h·
Discuss: Hacker News
✅Format Verification
Flag this post
Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability
arxiv.org·1d
🎯Performance Proofs
Flag this post
Reproachfully Presenting Resilient Recursive Descent Parsing
thunderseethe.dev·3d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming, r/rust
📝Concrete Syntax
Flag this post
The Yield Function
developer.mozilla.org·1d·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Mastering JSON Prompting for LLMs
machinelearningmastery.com·1d
🔗Constraint Handling
Flag this post
Best practices for abstracting large go func(){}() blocks in Go? Handling many parameters, closures, and concurrency.
reddit.com·1d·
Discuss: r/golang
⬆️Lambda Lifting
Flag this post
A Holiday Gift Guide: Presents for Kids
newyorker.com·45m
⚙️DIY Electronics
Flag this post
Some Notes on Division, and its History (Including Alien Division for Fractions)
pballew.blogspot.com·5h·
Discuss: www.blogger.com
📐Interval Arithmetic
Flag this post
Looking for a good course to learn proof assistant Lean 4
news.ycombinator.com·1d·
Discuss: Hacker News
🔬Lean
Flag this post
discrete spectrum
ncatlab.org·2d
🔀Category Theory
Flag this post
How I use an LLM to write and execute TypeScript "just-in-time" in my app
pscanf.com·3d·
Discuss: r/programming, r/typescript
🎯Gradual Typing
Flag this post
Flare-On 12: NTFSM - Solving a Finite State Machine with Binary Ninja
jhalon.github.io·2d
🧪Binary Fuzzing
Flag this post
Scheduling in LLM Inference
fergusfinn.com·1d·
Discuss: Hacker News
💻Local LLMs
Flag this post