vilterp

7 ms·

1.
by vilterp 23d ago
> [Datalog] is a subset of Prolog that lacks recursion Datalog does allow for recursion — a common example is graph reachability: reachable(a, b) :- edge(a, b). reachable(a, c) :- edge(a, b), reachable(b, c). (Evan mentioned implementing
2.
by vilterp 9mo ago
Very neat. Would love to see events for each instrument laid out along a timeline!
3.
by vilterp 6y ago
Hi, author here. Thank you so much for this unfudging! I knew I was fudging things up a bit, and I didn't really understand the relationships between Prolog, Datalog, Horn clauses, and first-order logic. This clears things up a lot, th
4.
by vilterp 6y ago
Oh hey Sam! Been a while! Thanks for reading man :)
5.
by vilterp 10y ago
Really sad to hear this; you guys were doing really cool work.
6.
by vilterp 11y ago
Maybe the answer is for elm-html to put a cursor-state attribute on textual input elements, and have event handlers for selection change? Then you can have the cursor state in your atom if you need it without ports....
7.
by vilterp 11y ago
`elm-make --report=json MyFile.elm` gives the error messages as JSON; very easy to parse out line & col. It's how the vim plugin that there's a video of in the post was made.
8.
by vilterp 12y ago
Yeah, I actually agree. Him just open sourcing the Stop Drawing Dead Fish tool for instance would move things forward a lot -- just to see how the internal data structures & algos work.
9.
by vilterp 12y ago
Both the Light Table team ( http://www.lighttable.com/2014/06/10/light-table-and-apples-... ) and the Apple Swift lead (Playgrounds feature: http://nondot.org/sabre/ ) have explicictly cite
10.
by vilterp 15y ago
Hopefully we can hope to see some of this good design thinking in Android, since the design lead of webOS, Matias Duarte, is now design lead at Android ( http://en.wikipedia.org/wiki/Matias_Duarte )