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  rust  github.com  microsoft  meta  psychology  vibecoding  security  web  health  google  windows  theguardian.com  linux  video  cnbc.com  i.redd.it  tomshardware.com  techspot.com  arstechnica.com 

Formal Methods

2 months ago formalmethods.dk formalmethods plt

Transpiling from Python into Lisp

47 days ago github.com lisp plt python

Pure Borrow: Linear Haskell Meets Rust-Style Borrowing

43 days ago discourse.haskell.org haskell plt rust

The thrilling adventures of Lovelace and Babbage

53 days ago archive.org book design historical plt

Red-black tree in Lean 4 prover with everything proved

2 months ago rentry.co formalmethods plt

Single Module Lambda Calculus from Simply Typed to Martin Lof Type Theory

52 days ago github.com haskell lambda plt

Validating Hare’s Sort Module using Symbolic Execution

2 months ago notes.8pit.net formalmethods plt

Formal typing rules and presentation materials for Swift 6.2's concurrency type system, focusing on Capability and Region

52 days ago github.com concurrency plt swift

Borrow-checking without type-checking

44 days ago scattered-thoughts.net plt rust

DSTs Are Just Polymorphically Compiled Generics

2 months ago faultlore.com plt rust swift

Functional Algorithms, Verified

2 months ago in.tum.de algorithm formalmethods pdf plt

Retargeting JIT compilers by using C-compiler generated executable code (2004)

2 months ago cs.arizona.edu compiler concatenative pdf plt

Activating Two Trap Cards at Once, or: A Gentle Response to the Popularity of Vibecoding

2 months ago gist.github.com ai math plt python vibecoding

No Semicolons Needed

2 months ago terts.dev plt

What category theory teaches us about dataframes

2 months ago mchav.github.io database plt

Sir Tony Hoare has died

2 months ago lefenetrou.blogspot.com plt

Rust's next-generation trait solver

2 months ago lwn.net plt rust

Mojo's not (yet) Python

2 months ago theconsensus.dev plt python

Python 3.15's JIT is now back on track

2 months ago fidget-spinner.github.io performance plt python

Maximally minimal view types

2 months ago smallcultfollowing.com plt rust

The State of Allocators in 2026

2 months ago cetra3.github.io plt rust

Message Passing Is Shared Mutable State

3 months ago causality.blog go plt

Parametricity, or Comptime is Bonkers

2 months ago noelwelsh.com haskell plt rust zig

My “grand vision” for Rust

3 months ago blog.yoshuawuyts.com plt rust

Pony Gets a Template Engine

2 months ago ponylang.io plt

Pondering Effects

2 months ago wiki.alopex.li plt

So Many New Systems Programming Languages II (2023)

2 months ago colinsblog.net plt

Data is Code (2016)

2 months ago haskellforall.com plt

Typechecking mCRL2

2 months ago emi-h.com plt

Infinite Lists in Lean

2 months ago unnamed.website plt

More →