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  health  microsoft  environment  trump  vibecoding  web  psychology  go  china  youtube.com  video  psypost.org  google  neuroscience  database  game  theguardian.com 
Loading...

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

Types of Types: Common to Exotic

4 days ago stephendiehl.com plt

A catamorphic lambda-calculus interpreter

43 hours ago michaelpj.com haskell plt

What is isomorphism?

4 days ago ugbasic.iwashere.eu plt retrocomputing

Inequality Union Finds: Baby Steps to Refinement E-graphs

3 days ago philipzucker.com formalmethods plt

Programming as Theory Building

3 days ago pablo.rauzy.name pdf plt

Zig-style generics are not well-suited for most languages (2022)

25 days ago typesanitizer.com plt zig

Of Course ML Has Monads (2011)

14 days ago existentialtype.wordpress.com haskell ml plt

Zero-Cost 'Tagless Final' in Rust with GADT-style Enums

32 days ago inferara.com plt rust

Memory Safe Languages: Reducing Vulnerabilities in Modern Software Development [pdf]

7 days ago media.defense.gov pdf plt security

The unreasonable effectiveness of fuzzing for porting programs

17 days ago rjp.io plt rust vibecoding

Helix: A Modern, High-Performance Language

5 days ago github.com plt

Lifetime Dispersion and Generational GC: An Intellectual Abstract

11 days ago dl.acm.org plt

The Less Humble Programmer (2023)

16 days ago digitalhumanities.org plt

Hypershell: A Type-Level DSL for Shell-Scripting in Rust powered by Context-Generic Programming

21 days ago contextgeneric.dev plt release rust

Structuring Arrays with Algebraic Shapes

8 days ago dl.acm.org pdf plt

Smalltalk, Haskell and Lisp

29 days ago storytotell.org haskell lisp plt

Public/protected/private is an unnecessary feature

33 days ago catern.com plt

Pallene Language

13 days ago github.com lua plt

Verse Language

24 days ago dev.epicgames.com plt

Programming Considered Harmful (2001)

16 days ago flownet.com historical plt

Notes on type inference and polymorphism

9 days ago blog.snork.dev plt

Hare 0.25.2 released

14 days ago harelang.org plt release

Higher: Favourite Haskell type classes for Rust (2023)

14 days ago github.com haskell plt rust

LLMs pose an interesting problem for DSL designers

18 days ago kirancodes.me llm plt vibecoding

LR(1) parse-tables generator

11 days ago github.com c++ plt

A Lisp adventure on the calm waters of the dead C (2021)

12 days ago mihaiolteanu.me c lisp plt

Zig And Rust (2023)

15 days ago matklad.github.io plt rust zig

In which I have Opinions about parsing and grammars

30 days ago chiark.greenend.org.uk plt

The next phase of jank's C++ interop

29 days ago jank-lang.org clojure compiler c++ plt

A tour of upcoming RFCs for the Hare programming language

33 days ago harelang.org plt

More →