progscrape: plt

Parallelizing Compilation: In-Process vs Multi-Process

46 days ago lobste.rs ask plt

Carbon Memory Safety first deep dive

44 days ago drive.google.com plt video

An informal tutorial on Joy

47 days ago kevinalbrecht.com plt tutorial

NoiseLang: Where N = 5 is a Dirac delta

2 months ago manualmeida.dev plt visualization

Almost Always Unsigned

59 days ago graphitemaster.github.io c plt

Existentials on a Leash

43 days ago cdfa.github.io compsci haskell plt

Parse, Don't Validate – In a Language That Doesn't Want You To

2 months ago cekrem.github.io javascript plt

Ante: A new way to blend borrow checking and reference counting

2 months ago verdagon.dev compiler compsci plt rust

Prism: An Impure Functional Language With Typed Effects

2 months ago stephendiehl.com plt

Only Bounds

2 months ago smallcultfollowing.com plt rust

Elixir v1.20: Now a gradually typed language

3 months ago elixir-lang.org elixir plt

Record type inference for dummies

2 months ago haskellforall.com plt

ATS Programming Language

2 months ago cs.bu.edu plt

A Brief Introduction to Icon

2 months ago cs.arizona.edu plt

A Survey of Inlining Heuristics

3 months ago bernsteinbear.com plt

Nontrailing separators do not spark joy

2 months ago buttondown.com plt

Evaluation order and nontermination in query languages

2 months ago rntz.net database plt

Typst: Designing for Incrementality

2 months ago youtu.be plt video

A Typed, Algebraic Approach to Parsing (2019)

2 months ago cl.cam.ac.uk pdf plt

A Core Calculus for Documents (2024)

2 months ago dl.acm.org pdf plt

Safe Made Easy Pt.1: Single Ownership is (Not) Optional

3 months ago ergeysay.github.io plt

Rhombus Language 1.0

2 months ago blog.racket-lang.org lisp plt

Lifting E-Graphs

2 months ago philipzucker.com plt

Solod v0.2: Networking, new targets, friendlier interop

2 months ago antonz.org go networking plt

Why languages should never reorder structs