Display options

You can modify the default view of progscrape using query parameters.

Feedback? Email matthew@mastracci.com

progscrape https://progscrape.com/?
Trending tags: ai  rust  github.com  psychology  apple  health  arstechnica.com  show  psypost.org  security  trump  china  vibecoding  go  environment  nature.com  video  linux  neuroscience  google 

Whippet GC notes on Guile, heuristics, and heap growth

20 days ago wingolog.org lisp plt

lamber: functional scripting language compiling to Lambda Calculus

18 days ago github.com lambda plt

Prompt chaining reimagined with type inference

40 days ago haskellforall.com ai plt

Things Zig comptime won't do

52 days ago matklad.github.io plt zig

Four Years of Jai (2024)

57 days ago smarimccarthy.is plt

What is cosh(List(Bool))? Or beyond algebra: analysis of data types

49 days ago nikitadanilov.github.io plt

Syntactic musings on match expressions

43 days ago blog.yoshuawuyts.com plt rust

facet: Rust reflection, serialization, deserialization — know the shape of your types

2 months ago github.com plt rust

Writing C for Curl

2 months ago daniel.haxx.se c plt

New Kind of Paper

47 days ago mlajtos.mu plt

Levels of configuration languages

2 months ago beza1e1.tuxen.de plt

The Memory Safety Continuum

2 months ago memorysafety.openssf.org plt rust security

Common Expression Language

52 days ago github.com plt

A rough survey of compilation, recompilation, and compile-time evaluation

2 months ago scattered-thoughts.net plt

Thinking like a compiler: places and values in Rust

2 months ago steveklabnik.com compiler plt rust

The Y Combinator Explained in Python

2 months ago lptk.github.io plt python

How We Got the Generics We Have: (Or, how I learned to stop worrying and love erasure)

2 months ago openjdk.org java plt

Exploiting Undefined Behavior in C/C++ Programs for Optimization: A Study on the Performance Impact

48 days ago web.ist.utl.pt c c++ plt

Compilers: Incrementally and Extensibly (2024)

2 months ago okmij.org compiler ml plt

CoSy

2 months ago cosy.com apl plt

Roguetype: The first ever roguelike written in the OCaml type system

2 months ago github.com ml ocaml plt

Algebraic Semantics for Machine Knitting

58 days ago uwplse.org math plt

A Dependently Typed Assembly Language

44 days ago cs.cmu.edu assembly pdf plt

Past, present, and future of Sorbet type syntax

46 days ago blog.jez.io plt ruby

The SRE regular-expression notation (1998)

2 months ago khoury.northeastern.edu lisp plt

Doing the Prospero-Challenge in RPython

2 months ago pypy.org compiler performance plt

Syntactic Musings on View Types

2 months ago blog.yoshuawuyts.com plt rust

Python is an interpreted language with a compiler

58 days ago ntietz.com compiler plt python

Rhombus Language

2 months ago rhombus-lang.org lisp plt

SpecTec has been adopted

2 months ago webassembly.org plt wasm

More →