Search: philipzucker.com | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Acyclic Egraphs and Smart Constructors

philipzucker.com

2 years ago

4 points

32.

Justified SMT 1: The miniKanren inside Z3

philipzucker.com

2 years ago

4 points

33.

Datalite: A Simple Datalog Built Around SQLite

philipzucker.com

4 years ago

4 points

34.

Duckegg: A Datalog / Egraph Implementation Built Around DuckDB

philipzucker.com

4 years ago

4 points

35.

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

philipzucker.com

6 years ago

4 points

36.

Proving some Inductive Facts about Lists using Z3 Python (2019)

philipzucker.com

7 years ago

4 points

37.

Solving the XY Model Using Mixed Integer Optimization in Python

philipzucker.com

7 years ago

3 points

38.

Thinnings: Sublist Witnesses and de Bruijn Index Shift Clumping

philipzucker.com

3 months ago

3 points

39.

Calling Lean Functions as Python Functions

philipzucker.com

5 months ago

3 points

40.

Compositional Datalog on SQL: Relational Algebra of the Environment

philipzucker.com

10 months ago

3 points

41.

Verified Assembly 2: Memory, RISC-V, Cuts for Invariants, and Ghost Code

philipzucker.com

a year ago

3 points

42.

A Small Prolog on the Z3 AST

philipzucker.com

a year ago

3 points

43.

Superposition as a Super Datalog

philipzucker.com

2 years ago

3 points

44.

Using the C Bounded Model Checker as a TLA+

philipzucker.com

2 years ago

3 points

45.

Co-Egraphs: Streams, Unification, Pegs, Rational Lambdas

philipzucker.com

2 years ago

3 points

46.

Finite Set Theory in Python

philipzucker.com

2 years ago

3 points

47.

Copy and Micropatch: Writing Binary Patches in C with Clang Preserve_none

philipzucker.com

2 years ago

3 points

48.

Knuckledragger: Experimenting with a Python Proof Assistant

philipzucker.com

2 years ago

3 points

49.

MiniLitelog: Easy Breezy SQLite Datalog

philipzucker.com

3 years ago

3 points

50.

Replicating Rise4Fun Z3 with z3-WASM

philipzucker.com

3 years ago

3 points

51.

Hashlog: A Simple Datalog in OCaml

philipzucker.com

4 years ago

3 points

52.

An Interpreter of the Algebra of Programming in miniKanren

philipzucker.com

5 years ago

3 points

53.

Ray Tracing Algebraic Surfaces

philipzucker.com

5 years ago

3 points

54.

Z3, the Word Problem, and Path Homotopy as Equality

philipzucker.com

5 years ago

3 points

55.

Computational Category Theory in Python I: Dictionaries for FinSet

philipzucker.com

6 years ago

3 points

56.

Annihilating My Friend Will with a Python Fluid Simulation, Like the Cur He Is

philipzucker.com

7 years ago

3 points

57.

A Touch of Topological Quantum Computation in Haskell Pt. I

philipzucker.com

8 years ago

3 points

58.

Calling Lean Functions as Python Functions – Hey There Buddo

philipzucker.com

4 months ago

2 points

59.

A Python CLI for Verifying Assembly

philipzucker.com

10 months ago

2 points

60.

Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1

philipzucker.com

a year ago

2 points