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  vibecoding  i.redd.it  psychology  video  linux  theguardian.com  google  release  game  psypost.org  arstechnica.com  web  health  meta  security  neuroscience  apple 

Programming as Theory Building (1985) [pdf]

14 days ago gwern.net pdf

Simple and safe implicit async programming model for imperative (JS/Python-like) languages

27 days ago geleto.github.io

The four programming questions from my 1994 Microsoft internship interview (2023)

5 days ago computerenhance.com microsoft

Starting Systems Programming, Pt 1: Programmers Write Programs (2025)

17 days ago eblog.fly.dev education go

Andy Matuschak: Apps and programming: two accidental tyrannies (MIT Talk) [video]

10 days ago youtube.com mit video

XS: A programming language. Anywhere, anytime, by anyone

16 days ago xslang.org

Point-Free Logic Programming

23 days ago forum.malleable.systems logiclangs

CPPL: A Circuit Prompt Programming Language

12 days ago arxiv.org

A bidirectional typechecking puzzle in the Grace programming language

28 days ago haskellforall.com plt

Humble Tech Book Bundle: The Ultimate Functional Programming

14 days ago humblebundle.com

The Mercury logic programming system

15 days ago github.com

Spectre Programming Language

17 days ago spectre-docs.pages.dev

A simple, lightweight, flexible, embeddable, portable and multi-paradigm dynamic programming language for developing applications, tools, and domain-specific languages (over 10 years of continuous development - The Compiler/VM is 25,000 lines of ANSI C)

3 days ago github.com c compiler

The Programming Language for Agents

14 days ago zerolang.ai

Inverse Sapir-Whorf and programming languages

31 days ago lukeplant.me.uk

The Viability of Zig as Graphics Programming(and general Media Manipulation) Language?

28 days ago reddit.com graphics media zig

Charity – Categorical programming language (1998)

20 days ago github.com

Can Rust Be Used for Full Applications or Just Systems Programming?

16 days ago reddit.com rust

LjTools to generate LuaJIT bytecode for your programming language, now supports LuaJIT 2.1

13 days ago github.com bytecode compiler

Technical Dimensions of Live Feedback in Programming Systems

23 days ago joshuahhh.com

Programming Z3

17 days ago z3prover.github.io

Boris Cherny: TI-83 Plus Basic Programming Tutorial (2004)

28 days ago ticalc.org tutorial

Programming Is Real Engineering, And AI Proves It

27 days ago jerf.org ai vibecoding

Introduction to Graphics Programming with Vulkan

22 days ago 0xkiire.com graphics vulkan

While the King Lives: An Old C Programming Prank in GNU Hello from 1993

27 days ago lowendbox.com c gnu

I love recreational programming in Rust

27 days ago reddit.com rust

Reactive Programming: Zig binding

24 days ago github.com zig

Have you ever heard of a musical programming language?

24 days ago reddit.com rust

Texico: Learn the principles of programming without even touching a computer

31 days ago nhk.or.jp

JavaScript Programming Book

19 days ago play.google.com javascript

More →