Search: philipzucker.com | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

91.

SAT Etudes 2: Toy DPLL

philipzucker.com

7 months ago

1 points

92.

A Slotted Hash Cons for Alpha Invariance

philipzucker.com

9 months ago

1 points

93.

A Python CLI for Verifying Assembly

philipzucker.com

10 months ago

1 points

94.

Inequality Union Finds: Baby Steps to Refinement E-Graphs

philipzucker.com

a year ago

1 points

95.

Brute E-Graphs Modulo Theories 2: Extraction, Proofs, and Context

philipzucker.com

a year ago

1 points

96.

Tensors and Graphs: Canonization by Search

philipzucker.com

2 years ago

1 points

97.

Simple Proofs with Z3Py (2019)

philipzucker.com

2 years ago

1 points

98.

Reverse Mode Differentiation Is Kind of Like a Lens

philipzucker.com

2 years ago

1 points

99.

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

philipzucker.com

2 years ago

1 points

100.

Knuckledragger – A Python Experiment on Proof Assistance

philipzucker.com

2 years ago

1 points

101.

Egglog Examples: Pullbacks, Ski, Lists, and Arithmetic (2021)

philipzucker.com

5 years ago

1 points

102.

Getting Started with Z3: A Guide

philipzucker.com

5 years ago

1 points

103.

Progress on Automated Reasoning for Catlab with Metatheory.jl Egraphs

philipzucker.com

5 years ago

1 points

104.

CEGARing Exponentials into Z3 with Intervals and Python Coroutines

philipzucker.com

5 years ago

1 points

105.

Weakest Precondition with Z3Py

philipzucker.com

5 years ago

1 points

106.

Dataframes.jl Style Linear Relations

philipzucker.com

6 years ago

1 points

107.

Executing Categories

philipzucker.com

6 years ago

1 points

108.

Categorical Combinators for Convex Optimization (2020)

philipzucker.com

6 years ago

1 points

109.

Verifying a Keras Neural Network with Z3 (2019)

philipzucker.com

6 years ago

1 points

110.

Verifying Sorting Networks Off of Wikipedia (2019)

philipzucker.com

6 years ago

1 points

111.

Categorical LQR Control with Linear Relations (2019)

philipzucker.com

7 years ago

1 points

112.

Gröbner Bases and Optics (2019)

philipzucker.com

7 years ago

1 points

113.

Functors, Vectors, and Quantum Circuits (2019)

philipzucker.com

7 years ago

1 points

114.

Relational Algebra with Fancy Types (2019)

philipzucker.com

7 years ago

1 points

115.

Lens as a Divisibility Relation: Goofin’ Off with the Algebra of Types

philipzucker.com

7 years ago

1 points

116.

A Touch of Topological Quantum Computation in Haskell Pt. II

philipzucker.com

7 years ago

1 points

117.

Using Z3 to solve a simple logic puzzle

philipzucker.com

9 years ago

1 points