Search: philipzucker.com | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

Semi-Automated Assembly Verification in Python Using Pypcode Semantics

philipzucker.com

a year ago

2 points

62.

A Python frozenset interpretation of dependent type theory

philipzucker.com

a year ago

2 points

63.

"Verified" "Compilation" of "Python" with Knuckledragger, GCC, and Ghidra

philipzucker.com

a year ago

2 points

64.

Higher Order Pattern Unification on the Z3py AST

philipzucker.com

2 years ago

2 points

65.

String Knuth Bendix

philipzucker.com

2 years ago

2 points

66.

EGraphs as Ground Completion Talk and Egraphs 2024 Notes

philipzucker.com

2 years ago

2 points

67.

PCode2C: Steps Towards Translation Validation with Ghidra and CBMC

philipzucker.com

2 years ago

2 points

68.

The Almighty Dwarf: A Trojan Horse for PL Research

philipzucker.com

4 years ago

2 points

69.

Embedding E-Graph Rewriting in Constraint Handling Rules

philipzucker.com

4 years ago

2 points

70.

Constrained Horn Clauses for Bap (2022)

philipzucker.com

4 years ago

2 points

71.

Proving a Theorem with Rust and Egraphs

philipzucker.com

5 years ago

2 points

72.

Proving a Category Theory Theorem with Rust and Egraphs

philipzucker.com

5 years ago

2 points

73.

Egglog: A Prolog Syntax for the Egg Egraph Library (2021)

philipzucker.com

5 years ago

2 points

74.

2D Optics Demos in JavaScript

philipzucker.com

5 years ago

2 points

75.

A Simple, Probably-Not-Exp-Time Disjoint Set in Coq

philipzucker.com

5 years ago

2 points

76.

Rewriting Monoidal Categories in the Browser with Egg

philipzucker.com

5 years ago

2 points

77.

Automated Propositional Sequent Proofs in the Browser with Tau Prolog

philipzucker.com

5 years ago

2 points

78.

Sketchy Exact Reals from Interval Arithmetic (2021)

philipzucker.com

5 years ago

2 points

79.

Computational Category Theory in Python II: Numpy for FinVect (2020)

philipzucker.com

6 years ago

2 points

80.

Computational Category Theory in Python I: Dictionaries for FinSet (2020)

philipzucker.com

6 years ago

2 points

81.

Annihilating My Friend with a Python Fluid Simulation

philipzucker.com

6 years ago

2 points

82.

Categorical Combinators for GraphViz in Python (2020)

philipzucker.com

6 years ago

2 points

83.

Stupid Z3Py Tricks: Verifying Sorting Networks

philipzucker.com

6 years ago

2 points

84.

Linear Relation Algebra of Circuits with HMatrix (2019)

philipzucker.com

7 years ago

2 points

85.

Linear Algebra of Types (2019)

philipzucker.com

7 years ago

2 points

86.

Relations and the Algebra of Programming (2019)

philipzucker.com

7 years ago

2 points

87.

A Touch of Topological Quantum Computation 3: Categorical Interlude

philipzucker.com

7 years ago

2 points

88.

Alpha Equivalent Hash Consing with Thinnings

philipzucker.com

3 months ago

1 points

89.

SMTLIB as a Compiler IR I

philipzucker.com

4 months ago

1 points

90.

SMTMSMT: Gluing Together CVC5 and Z3 Nelson Oppen Style

philipzucker.com

6 months ago

1 points