Display options

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

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: rust  ai  github.com  health  psychology  china  go  theguardian.com  show  theregister.com  linux  video  brain  google  media  release  openai  database  environment  cancer 

Differential Analysis: A Summary

5 months ago blog.brownplt.org formalmethods

Forge: A Tool to Teach Formal Methods

7 months ago blog.brownplt.org formalmethods

Finding and fixing standard misconceptions about program behavior

7 months ago blog.brownplt.org

A Core Calculus for Documents

11 months ago blog.brownplt.org plt

A Grounded Conceptual Model for Ownership Types in Rust

14 months ago blog.brownplt.org education plt rust

What Happens When Students Switch (Functional) Languages

16 months ago blog.brownplt.org education

Performance Preconceptions

2 years ago blog.brownplt.org

Gradual Soundness: Lessons from static Python

2 years ago blog.brownplt.org python

Plan Composition Using Higher-Order Functions

2 years ago blog.brownplt.org

Types for Tables: A Language Design Benchmark

2 years ago blog.brownplt.org

Picking Colors for Pyret Error Messages

3 years ago blog.brownplt.org

Teaching and Assessing Property-Based Testing

3 years ago blog.brownplt.org

The Hidden Perils of Automated Assessment

6 years ago blog.brownplt.org

Mystery Languages

6 years ago blog.brownplt.org

Engineering Eval

6 years ago blog.brownplt.org

The phillotactic color-picking algorithm: picking distinct, streaming, uniform colors

6 years ago blog.brownplt.org algorithm

A Third Perspective on Hygiene

7 years ago blog.brownplt.org

Resugaring – adding the syntactic sugar back into your program

8 years ago blog.brownplt.org