type_enthusiast

13 ms·

91.
by type_enthusiast 7y ago
The logo was hastily designed by an amateur (me). I figured most people would figure it out, pedantic people would complain, and we'd all have a good time :) We've had some better options contributed in the past couple of weeks, b
92.
by type_enthusiast 7y ago
We didn't make graal a dependency, but we are absolutely planning to support graal languages in a plug-in. It's early days, though.
93.
by type_enthusiast 7y ago
It's not a successor; nteract is a separate project (part of the jupyter ecosystem) and is alive and well. Polynote was started mainly to support use cases of our Scala-based ML engineering teams. It's a little bit apples and ora
94.
by type_enthusiast 7y ago
Currently just Scala and Python (via jep). Looking to add more (probably starting with Java and clojure) but haven't had time yet. There's just two of us working on it so far. PRs welcome!
95.
by type_enthusiast 7y ago
Why resist? That would be awesome! The server use case is real, though. Users typically like to run it on a beefy cloud machine with access to a Spark cluster.
96.
by type_enthusiast 7y ago
The SQL support is done through Spark, so it's not particularly novel – Zeppelin for example supports SQL similarly. We've talked about adding a more general SQL interpreter, though. Happy to hear any suggestions about it!
97.
Netflix open-sources Polynote, an IDE-inspired polyglot notebook(medium.com)
427 points by type_enthusiast 7y ago|85 comments
98.
by type_enthusiast 8y ago
I think so. It's about factoring the recursion part out of a task, much like "map" is about factoring iteration out, and "fold" is about factoring out iteration+accumulation. I think scheme has both of these things;
99.
by type_enthusiast 8y ago
Agreed, these things could definitely do with plain, descriptive names rather than "hylo-mylo-bananafofylo-morphism". Like cata -> recursiveFold, ana -> [co]recursiveUnfold, hylo -> recursiveRefold, etc. It's tricky
100.
by type_enthusiast 8y ago
I wouldn't say the culture deck isn't followed. Just that it doesn't say what people in this thread seem to think it says. Have you looked at it? I wouldn't call it "scary". There's one section that's
101.
by type_enthusiast 8y ago
Both the manager and the friend-of-friend could be correct – it depends on the team. Some teams encourage (but don't require) a group feedback session where everything is out in the open; others encourage private feedback. But either w
102.
by type_enthusiast 8y ago
> So every employee gets to be badmouthed in front of as many as hundreds of former co-workers, as Netflix's special parting gift? This isn't what happens, as far as I've seen. These e-mails/meetings don't badmou
103.
by type_enthusiast 8y ago
FWIW, "culture of fear" hasn't been my experience at all, and as far as I know it isn't the experience of the people I work with. I can't speak for other teams/orgs (I work in the ML org) but in the years I&#x2
104.
by type_enthusiast 8y ago
I have to point out Weird Al's "Bob": https://www.youtube.com/watch?v=JUQDzj6R3p4 It's not a palindrome, but is a semi-sensical song masterfully composed entirely out of palindromes (which also does a gr
105.
by type_enthusiast 8y ago
As a shapeless enthusiast I agree with you that the Peano examples (which seem to be the go-to for any dependent types demo; not just for Scala... they must think it's helpful!) is terrible for people who don't already get depende