🔗 Lisp - matmat · Scour

Tag: Clojure from the ground up 🧠Lisp Dialects

6.22 Transpiling Python into LispE 🧠Lisp Dialects

github.com·5d·Lobsters

Is there a crate for adding "consuming" versions of String methods? 🦀Rust Macros

docs.rs·5h·r/rust

April Week 3 🔩Systems Programming

i-programmer.info·9h

Hexagons, common lisp interface manager graphics and acl2 first order logic automatic proofs in one place 🎯Proof Tactics

lispy-gopher-show.itch.io·2d

'Programmatic Phrase' Brain Teaser 🔗Concatenative Programming

braingle.com·3h

Value-oriented programming in Futhark λLambda Encodings

futhark-lang.org·4d

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

Linux manual page 🛠System administration

Programming and Concepts news 🔗Concatenative Programming

indiedb.com·13h

Reflection On Recursion • Discussion 1 λLambda Formalization

stream.syscoi.com·4d

Clojure community check-in self preview 🦀Rust Borrowing

clojurecivitas.org·2d

Introducing mine, a Coalton and Common Lisp IDE 🧠Lisp Dialects

coalton-lang.github.io·2d·Lobsters, Hacker News

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

news.ycombinator.com·6d·Hacker News

Sequent Calculi for Public Announcement Logic and Action Model Logic 👑Isabelle/HOL

philsci-archive.pitt.edu·2d

Hot Wiring the Lisp Machine 🤖Lisp Machines

stacker.news·6d·Hacker News

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

youtu.be·2d·Lobsters

MLIR Part 1 - Introduction to MLIR 🏭Compiler Backends

stephendiehl.com·1d

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

hopl4.sigplan.org·4d·Hacker News

Bytes: The TypeScript 7.0 prophecy is fulfilled 🎯Gradual Typing

Bytes via kill-the-newsletter.com

·2d

Log in to enable infinite scrolling