progscrape: plt

Sliced by Go’s Slices

2 months ago ohadravid.github.io go plt

Concrete syntax matters, actually

2 months ago youtube.com plt video

Ideas for an Agent-Oriented Programming Language

2 months ago davi.sh plt vibecoding

The largest number representable in 64 bits

2 months ago tromp.github.io math plt

fixapl

2 months ago fixapl.netlify.app apl plt

Leaning Into the Coding Interview: Lean 4 vs Dafny cage-match

2 months ago ntaylor.ca formalmethods plt

Designing Odin's Casting Syntax

2 months ago gingerbill.org compiler plt

Evolving Languages Faster with Type Tailoring (2024)

2 months ago lambdaland.org lisp plt

c-- (2008)

2 months ago cs.tufts.edu compiler plt

A Language For Agents

2 months ago lucumr.pocoo.org plt vibecoding