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  vibecoding  health  github.com  game  psypost.org  psychology  linux  release  i.redd.it  openai  google  sciencealert.com  web  theguardian.com  brain  apple  go  show 

Micro language implementation: Calcium

12 days ago nedbatchelder.com plt python

50 years of proof assistants

11 days ago lawrencecpaulson.github.io historical math plt

A Design Space Exploration of Async/Await

11 days ago arxiv.org pdf plt

NASA's System Modeling Language, FPP

16 days ago ieeexplore.ieee.org nasa plt

Aiki reaches recursive self-interpretation

20 days ago decuser.github.io go plt release

On Knowledge Representation

20 days ago sifter.org philosophy plt

How should Futhark expose irregular arrays to the programmer?

23 days ago futhark-lang.org apl plt

Modelling Actors with Redex: Part I

33 days ago eighty-twenty.org distributed plt

Multistack Concatenative Programming Languages

28 days ago sheeeeeeeep.art concatenative plt

Aiki Alpha 2 Released

17 days ago decuser.github.io go plt release

Everyone says assembly is untyped—everyone is wrong

16 days ago gingerbill.org assembly plt

Postmortem for Kernel Soundness Bug #14576

35 days ago leodemoura.github.io formalmethods kernel plt

Two Case Studies of NaN

58 days ago sebsite.pw plt

Thoughts on Integers (2023)

46 days ago blog.xoria.org plt

Spatial languages: Writing code in 2D

45 days ago shukla.io plt

Odin 1.0 Announcement

2 months ago youtube.com plt video

Functional programming from first principles, part 1 – motivation

40 days ago endoflineblog.com plt

Rewriting the Futhark type checker

45 days ago futhark-lang.org plt

Algebraic effects and handlers in portable C99

44 days ago github.com plt

Temper Language

53 days ago temperlang.dev plt

i've been thinking about null pointers

52 days ago sebsite.pw plt

Signed Integers By Default

2 months ago gingerbill.org plt

Capture Clauses as Effects

46 days ago blog.yoshuawuyts.com plt rust

Reducing Assumptions, Exploding Your Code

2 months ago ryelang.org plt

The Unreasonable Effectiveness of Constructive Data Modeling

40 days ago youtube.com plt video

Languages as designed latent spaces

42 days ago blog.jsbarretto.com ai plt

Mechanized type inference for record concatenation

2 months ago haskellforall.com plt

Another Taste of Verse

50 days ago youtube.com plt video

Verse: A New Scripting Language

42 days ago youtube.com logiclangs plt video

Why Rocq is better than Lean for program verification

39 days ago joomy.korkutblech.com compiler formalmethods ml plt

More →