Display options

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

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  github.com  rust  theverge.com  web  arstechnica.com  show  video  google  medicine  game  microsoft  go  brain  health  psychology  nature.com  javascript  techcrunch.com  theguardian.com 

Acyclic Egraphs and Smart Constructors

17 days ago philipzucker.com compiler

Ordinals aren't much worse than Quaternions

43 days ago philipzucker.com

Knuckledragger, a Semi-Automated Python Proof Assistant

2 months ago philipzucker.com formalmethods python

Justified SMT 1: The Minikanren inside Z3

3 months ago philipzucker.com compsci

Simple proofs with Z3Py

3 months ago philipzucker.com formalmethods

Hashing Modulo Theories

4 months ago philipzucker.com plt

Compiling with Constraints

6 months ago philipzucker.com compiler

Linear Algebra of Types (2019)

6 months ago philipzucker.com

The C bounded model checker: criminally underused

8 months ago philipzucker.com c

Datalite: A Simple Datalog Built Around SQLite in Python

12 months ago philipzucker.com database python

Verifying Nand2Tetris Assembly with Constrained Horn Clauses (2021)

2 years ago philipzucker.com

Proving a Theorem with Rust and Egraphs

3 years ago philipzucker.com rust

Making a “MiniKanren” using Z3Py (2021)

3 years ago philipzucker.com

2D Optics Demos in Javascript

3 years ago philipzucker.com javascript

A Simplified E-graph Implementation

3 years ago philipzucker.com

Translating My Z3 Tutorial to Coq

3 years ago philipzucker.com tutorial

Automated Propositional Sequent Proofs in the Browser with Tau Prolog

3 years ago philipzucker.com prolog

Modeling TLA+ in Z3Py (2020)

3 years ago philipzucker.com

Computational Category Theory in Python 3: Monoids, Groups, and Preorders

4 years ago philipzucker.com python

Linear Algebra of Types

4 years ago philipzucker.com

Why I think Haskell is the best general purpose language (as of June 22 2019)

5 years ago philipzucker.com haskell

My n00b Thoughts on Faking GADTs in Rust

5 years ago philipzucker.com rust

Deriving the Chebyshev Polynomials using Sum of Squares optimization with Sympy and Cvxpy - Hey There Buddo!

5 years ago philipzucker.com