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  microsoft  meta  psychology  vibecoding  security  web  health  google  windows  theguardian.com  tomshardware.com  i.redd.it  linux  cnbc.com  techspot.com  arstechnica.com  video 

Porting microgpt to Futhark, Part I

36 days ago kmjn.org ai plt

Behavior-Oriented Concurrency for Python

32 days ago microsoft.github.io concurrency plt python vibecoding

Everything Should Be Typed: Scalar Types Are Not Enough

54 days ago sot.dev plt rust

Lean proved this program correct; then I found a bug

54 days ago kirancodes.me formalmethods plt security vibecoding

Lisette a little language inspired by Rust that compiles to Go

2 months ago lisette.run go plt rust

How to make a fast dynamic language interpreter

46 days ago zef-lang.dev compiler performance plt

Basic Type System Terminology

42 days ago lewiscampbell.tech plt

WASM is not quite a stack machine

40 days ago purplesyringa.moe plt wasm

A tail-call interpreter in (nightly) Rust

2 months ago mattkeeter.com plt rust

Effectful Recursion Schemes

47 days ago effekt-lang.org plt

Performance of the Wren programming language

46 days ago wren.io plt

Blessed Syntax and Ergonomics

38 days ago gingerbill.org plt

An Algorithmic Reconstruction of Normalisation by Evaluation

45 days ago yangzhixuan.github.io plt

The Edge of Safe Rust

45 days ago kyju.org plt rust

Embed You a ponyc for Great Good

53 days ago ponylang.io plt

Reflections on 30 years of HPC programming

53 days ago chapel-lang.org performance plt

EsoNatLangs Bring the Complexity of Natural Language into Code

51 days ago esoteric.codes plt

1SubML: Plan vs Reality

59 days ago blog.polybdenum.com plt

1SubMl: experimental ML-like programming language with a unified module and value language, and more

2 months ago github.com plt

What is a property?

2 months ago alperenkeles.com haskell plt

Why Lean?

2 months ago leodemoura.github.io plt

Breaking ten years of C API compatibility in Futhark

37 days ago futhark-lang.org api c compiler plt

The secret history of Recursion Schemes

45 days ago youtube.com plt video

nondescript: a simple embedded programming language

44 days ago github.com embedded plt show

Lenses in Rust and My Solution

49 days ago lambdalemon.gay plt rust

Linear types proposal for Hare

2 months ago yerinalexey.srht.site plt

Borrow-checking surprises

59 days ago scattered-thoughts.net plt rust

MoonBit 0.9: Introducing First-Class Formal Verification

53 days ago moonbitlang.com plt release vibecoding

Slap: Functional Concatenative Language with a Borrow Checker?

2 months ago taylor.town concatenative plt

Meet Kiki - an array language

57 days ago eli.li apl plt

More →