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  google  javascript  show  theguardian.com  web  go  security  nature.com  theverge.com  neuroscience  brain  arstechnica.com  apple  video  environment  psychology 

Lolita: A tagless, dependently typed, self-aware programming language

7 months ago hirrolot.github.io

Announcing Beatrice: A finally tagless, dependently typed, self-aware programming language

7 months ago hirrolot.github.io plt

Solving SAT via Positive Supercompilation

9 months ago hirrolot.github.io compiler

Why Static Languages Suffer from Complexity (2022)

15 months ago hirrolot.github.io plt rust zig

Compiler Development: Rust or OCaml?

15 months ago hirrolot.github.io compiler ml ocaml plt rust

How to keep lambda calculus simple

16 months ago hirrolot.github.io lambda plt

Pretty-Printable Enumerations in Pure C

2 years ago hirrolot.github.io c

Rust Is Hard, Or: The Misery of Mainstream Programming

2 years ago hirrolot.github.io rust

Why static languages suffer from complexity

2 years ago hirrolot.github.io

Macros on Steroids, Or: How Can Pure C Benefit from Metaprogramming

3 years ago hirrolot.github.io c

Extend Your Language, Don’t Alter It

3 years ago hirrolot.github.io