Display options

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

Feedback? Email [email protected]

progscrape https://rpi4-host.progscrape.com/
Trending tags: ai  rust  github.com  trump  show  microsoft  health  apple  theverge.com  nature.com  arstechnica.com  video  psychology  release  psypost.org  vibecoding  windows  neuroscience  google  security 

The Lisp in the Cellar: Dependent types that live upstairs [pdf]

4 days ago zenodo.org clojure lisp pdf plt

A Python frozenset interpretation of Dependent Type Theory

5 days ago philipzucker.com formalmethods plt python

Programming in Martin-Lof's Type Theory: An Introduction (1990)

7 days ago cse.chalmers.se book pdf plt

Designing type inference for high quality type errors

23 days ago blog.polybdenum.com compiler plt

Functional hash tables explained

3 days ago spritely.institute hash lisp plt

Whippet GC notes on Guile, heuristics, and heap growth

2 days ago wingolog.org lisp plt

Prompt chaining reimagined with type inference

22 days ago haskellforall.com ai plt

Things Zig comptime won't do

34 days ago matklad.github.io plt zig

Four Years of Jai (2024)

39 days ago smarimccarthy.is plt

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

31 days ago nikitadanilov.github.io plt

Syntactic musings on match expressions

25 days ago blog.yoshuawuyts.com plt rust

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

45 days ago github.com plt rust

Writing C for Curl

47 days ago daniel.haxx.se c plt

New Kind of Paper

29 days ago mlajtos.mu plt

Levels of configuration languages

42 days ago beza1e1.tuxen.de plt

The Memory Safety Continuum

52 days ago memorysafety.openssf.org plt rust security

Common Expression Language

34 days ago github.com plt

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

50 days ago scattered-thoughts.net plt

Thinking like a compiler: places and values in Rust

47 days ago steveklabnik.com compiler plt rust

The Y Combinator Explained in Python

44 days ago lptk.github.io plt python

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

51 days ago openjdk.org java plt

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

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

Compilers: Incrementally and Extensibly (2024)

49 days ago okmij.org compiler ml plt

CoSy

52 days ago cosy.com apl plt

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

53 days ago github.com ml ocaml plt

Algebraic Semantics for Machine Knitting

40 days ago uwplse.org math plt

A Dependently Typed Assembly Language

26 days ago cs.cmu.edu assembly pdf plt

Past, present, and future of Sorbet type syntax

28 days ago blog.jez.io plt ruby

The SRE regular-expression notation (1998)

46 days ago khoury.northeastern.edu lisp plt

Doing the Prospero-Challenge in RPython

45 days ago pypy.org compiler performance plt

More →