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  apple  neuroscience  show  health  javascript  china  security  linux  trump  game  nature.com  arstechnica.com  theregister.com  nytimes.com  microsoft  theguardian.com  google 

Numba v2 Compiler Design

8 days ago numba.pydata.org compiler performance plt python

Open Source Sustainability for fastn - FifthTry Launches Rust Consultancy

7 days ago fastn.com plt rust

Typechecking Is Undecidable When 'Type' Is a Type (1989)

22 days ago dspace.mit.edu plt

Use Your Type System

28 days ago dzombak.com plt

There is no memory safety without thread safety

28 days ago ralfj.de go java plt rust

Asynchrony is not concurrency

33 days ago kristoff.it concurrency plt zig

Programming Language Theory has a public relations problem

38 days ago happyfellow.bearblog.dev plt

Phrase origin: Why do we "call" functions?

43 days ago quuxplusone.github.io historical plt

Losing language features: some stories about disjoint unions

34 days ago graydon2.dreamwidth.org historical plt

The Design and Implementation of Extensible Variants for Rust in CGP

22 days ago contextgeneric.dev plt rust

Why We Need to Know LR and Recursive Descent Parsing Techniques

22 days ago tratt.net plt

Hazel: A live functional programming environment with typed holes

36 days ago github.com plt

KernelScript eBPF-centric programming language

23 days ago github.com linux plt

Variadic Generics ideas that won’t work for Rust

43 days ago poignardazur.github.io plt rust

Binding Application in Idris

41 days ago andrevidela.com plt

Why Lexing and Parsing Should Be Separate

31 days ago github.com performance plt

Row Polymorphic Programming

38 days ago stranger.systems plt

Implementing a functional language with graph reduction (2021)

27 days ago thma.github.io compiler plt

Wren - a small, fast, class-based concurrent scripting language

25 days ago github.com plt

Constrained languages are easier to optimize

39 days ago jyn.dev plt

Jank is C++

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

The Design and Implementation of Extensible Records for Rust in CGP

40 days ago contextgeneric.dev plt rust

Store tags after payloads

38 days ago scattered-thoughts.net plt

LL and LR Parsing Demystified (2013)

31 days ago blog.reverberate.org compiler plt

The Tree Borrows paper is finally published

43 days ago ralfj.de formalmethods plt rust

Closures for Hare

42 days ago lists.sr.ht plt

A reckless introduction to Hindley-Milner type inference

30 days ago reasonableapproximation.net formalmethods plt

A Taste of Matzo: A Language for Random Text

45 days ago journal.infinitenegativeutility.com plt

Linear Matching of JavaScript Regular Expressions

36 days ago dl.acm.org javascript plt

Types of Types: Common to Exotic

51 days ago stephendiehl.com plt

More →