You are viewing archived messages.
Go here to search the history.

Jason Morris 2023-10-02 21:23:08

[October 2nd, 2023 3:21 PM] jason: Early rough prototype of the Prolog debugging interface I'm designing. Feedback welcome. https://www.figma.com/file/DKmfQz3MaRMZx1yyKqtbsU/Logic-Debug-Prototype?type=design&node-id=0%3A1&mode=design&t=GST1pxMYKJ1DWRPT-1

🕰️ 2023-09-05 17:58:37

...

Nick Arner 2023-10-05 17:59:50

We’re going to start rolling out TestFlight invites soon…you can sign up here!

stitchdesign.app

Jared Forsyth 2023-10-07 04:09:45

I've been doing a bunch of diving into type inference algorithms trying to understand them better so I can write a good one for the language I'm creating, and my latest project is visualizing how the algorithms work, to get a better intuition for them.

Here's a visualization of basic hindley-milner's algorithm-j. You can play with it here type-inference-j.surge.sh

🎥 hm.mp4