philzook

16 ms·

121.
by philzook 5y ago
Very cool! I found a TLA+ implementation of the problems https://github.com/cobusve/TLAPLUS_DeadlockEmpire that I've been meaning to look at more carefully for a while.
122.
by philzook 5y ago
I found the problem I think. I've had a typo in my global site url config for a year probably. Yikes. Thanks! Nand2tetris is great stuff! I'm having a ball revisiting it and trying to apply recent stuff I've learned.
123.
by philzook 5y ago
Wow, thanks for finding that. I'll look into it. I've never had this problem before.
124.
Verifying Nand2Tetris Assembly with Constrained Horn Clauses (2021)(philipzucker.com)
22 points by philzook 5y ago|4 comments
125.
by philzook 5y ago
Fiddling with building a theorem prover https://www.philipzucker.com/egglog/ Building a robot that places marbles into a picture https://www.philipzucker.com/marble-machine-progress/
126.
by philzook 5y ago
Congratulations Manfred!
127.
by philzook 5y ago
There is an actively developed python to ocaml interop library for purposes quite similar to yours. I have seen demos where ocaml and python are used within the same jupyter notebook https://signalsandthreads.com/python-ocam
128.
by philzook 5y ago
I've had some fun with BiwaScheme (a javascript scheme) https://www.biwascheme.org/ which is pretty painless to use for some purposes. I embedded minikanren in my blog using it for example https://www.philip
129.
Egglog Examples: Pullbacks, Ski, Lists, and Arithmetic (2021)(philipzucker.com)
1 points by philzook 5y ago|0 comments
130.
Proving a Category Theory Theorem with Rust and Egraphs(philipzucker.com)
2 points by philzook 5y ago|0 comments
131.
by philzook 5y ago
I love it! Great job!
132.
Egglog: A Prolog Syntax for the Egg Egraph Library (2021)(philipzucker.com)
2 points by philzook 5y ago|0 comments
133.
An Interpreter of the Algebra of Programming in miniKanren(philipzucker.com)
3 points by philzook 5y ago|0 comments
134.
by philzook 5y ago
Hybrid physicist and weirdo programming language aficionado: a man after my own heart! Great summary! Keep up the good blogging!
135.
by philzook 5y ago
Interesting work in that direction https://www.youtube.com/playlist?list=PL-uEDsw-7yRLYMEdlvh4u... Rust verification Workshop 2021
136.
by philzook 5y ago
A good question. For reference, here is a link to an interactive version of evalo being explained http://io.livecode.ch/learn/gregr/icfp2017-artifact-auas7pp Very intriguing stuff. I have not studied evalo in dept
137.
by philzook 5y ago
Wow! I really appreciate this! I'll try to think of this during my frequent existential crises wondering what the hell I'm doing with my life.
138.
Making a “MiniKanren” using Z3Py(philipzucker.com)
62 points by philzook 5y ago|5 comments
139.
by philzook 5y ago
It seems like great work. Something I don't understand is that I hear people mentioning a lack of multicore support as blocker to using a programming language. I don't think this is something I have ever felt. What problem domains
140.
by philzook 5y ago
Neat! Author here. Pleasantly surprised to see this made it on here. You can find the corresponding video tutorial here https://www.youtube.com/watch?v=56IIrBZy9Rc&t=13s&ab_channel... and github repo here https:&#x
141.
by philzook 5y ago
https://www.celebritynetworth.com/richest-businessmen/linus-... . Linus is doing fine.
142.
by philzook 5y ago
America invented many things, but we did not invent nationalism. It is natural to feel good things about a place where all your loved ones live and has a language and culture that is familiar to you. You really think it makes no sense to E
143.
A Simple, Probably-Not-Exp-Time Disjoint Set in Coq(philipzucker.com)
2 points by philzook 6y ago|0 comments
144.
by philzook 6y ago
If I could predict the ones that will get traction on HN, I'd make sure to give them good intros. Oh well.
145.
by philzook 6y ago
Yea, sorry. I appreciate the feedback. Exactly what Jtsummers said, this is not really a standalone post. I did a bit better motivating the egraph in the first post.
146.
A Simplified E-graph Implementation(philipzucker.com)
31 points by philzook 6y ago|7 comments
147.
by philzook 6y ago
Sedgewick's?
148.
by philzook 6y ago
Glad to see this getting play on here. Egg presents a very compelling algorithm and library for equational reasoning over syntax trees that I've been pretty fascinated with over the past couple months. These e-graph data structures are
149.
Formal Methods for the Informal Engineer 2021(fmie2021.github.io)
2 points by philzook 6y ago|0 comments
150.
Rewriting Monoidal Categories in the Browser with Egg(philipzucker.com)
2 points by philzook 6y ago|0 comments

More ›