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  health  google  apple  show  go  youtube.com  release  web  video  techcrunch.com  trump  nature.com  javascript  china  eurekalert.org  linux  theregister.com 

SQL, Homomorphisms and Constraint Satisfaction Problems

13 hours ago philipzucker.com database sql

Don't implement unification by recursion

23 days ago philipzucker.com plt

Acyclic Egraphs and Smart Constructors

2 months ago philipzucker.com compiler

Ordinals aren't much worse than Quaternions

3 months ago philipzucker.com

Knuckledragger, a Semi-Automated Python Proof Assistant

3 months ago philipzucker.com formalmethods python

Justified SMT 1: The Minikanren inside Z3

5 months ago philipzucker.com compsci

Simple proofs with Z3Py

5 months ago philipzucker.com formalmethods

Hashing Modulo Theories

6 months ago philipzucker.com plt

Compiling with Constraints

8 months ago philipzucker.com compiler

Linear Algebra of Types (2019)

7 months ago philipzucker.com

The C bounded model checker: criminally underused

9 months ago philipzucker.com c

Datalite: A Simple Datalog Built Around SQLite in Python

14 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

5 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!

6 years ago philipzucker.com