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  apple  java  health  china  release  linux  google  web  javascript  neuroscience  video  microsoft  medicine  windows  techspot.com  brain  theverge.com 
Loading...

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

The Logic of CUE

2 days ago cuelang.org plt

Error ABI

6 days ago matklad.github.io plt rust

A Note on Fil-C

10 days ago graydon2.dreamwidth.org plt rust

The Error Model (2016)

6 days ago joeduffyblog.com plt

the terminal of the future

5 days ago jyn.dev plt

Designing a Language (2017)

3 days ago cs.lmu.edu plt

The purported benefits of effect systems

15 days ago typesanitizer.com plt

Trait-Constrained Enums in Rust

8 days ago kcsongor.github.io haskell plt rust

Value classes are the new data classes

7 days ago curiouslab.dev kotlin plt

PolySubML is broken

3 days ago blog.polybdenum.com compiler plt

Domain-specific Languages and Code Synthesis Using Haskell

2 days ago queue.acm.org haskell plt

Homotopy Type Theory for Dummies

13 days ago chriswarbo.net formalmethods plt

Error Codes for Control Flow

9 days ago matklad.github.io plt zig

Program-ing Finger Trees in Coq (2007)

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

Three Things I Wish I Knew When I Started Designing Languages

2 days ago infoq.com plt transcript video

Natural Language, Semantic Analysis, and Interactive Fiction (2006)

6 days ago worrydream.com game pdf plt

Cgp-serde: A modular serialization library for Serde powered by CGP

13 days ago contextgeneric.dev plt release rust

The inconceivable types of Rust: How to make self-borrows safe (2024)

31 hours ago blog.polybdenum.com plt rust

Gamification of Programming Languages

47 hours ago sigusr2.net plt satire

Async Mutexes

12 days ago matklad.github.io plt zig

Awk Technical Notes (2023)

14 days ago maximullaris.com awk plt

How to get the GOT address from a PLT stub using GDB

14 days ago rafaelbeirigo.github.io

Programming with Less Than Nothing

24 days ago joshmoody.org plt

The Impossible Optimization, and the Metaprogramming to Achieve It

20 days ago verdagon.dev compiler plt

A Vision for Future Low-Level Languages

23 days ago antelang.org plt

When if is just a function

33 days ago ryelang.org plt

Is Odin just a more boring C?

37 days ago dayvster.com c plt

Carbon values, variables, and pointers

23 days ago github.com plt

Roadmap for improving the type checker

16 days ago forums.swift.org plt swift

Typst as a Language

23 days ago justinpombrio.net plt

More →