Home 24h Top Newest Best Ask Show Jobs

Back to Profile

Submissions by philzook

TechEcho

A tech news platform built with Next.js, providing global tech news and discussions.

Home

Home Newest Best Ask Show Jobs

Resources

HackerNews API Original HackerNews Next.js

© 2025 TechEcho. All rights reserved.

1

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

2 pointsby philzookabout 1 month ago

2

A Small Prolog on the Z3 AST

3 pointsby philzookabout 2 months ago

3

Symbolic Execution by Overloading bool

81 pointsby philzook5 months ago

4

Higher Order Pattern Unification on the Z3py AST

2 pointsby philzook6 months ago

5

Tensors and Graphs: Canonization by Search

1 pointsby philzook7 months ago

6

Acyclic Egraphs and Smart Constructors

4 pointsby philzook8 months ago

7

String Knuth Bendix

2 pointsby philzook8 months ago

← Previous