Display options

You can modify the default view of progscrape using query parameters.

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  vibecoding  github.com  show  rust  security  linux  release  openai  game  microsoft  psypost.org  web  psychology  video  health  theguardian.com  techspot.com  tomshardware.com  apple 

The Unreasonable Effectiveness of Constructive Data Modeling

2 months ago youtube.com plt video

Languages as designed latent spaces

2 months ago blog.jsbarretto.com ai plt

Mechanized type inference for record concatenation

3 months ago haskellforall.com plt

Another Taste of Verse

3 months ago youtube.com plt video

Verse: A New Scripting Language

2 months ago youtube.com logiclangs plt video

Why Rocq is better than Lean for program verification

2 months 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

2 months 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

3 months ago manualmeida.dev plt visualization