Programming Languages / CS Theory (2025-06)

Lifetime Dispersion and Generational GC: An Intellectual Abstract (dl.acm.org)

L 8 pts 0 comments by typesanitizer Jun 24, 2025 plt Programming Languages / CS Theory thread

Solving LinkedIn Queens with Haskell (imiron.io)

L 7 pts 0 comments by agnishom Jun 24, 2025 haskellprogramming Programming (General)Programming Languages / CS Theory thread

Solving LinkedIn Queens Using Haskell (imiron.io)

HN 101 pts 46 comments by agnishom Jun 24, 2025 Programming Languages / CS Theory thread

Batch Inference, Type Systems, and Why Cortex Aisql Got Me Excited (kostasp.net)

HN 1 pts 0 comments by cpard Jun 24, 2025 Programming Languages / CS Theory thread

Scheme Implementation of The Collatz Conjecture (github.com)

HN 2 pts 0 comments by Shaneso Jun 24, 2025 Programming Languages / CS Theory thread

Interesting Bits of Postgres Grammar (steve.dignam.xyz)

L 17 pts 0 comments by runxiyu Jun 24, 2025 databases Programming Languages / CS Theory Data / Databases / Infrastructure thread

A Lisp adventure on the calm waters of the dead C (2021) (mihaiolteanu.me)

HN 83 pts 32 comments by caned Jun 23, 2025 Programming Languages / CS Theory thread

A multivalued language with a dependent type system. (A precursor to Epic Verse [pdf] (leafpetersen.com)

HN 1 pts 0 comments by fanf2 Jun 23, 2025 Programming Languages / CS Theory thread

Call by Meaning (2014) (tinlizzie.org)

L 7 pts 2 comments by calvin Jun 23, 2025 apipdfplt Programming (General)Programming Languages / CS Theory thread

Proving that every program halts (ntietz.com)

L 5 pts 1 comments by eBPF Jun 23, 2025 formalmethodssatire Programming (General)Programming Languages / CS Theory thread

Solving LinkedIn Queens using MiniZinc (zayenz.se)

L 17 pts 6 comments by mzl Jun 23, 2025 compsciprogramming Programming (General)Programming Languages / CS Theory thread

Telescopes Are Tries: A Dependent Type Shellac on SQLite (philipzucker.com)

L 19 pts 0 comments by philzook Jun 23, 2025 databasesformalmethodsplt Programming Languages / CS Theory Data / Databases / Infrastructure thread

Telescopes Are Tries: A Dependent Type Shellac on SQLite (philipzucker.com)

HN 16 pts 0 comments by matt_d Jun 23, 2025 Programming Languages / CS Theory Data / Databases / Infrastructure thread

Fixing Letrec (Reloaded) (legacy.cs.indiana.edu)

L 6 pts 0 comments by veqq Jun 23, 2025 lisppdfplt Programming Languages / CS Theory thread

Otus Lisp (yuriy-chumak.github.io)

HN 43 pts 5 comments by smartmic Jun 22, 2025 Programming Languages / CS Theory thread

Owl Lisp (haltp.org)

HN 11 pts 1 comments by smartmic Jun 22, 2025 Programming Languages / CS Theory thread

A Macro Story (courses.cs.northwestern.edu)

L 14 pts 5 comments by susam Jun 22, 2025 lisp Programming Languages / CS Theory thread

A Macro Story (Lisp) (courses.cs.northwestern.edu)

HN 4 pts 0 comments by susam Jun 22, 2025 Programming Languages / CS Theory thread

Generating Musical Scales (petecorey.com)

L 8 pts 0 comments by petecorey Jun 22, 2025 artelixir Programming Languages / CS Theory Culture / Philosophy / History / Reading thread

Pallene Language (github.com)

L 17 pts 7 comments by icefox Jun 22, 2025 luaplt Programming (General)Programming Languages / CS Theory thread

My First Impressions of Gleam (mtlynch.io)

L 74 pts 31 comments by mtlynch Jun 22, 2025 gleam Programming Languages / CS Theory thread

Dependent types and program equivalence [pdf] (2010) (seas.upenn.edu)

HN 1 pts 0 comments by fanf2 Jun 22, 2025 Programming Languages / CS Theory thread

Adding linear-time lookbehinds to RE2 (systemf.epfl.ch)

L 37 pts 1 comments by jo3_l Jun 21, 2025 compsci Programming Languages / CS Theory thread

Lisp in Vim (2019) (susam.net)

HN 20 pts 2 comments by ngcc_hk Jun 21, 2025 Programming Languages / CS Theory thread

Reflection and open implementations (2006) (dcc.uchile.cl)

L 3 pts 0 comments by jryans Jun 21, 2025 javalisppdfplt Programming (General)Programming Languages / CS Theory thread

We review the state-of-the-art of reflection and metaprogramming, prior to our work on partial behavioral reflection and Reflex, and open implementations. The first four sections are dedicated to reflection. Section 1 introduces the concept of reflection and its application to programming languages....

Higher: Favourite Haskell type classes for Rust (2023) (github.com)

HN 32 pts 2 comments by Bogdanp Jun 21, 2025 Systems / Low-Level / OS Programming Languages / CS Theory thread

higher: Your favourite Haskell type classes for Rust (2023) (github.com)

L 3 pts 0 comments by gnyeki Jun 21, 2025 pltrust Systems / Low-Level / OS Programming Languages / CS Theory thread

Why computational reproducibility matters (blog.khinsen.net)

L 16 pts 13 comments by fanf Jun 21, 2025 science Programming Languages / CS Theory Science / Math / Physics thread

Dependent types at work in Agda [pdf] (cse.chalmers.se)

HN 1 pts 0 comments by fanf2 Jun 21, 2025 Programming Languages / CS Theory thread

Open Dylan 2025.1 - Open Dylan Release (opendylan.org)

L 13 pts 7 comments by andreyorst Jun 21, 2025 lisprelease Programming Languages / CS Theory thread