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  health  techcrunch.com  meta  psychology  apple  linux  release  psypost.org  arstechnica.com  security  microsoft  cnbc.com  show  video  java  web 

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)

58 days 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

Custom Data Structures in E-Graphs

56 days ago uwplse.org compiler logiclangs plt python

glang

2 months ago github.com d plt

Hare 0.26.0 released

2 months ago harelang.org plt release

Defining Safe Hardware Design [pdf]

2 months ago people.csail.mit.edu hardware pdf plt