Display options

You can modify the default view of progscrape using query parameters.

Feedback? Email [email protected]

progscrape https://rpi4-host.progscrape.com/
Trending tags: ai  tomshardware.com  rust  google  psychology  security  psypost.org  health  game  linux  techspot.com  arstechnica.com  release  cnbc.com  video  go  show  openai  github.com  theguardian.com 

Coherence and orphan instance rules

2 months ago osa1.net haskell plt

Bluefin is a capability system

2 months ago h2.jaguarpaw.co.uk haskell plt

Is truth futureproof? On the possible futures of mechanized proofs

53 days ago khoury.northeastern.edu math pdf plt

jank reimagines C++ errors and gets an official native package repo

2 months ago jank-lang.org clojure compiler c++ plt

PL Education in the Age of AI: Interview with Shriram Krishnamurthi

59 days ago typetheoryforall.com ai audio education plt

Generic Methods in Go

2 months ago go.dev go plt

Rethinking Database Programming

2 months ago acadia.engineering database elm plt

Better Batteries

2 months ago matklad.github.io plt

Programming Language Semantics and Memory Safety

2 months ago burakemir.ch plt

Go is an ideal language for AI-assisted software engineering

2 months ago developers.googleblog.com go plt vibecoding

Odin's New Inline Assembly Templates

2 months ago odin-lang.org assembly plt

Tail-Call Interpreters in Rust – Jimmy Ostler

2 months ago lordgoati.us plt rust

A Personal Computer For Children Of All Cultures (2019)

2 months ago deconstructconf.com plt

Challenges when writing gren-format

2 months ago gilramir.github.io plt

A Programming Paradigm for Spatiotemporal Composability

2 months ago github.com plt

Bringing Primary Constructors to Dart

2 months ago dart.dev plt

Demystifying Type (and some Un-Paradoxing)

2 months ago sifter.org plt

A Dual View on Syntax

2 months ago text.marvinborner.de plt

Finally adding recursive functions to Futhark

3 months ago futhark-lang.org plt

the beauty in dsl-able languages

2 months ago w.on-t.work kotlin plt

Pop-2000, a lingua-franca POP-2 dialect

2 months ago hitogata.neocities.org concatenative plt

Things I want in a modern relational query language

2 months ago sporks.space database plt

Aiki Alpha 3 Released - Performance Improved

2 months ago decuser.github.io go plt release vibecoding

Mojo is now open source

2 months ago modular.com plt

The Object Model in Livelymerge

2 months ago inkandswitch.com plt

Liquid Types as a behavioural sandbox for agents

2 months ago wiki.alcidesfonseca.com ai plt

Opinions About Compiler Building

2 months ago programmingsimplicity.substack.com compiler plt

Micro language implementation: Calcium

2 months ago nedbatchelder.com plt python

50 years of proof assistants

2 months ago lawrencecpaulson.github.io historical math plt

A Design Space Exploration of Async/Await

2 months ago arxiv.org pdf plt

More →