Search: philipzucker.com | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

The C bounded model checker: criminally underused

philipzucker.com

2 years ago

209 points

2.

SQL, Homomorphisms and Constraint Satisfaction Problems

philipzucker.com

2 years ago

153 points

3.

Compiling with Constraints

philipzucker.com

2 years ago

126 points

4.

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

philipzucker.com

6 years ago

119 points

5.

Linear Algebra of Types (2019)

philipzucker.com

2 years ago

115 points

6.

Translating My Z3 Tutorial to Coq

philipzucker.com

5 years ago

108 points

7.

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

philipzucker.com

7 years ago

101 points

8.

Don't implement unification by recursion

philipzucker.com

2 years ago

83 points

9.

Symbolic Execution by Overloading __bool__

philipzucker.com

a year ago

81 points

10.

Knuckledragger, a Semi-Automated Python Proof Assistant

philipzucker.com

2 years ago

71 points

11.

Ordinals aren't much worse than Quaternions

philipzucker.com

2 years ago

62 points

12.

Making a “MiniKanren” using Z3Py

philipzucker.com

5 years ago

62 points

13.

Guide to the TD4 4-bit DIY CPU

philipzucker.com

3 days ago

61 points

14.

Where are all the rewrite rules?

philipzucker.com

a year ago

59 points

15.

Hashing Modulo Theories

philipzucker.com

2 years ago

59 points

16.

Compositional Datalog on SQL: Relational Algebra of the Environment

philipzucker.com

10 months ago

47 points

17.

SAT Solver Etudes I

philipzucker.com

a year ago

45 points

18.

Modeling TLA+ in Z3Py

philipzucker.com

6 years ago

34 points

19.

Automated Propositional Sequent Proofs in the Browser with Tau Prolog

philipzucker.com

5 years ago

33 points

20.

A Simplified E-graph Implementation

philipzucker.com

5 years ago

31 points

21.

Verifying Nand2Tetris Assembly with Constrained Horn Clauses (2021)

philipzucker.com

5 years ago

22 points

22.

Thinnings: Sublist Witnesses and de Bruijn Index Shift Clumping

philipzucker.com

3 months ago

20 points

23.

Telescopes Are Tries: A Dependent Type Shellac on SQLite

philipzucker.com

a year ago

16 points

24.

Refinement Modeling and Verification of RISC-V Assembly Using Knuckledragger

philipzucker.com

3 months ago

11 points

25.

Comparing Two Verilog CPU Implementations Using EBMC

philipzucker.com

a year ago

10 points

26.

Automated Category Theory Reasoning with Metatheory.jl and Egraphs

philipzucker.com

5 years ago

7 points

27.

Lifting E-Graphs

philipzucker.com

8 days ago

6 points

28.

A Python Frozenset Interpretation of Dependent Type Theory

philipzucker.com

a year ago

5 points

29.

Comparing Two Verilog CPU Implementations Using EBMC

philipzucker.com

a year ago

5 points

30.

Flappy Bird as a Mixed Integer Program (2019)

philipzucker.com

7 years ago

5 points