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  openai  health  web  arstechnica.com  game  javascript  china  google  windows  microsoft  reuters.com  apple  neuroscience  theguardian.com  vibecoding  nature.com  youtube.com 
Loading...

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

A Note on Fil-C

20 hours ago graydon2.dreamwidth.org plt rust

The purported benefits of effect systems

5 days ago typesanitizer.com plt

Homotopy Type Theory for Dummies

4 days ago chriswarbo.net formalmethods plt

Program-ing Finger Trees in Coq (2007)

5 days ago sozeau.gitlabpages.inria.fr pdf plt

On Async Mutexes

2 days ago matklad.github.io plt zig

AWK technical notes (2023)

4 days ago maximullaris.com awk plt

Announcing cgp-serde: A modular serialization library for Serde powered by Context-Generic Programming

3 days ago contextgeneric.dev plt release rust

Programming with Less Than Nothing

15 days ago joshmoody.org plt

The Impossible Optimization, and the Metaprogramming to Achieve It

10 days ago verdagon.dev compiler plt

A Vision for Future Low-Level Languages

13 days ago antelang.org plt

When if is just a function

23 days ago ryelang.org plt

Is Odin just a more boring C?

28 days ago dayvster.com c plt

Carbon values, variables, and pointers

13 days ago github.com plt

Roadmap for improving the type checker

7 days ago forums.swift.org plt swift

Typst as a Language

13 days ago justinpombrio.net plt

Show HN: JSON Query

10 days ago jsonquerylang.org json plt show

The biggest semantic mess in Futhark

36 days ago futhark-lang.org plt

Why formalize mathematics – more than catching errors

20 days ago rkirov.github.io math plt

An Efficient Implementation of SELF (1989) [pdf]

12 days ago courses.cs.washington.edu pdf performance plt

Metalang99: a rich functional language implemented in C99 preprocessor

12 days ago github.com c plt

Stackful Coroutine Made Fast

9 days ago photonlibos.github.io c performance plt

From Linearity to Borrowing

23 days ago dl.acm.org pdf plt

The Unix Executable as a Smalltalk Method [pdf]

20 days ago programmingmadecomplicated.wordpress.com pdf plt unix

Dijkstra on the foolishness of natural language programming (1978)

26 days ago cs.utexas.edu historical plt

Flowistry: An IDE plugin for Rust that focuses on relevant code

19 days ago github.com design editors plt rust

Let's Take Esoteric Programming Languages Seriously

26 days ago arxiv.org culture plt

Delimited continuations in lone Lisp

35 days ago matheusmoreira.com lisp plt

The Mondrian introduction to functional optics

30 days ago marcosh.github.io haskell plt visualization

Unconventional Ways to Cast in TypeScript

14 days ago wolfgirl.dev javascript plt typescript

Primitive overloading

36 days ago mlochbaum.github.io apl plt

More →