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  show  health  microsoft  apple  psypost.org  neuroscience  release  security  china  linux  nature.com  theverge.com  trump  web  psychology  video  brain 

Writing C for Curl

43 days ago daniel.haxx.se c plt

New Kind of Paper

24 days ago mlajtos.mu plt

Levels of configuration languages

38 days ago beza1e1.tuxen.de plt

The Memory Safety Continuum

47 days ago memorysafety.openssf.org plt rust security

Common Expression Language

30 days ago github.com plt

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

45 days ago scattered-thoughts.net plt

Thinking like a compiler: places and values in Rust

42 days ago steveklabnik.com compiler plt rust

The Y Combinator Explained in Python

40 days ago lptk.github.io plt python

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

46 days ago openjdk.org java plt

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

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

Compilers: Incrementally and Extensibly (2024)

44 days ago okmij.org compiler ml plt

CoSy

48 days ago cosy.com apl plt

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

48 days ago github.com ml ocaml plt

Algebraic Semantics for Machine Knitting

35 days ago uwplse.org math plt

A Dependently Typed Assembly Language

21 days ago cs.cmu.edu assembly pdf plt

Past, present, and future of Sorbet type syntax

23 days ago blog.jez.io plt ruby

The SRE regular-expression notation (1998)

41 days ago khoury.northeastern.edu lisp plt

Syntactic Musings on View Types

45 days ago blog.yoshuawuyts.com plt rust

Doing the Prospero-Challenge in RPython

40 days ago pypy.org compiler performance plt

Python is an interpreted language with a compiler

35 days ago ntietz.com compiler plt python

Rhombus Language

2 months ago rhombus-lang.org lisp plt

SpecTec has been adopted

53 days ago webassembly.org plt wasm

Representing Type Lattices Compactly

2 months ago bernsteinbear.com compiler plt

Interaction nets

49 days ago wiki.xxiivv.com plt

The Prospero Challenge

57 days ago mattkeeter.com compiler graphics performance plt

Does unsafe undermine Rust's guarantees?

2 months ago steveklabnik.com compsci plt rust

A float walks into a gradual type system

2 months ago ruudvanasseldonk.com plt

The problem with OOL is not the OO (2009)

52 days ago rebol.com plt

Don't Be Afraid of Types

2 months ago lmika.org plt

From Languages to Language Sets

2 months ago gist.github.com plt

More →