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

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

Borrow-checking without type-checking

19 hours ago scattered-thoughts.net plt

Everything Should Be Typed: Scalar Types Are Not Enough

10 days ago sot.dev plt rust

Lean proved this program correct; then I found a bug

10 days ago kirancodes.me formalmethods plt security vibecoding

Lisette a little language inspired by Rust that compiles to Go

20 days ago lisette.run go plt rust

How to make a fast dynamic language interpreter

2 days ago zef-lang.dev compiler performance plt

A tail-call interpreter in (nightly) Rust

18 days ago mattkeeter.com plt rust

The Edge of Safe Rust

32 hours ago kyju.org plt rust

Effectful Recursion Schemes

3 days ago effekt-lang.org plt

Performance of the Wren programming language

2 days ago wren.io plt

An Algorithmic Reconstruction of Normalisation by Evaluation

29 hours ago yangzhixuan.github.io plt

Embed You a ponyc for Great Good

9 days ago ponylang.io plt

Reflections on 30 years of HPC programming

9 days ago chapel-lang.org performance plt

EsoNatLangs Bring the Complexity of Natural Language into Code

7 days ago esoteric.codes plt

1SubML: Plan vs Reality

15 days ago blog.polybdenum.com plt

What is a property?

16 days ago alperenkeles.com haskell plt

1SubMl: experimental ML-like programming language with a unified module and value language, and more

20 days ago github.com plt

Why Lean?

19 days ago leodemoura.github.io plt

The secret history of Recursion Schemes

29 hours ago youtube.com plt video

nondescript: a simple embedded programming language

25 hours ago github.com embedded plt show

Lenses in Rust and My Solution

5 days ago lambdalemon.gay plt rust

Linear types proposal for Hare

22 days ago yerinalexey.srht.site plt

Borrow-checking surprises

15 days ago scattered-thoughts.net plt rust

MoonBit 0.9: Introducing First-Class Formal Verification

9 days ago moonbitlang.com plt release vibecoding

Slap: Functional Concatenative Language with a Borrow Checker?

20 days ago taylor.town concatenative plt

Meet Kiki - an array language

13 days ago eli.li apl plt

Formal Methods

20 days ago formalmethods.dk formalmethods plt

Transpiling from Python into Lisp

3 days ago github.com lisp plt python

The thrilling adventures of Lovelace and Babbage

9 days ago archive.org book design historical plt

Single Module Lambda Calculus from Simply Typed to Martin Lof Type Theory

8 days ago github.com haskell lambda plt

Red-black tree in Lean 4 prover with everything proved

22 days ago rentry.co formalmethods plt

More →