Display options

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

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  rust  github.com  vibecoding  game  release  microsoft  psychology  security  techspot.com  biology  show  psypost.org  tomshardware.com  web  apple  linux  meta  google  health 

𝜇⁢𝜆⁢ϵ⁢𝛿-Calculus: Self Optimizing Language that Seems to Exhibit Paradoxical Transfinite Cognitive Capabilities

26 days ago arxiv.org compsci plt

How TypeScript infers type variables

31 days ago norswap.com javascript plt typescript

How TypeScript distributes unions

32 days ago norswap.com javascript plt typescript

Making your own programming language is easier than you think (but also harder)

59 days ago lisyarus.github.io plt

Unsigned sizes: A five year mistake

2 months ago c3-lang.org c plt

5 Years and $5M Later: Inventing a New Programming Language for Web Development Was a Mistake

53 days ago wasp.sh javascript plt web

EYG: Host of CLI improvements, new guides and new effects

41 days ago eyg.run plt

The Super Tiny Compiler, but in Ada

47 days ago github.com compiler plt

Blorp Language

35 days ago blorp-lang.org plt vibecoding

The Fil-C Optimized Calling Convention

50 days ago fil-c.org plt

Partial static single information form

53 days ago bernsteinbear.com plt

Erasing Existentials

46 days ago wolfgirl.dev plt rust

Data types à la carte (2008)

36 days ago cambridge.org haskell plt

A bidirectional typechecking puzzle in the Grace programming language

2 months ago haskellforall.com plt

Bidirectional Typechecking That Does Not Stop

51 days ago semantic-domain.blogspot.com plt

Extraordinary Ordinals

54 days ago text.marvinborner.de art plt

Introducing ArkTS, Huawei’s Next-Generation Development Language

45 days ago dev.to huawei plt

Bournegol??? (2014)

48 days ago oldhome.schmorp.de historical plt

minc — A minimal language for building native software

44 days ago minc.dev c game plt

A little comparison between R and Kap

2 months ago blog.dhsdevelopments.com apl plt

One week of view_types

2 months ago scrabsha.dev plt rust

Designing a Custom Query Language for Non-Technical Analysts

53 days ago nchammas.com database plt

Mojo v1.0.0b1

59 days ago mojolang.org ai plt release

We're announcing Mikan: a proof assistant for cubical type theory, forked from the Agda codebase

2 months ago types.pl plt release

A Path Not Taken for OxCaml

2 months ago joel.place ml plt

Porting microgpt to Futhark, Part I

2 months ago kmjn.org ai plt

Behavior-Oriented Concurrency for Python

2 months ago microsoft.github.io concurrency plt python vibecoding

Everything Should Be Typed: Scalar Types Are Not Enough

2 months ago sot.dev plt rust

Lean proved this program correct; then I found a bug

2 months ago kirancodes.me formalmethods plt security vibecoding

Lisette a little language inspired by Rust that compiles to Go

3 months ago lisette.run go plt rust

More →