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  trump  health  show  go  web  release  environment  tesla  theguardian.com  arstechnica.com  psychology  apple  neuroscience  linux  microsoft  china  psypost.org 
Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

The Memory Safety Continuum

25 hours ago memorysafety.openssf.org plt rust security

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

4 hours ago openjdk.org java plt

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

45 hours ago github.com ml ocaml plt

CoSy

38 hours ago cosy.com apl plt

Rhombus Language

17 days ago rhombus-lang.org lisp plt

SpecTec has been adopted

6 days ago webassembly.org plt wasm

Representing Type Lattices Compactly

23 days ago bernsteinbear.com compiler plt

Interaction nets

3 days ago wiki.xxiivv.com plt

The Prospero Challenge

10 days ago mattkeeter.com compiler graphics performance plt

Does unsafe undermine Rust's guarantees?

15 days ago steveklabnik.com compsci plt rust

A float walks into a gradual type system

31 days ago ruudvanasseldonk.com plt

The problem with OOL is not the OO (2009)

6 days ago rebol.com plt

Don't Be Afraid of Types

16 days ago lmika.org plt

From Languages to Language Sets

20 days ago gist.github.com plt

On the Aesthetics of the Syntax of Declarations (2018)

15 days ago gingerbill.org plt

Optimal Bounds for Open Addressing Without Reordering

17 days ago arxiv.org plt

Total functions and beyond

5 days ago ericnormand.substack.com clojure plt

In Search of the Next Great Programming Language

15 days ago git.sr.ht plt

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

16 days ago utcc.utoronto.ca plt

Red v0.6.6: Memory Management Improvements

15 days ago red-lang.org plt

Enabling seamless interop between Rust and other languages

11 days ago hackmd.io compiler plt rust

An epic treatise on error models for systems programming languages

26 days ago typesanitizer.com plt

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

9 days ago gitlab.com hardware plt

Scallop – A Language for Neurosymbolic Programming

12 days ago scallop-lang.org ai plt

A C implementation of defer using `goto`

14 days ago gist.github.com c plt

A Brief Introduction to Esoteric Programming Languages [Video]

11 days ago youtube.com plt video

Spade, a hardware description language inspired by modern software languages

7 days ago spade-lang.org hardware plt

The Calculated Typer

16 days ago bahr.io pdf plt

Can jank beat Clojure's error reporting?

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

Pile of Eternal Rejections: The Cost of Garbage Collection for State Machine Replication – Aleksey Charapko

7 days ago charap.co performance plt

More →