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  security  release  vibecoding  techcrunch.com  health  apple  show  psychology  theguardian.com  psypost.org  web  biology  javascript  arstechnica.com  meta  linux  go 

Validating Hare’s Sort Module using Symbolic Execution

21 days ago notes.8pit.net formalmethods plt

Formal typing rules and presentation materials for Swift 6.2's concurrency type system, focusing on Capability and Region

8 days ago github.com concurrency plt swift

DSTs Are Just Polymorphically Compiled Generics

22 days ago faultlore.com plt rust swift

Functional Algorithms, Verified

19 days ago in.tum.de algorithm formalmethods pdf plt

Retargeting JIT compilers by using C-compiler generated executable code (2004)

17 days ago cs.arizona.edu compiler concatenative pdf plt

Activating Two Trap Cards at Once, or: A Gentle Response to the Popularity of Vibecoding

21 days ago gist.github.com ai math plt python vibecoding

No Semicolons Needed

35 days ago terts.dev plt

What category theory teaches us about dataframes

25 days ago mchav.github.io database plt

Sir Tony Hoare has died

45 days ago lefenetrou.blogspot.com plt

Rust's next-generation trait solver

24 days ago lwn.net plt rust

Mojo's not (yet) Python

29 days ago theconsensus.dev plt python

Python 3.15's JIT is now back on track

37 days ago fidget-spinner.github.io performance plt python

Maximally minimal view types

33 days ago smallcultfollowing.com plt rust

The State of Allocators in 2026

43 days ago cetra3.github.io plt rust

Message Passing Is Shared Mutable State

49 days ago causality.blog go plt

Parametricity, or Comptime is Bonkers

42 days ago noelwelsh.com haskell plt rust zig

My “grand vision” for Rust

50 days ago blog.yoshuawuyts.com plt rust

Pony Gets a Template Engine

31 days ago ponylang.io plt

Pondering Effects

27 days ago wiki.alopex.li plt

So Many New Systems Programming Languages II (2023)

31 days ago colinsblog.net plt

Data is Code (2016)

35 days ago haskellforall.com plt

Typechecking mCRL2

33 days ago emi-h.com plt

Infinite Lists in Lean

33 days ago unnamed.website plt

A case against currying

32 days ago emi-h.com haskell plt

Methods in Languages for Systems Programming (2023)

38 days ago blog.xoria.org plt

Lessons from Pyre that Shaped Pyrefly

30 days ago pyrefly.org ml plt python rust

Seeing types where others don't

36 days ago theconsensus.dev plt

Lil' Fun Langs' Guts

53 days ago taylor.town plt

Ambiguity in C

48 days ago longtran2904.substack.com c plt

PEP 827 – Type Manipulation

51 days ago peps.python.org plt python

More →