Display options

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

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  github.com  rust  vibecoding  show  health  neuroscience  psychology  video  psypost.org  theguardian.com  medicine  javascript  brain  game  security  compiler  google  i.redd.it  c 

Towards Pen-and-Paper-Style Equational Reasoning in Interactive Theorem Provers by Equality Saturation

2 months ago steuwer.info formalmethods pdf plt

Domain-specific Languages and Code Synthesis Using Haskell

3 months ago queue.acm.org haskell plt

Homotopy Type Theory for Dummies

3 months ago chriswarbo.net formalmethods plt

Error Codes for Control Flow

3 months ago matklad.github.io plt zig

Program-ing Finger Trees in Coq (2007)

3 months ago sozeau.gitlabpages.inria.fr pdf plt

Think in math, write in code (2019)

3 months ago jmeiners.com math plt

Three Things I Wish I Knew When I Started Designing Languages

2 months ago infoq.com plt transcript video

Natural Language, Semantic Analysis, and Interactive Fiction (2006)

3 months ago worrydream.com game pdf plt

FAWK: LLMs can write a language interpreter

2 months ago martin.janiczek.cz compiler llm plt vibecoding

Typechecking is undecideable when 'type' is a type (1989) [pdf]

2 months ago dspace.mit.edu math pdf plt