🔗 Lisp - matmat · Scour

Tag: Clojure from the ground up 🧠Lisp Dialects

6.22 Transpiling Python into LispE 🧠Lisp Dialects

github.com·5d·Lobsters

The Coalton Programming Language λLambda Formalization

coalton-lang.github.io·22h·Hacker News

nearbyintl (3) Linux Manual Page 📺VT100

systutorials.com·4h

Parallel-SFT: Improving Zero-Shot Cross-Programming-Language Transfer for Code RL 🔗Concatenative Programming

Value-oriented programming in Futhark λLambda Encodings

futhark-lang.org·3d

Working Through 001: The Art Of Computer Programming 🦀Rust Macros

youtu.be·2d·Lobsters

The seven programming ur-languages (2022) 💻Programming languages

news.ycombinator.com·6d·Hacker News

Java sealed classes and exhaustive pattern matching 🛡️Proof-Carrying Archives

neilmadden.blog·1d

A Grounded Conceptual Model for Ownership Types in Rust 🦀Rust Borrowing

cacm.acm.org·2d·Hacker News

Reflection On Recursion • Discussion 1 λLambda Formalization

inquiryintoinquiry.com·4d

Redesigning the Recurse Center application to inspire curious programmers - Blog 🔗Concatenative Programming

recurse.com·1d·Hacker News

A History of Clojure (HOPL IV - Papers) 🧠Lisp Dialects

hopl4.sigplan.org·4d·Hacker News

Debugging WASM in Chrome DevTools ⚙️WASM Runtime

eli.thegreenplace.net·2d·Hacker News

Hot Wiring the Lisp Machine 🦀Rust Macros

scheatkode.com·6d·Lobsters, Hacker News

Programming in 2026: excitement, dread, and the coming wave 🔄Language Evolution

amontalenti.com·2d·Hacker News

Station identification 📱QR Archaeology

sgillies.net·1d

libtalloc_destructors (3) Linux Manual Page 🧠Memory Allocators

systutorials.com·19h

Biff 2.0 sneak peak: Clojure web framework 🔧Binary Parsers

biffweb.com·5d·Hacker News

Proximal Policy Optimization with Clojure and PyTorch 👑Coq Tactics

clojurecivitas.org·3d·Hacker News

Log in to enable infinite scrolling