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  github.com  rust  trump  nature.com  health  environment  show  video  vibecoding  apple  google  go  psychology  neuroscience  theguardian.com  java  game  microsoft  web 

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

55 days ago github.com ml ocaml plt

Algebraic Semantics for Machine Knitting

43 days ago uwplse.org math plt

A Dependently Typed Assembly Language

29 days ago cs.cmu.edu assembly pdf plt

Past, present, and future of Sorbet type syntax

30 days ago blog.jez.io plt ruby

The SRE regular-expression notation (1998)

48 days ago khoury.northeastern.edu lisp plt

Doing the Prospero-Challenge in RPython

48 days ago pypy.org compiler performance plt

Syntactic Musings on View Types

53 days ago blog.yoshuawuyts.com plt rust

Python is an interpreted language with a compiler

43 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

Representing Type Lattices Compactly

2 months ago bernsteinbear.com compiler plt

Interaction nets

57 days ago wiki.xxiivv.com plt

The Prospero Challenge

2 months 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)

2 months 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

On the Aesthetics of the Syntax of Declarations (2018)

2 months ago gingerbill.org plt

Optimal Bounds for Open Addressing Without Reordering

2 months ago arxiv.org plt

Total functions and beyond

59 days ago ericnormand.substack.com clojure plt

In Search of the Next Great Programming Language

2 months ago git.sr.ht plt

I don't think error handling is a solved problem in language design

2 months ago utcc.utoronto.ca plt

Red v0.6.6: Memory Management Improvements

2 months ago red-lang.org plt

Enabling seamless interop between Rust and other languages

2 months ago hackmd.io compiler plt rust

An epic treatise on error models for systems programming languages

2 months ago typesanitizer.com plt

spade - A work in progress HDL that doesn't make you want to pull your hair out

2 months ago gitlab.com hardware plt

Scallop – A Language for Neurosymbolic Programming

2 months ago scallop-lang.org ai plt

A C implementation of defer using `goto`

2 months ago gist.github.com c plt

A Brief Introduction to Esoteric Programming Languages [Video]

2 months ago youtube.com plt video

More →