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  health  media  nytimes.com  netflix  microsoft  google  apple  video  web  china  go  bbc.com  javascript  cancer  reuters.com  java  openai 

Value classes are the new data classes

31 days ago curiouslab.dev kotlin plt

PolySubML is broken

27 days ago blog.polybdenum.com compiler plt

Towards Pen-and-Paper-Style Equational Reasoning in Interactive Theorem Provers by Equality Saturation

15 days ago steuwer.info formalmethods pdf plt

Domain-specific Languages and Code Synthesis Using Haskell

26 days ago queue.acm.org haskell plt

Homotopy Type Theory for Dummies

38 days ago chriswarbo.net formalmethods plt

Error Codes for Control Flow

33 days ago matklad.github.io plt zig

Program-ing Finger Trees in Coq (2007)

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

Think in math, write in code (2019)

31 days ago jmeiners.com math plt

Three Things I Wish I Knew When I Started Designing Languages

26 days ago infoq.com plt transcript video

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

30 days ago worrydream.com game pdf plt

FAWK: LLMs can write a language interpreter

19 days ago martin.janiczek.cz compiler llm plt vibecoding

Typechecking is undecideable when 'type' is a type (1989) [pdf]

23 days ago dspace.mit.edu math pdf plt

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

37 days ago contextgeneric.dev plt release rust

What if everything was "Async", but nothing needed "Await"?

23 days ago youtube.com plt video

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

25 days ago blog.polybdenum.com plt rust

Gamification of Programming Languages

26 days ago sigusr2.net plt satire

The worst programming language of all time

19 days ago youtube.com c++ plt video

Async Mutexes

36 days ago matklad.github.io plt zig

Awk Technical Notes (2023)

38 days ago maximullaris.com awk plt

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

38 days ago rafaelbeirigo.github.io

Programming with Less Than Nothing

48 days ago joshmoody.org plt

The Impossible Optimization, and the Metaprogramming to Achieve It

44 days ago verdagon.dev compiler plt

A Vision for Future Low-Level Languages

47 days ago antelang.org plt

When if is just a function

57 days ago ryelang.org plt

Is Odin just a more boring C?

2 months ago dayvster.com c plt

Carbon values, variables, and pointers

47 days ago github.com plt

Roadmap for improving the type checker

40 days ago forums.swift.org plt swift

Typst as a Language

47 days ago justinpombrio.net plt

Show HN: JSON Query

44 days ago jsonquerylang.org json plt show

The biggest semantic mess in Futhark

2 months ago futhark-lang.org plt

More →