progscrape: plt

Rewriting the Futhark type checker

2 months ago futhark-lang.org plt

Algebraic effects and handlers in portable C99

59 days ago github.com plt

Temper Language

2 months ago temperlang.dev plt

i've been thinking about null pointers

2 months ago sebsite.pw plt

Signed Integers By Default

2 months ago gingerbill.org plt

Capture Clauses as Effects

2 months ago blog.yoshuawuyts.com plt rust

Reducing Assumptions, Exploding Your Code

2 months ago ryelang.org plt

The Unreasonable Effectiveness of Constructive Data Modeling

55 days ago youtube.com plt video

Languages as designed latent spaces

57 days ago blog.jsbarretto.com ai plt

Mechanized type inference for record concatenation

2 months ago haskellforall.com plt

Another Taste of Verse

2 months ago youtube.com plt video

Verse: A New Scripting Language

57 days ago youtube.com logiclangs plt video

Why Rocq is better than Lean for program verification

53 days ago joomy.korkutblech.com compiler formalmethods ml plt

Parallelizing Compilation: In-Process vs Multi-Process

2 months ago lobste.rs ask plt

Carbon Memory Safety first deep dive

59 days ago drive.google.com plt video

An informal tutorial on Joy

2 months ago kevinalbrecht.com plt tutorial

NoiseLang: Where N = 5 is a Dirac delta

2 months ago manualmeida.dev plt visualization

Almost Always Unsigned

2 months ago graphitemaster.github.io c plt

Existentials on a Leash

58 days ago cdfa.github.io compsci haskell plt

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

3 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

3 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