sordina

9 ms·

31.
by sordina 9y ago
Seems like this would have been super useful when I was creating a Levenshtein transition effect: https://jsfiddle.net/kdqost0z/2/ Not that efficiency really matters much for my use-case!
32.
Epacts(newadvent.org)
2 points by sordina 9y ago|0 comments
33.
by sordina 10y ago
Check out https://en.wikipedia.org/wiki/Horn_clause You can read this as two statements: "The length of a list is 0, if the list is empty." "Otherwise, if the length of a list Ls is N0, and N is N0 + 1,
34.
by sordina 10y ago
I think that this response is confused. What is your point? That people can't differentiate random notes from a duet? That people would believe that anything associated with tensorflow was imbued with sophisticated behavior? How does t
35.
by sordina 10y ago
https://github.com/sol/doctest#readme - Very popular.
36.
by sordina 10y ago
I agree, you may wish to do that but I was answering the question "What is the utility of typed-templates", not "contrast type and runtime error tradeoffs".
37.
by sordina 10y ago
There may be a bunch of other reasons, but the one that springs to mind is localisation of errors. You'd ideally like to know about any mistakes you've made in your macro before you run your macro. And when you do learn about a mi
38.
by sordina 10y ago
Why do you think Haskellers would be offended by this?
39.
LipNet: Sentence-level Lipreading(openreview.net)
2 points by sordina 10y ago|0 comments
40.
by sordina 10y ago
I got stumped on this when trying to generate the finite fields for RSA in order to solve 1.7 and then getting discouraged. I'm not sure how deep to go on coding up solutions for these, as a lot of libraries will do most of the work fo
41.
by sordina 10y ago
Completely agree. This stance clearly makes sense from any individual's perspective.
42.
by sordina 10y ago
The point is valid, but this obviously puts organisations trying to recruit their first female employees in a bit of a pickle. For the benefit of the common good (getting more small businesses and startups to hire more women) it might be be
43.
by sordina 10y ago
Yes. You can defer type errors. I turn this on in development.
44.
by sordina 10y ago
Anchoring, and door-in-the-face?
45.
by sordina 11y ago
Check out the work on Morte for a more reasoned approach for how to take micro-modularization to it's natural (or insane) conclusion.
46.
by sordina 11y ago
I don't know any general answers, but here are some scenarios: * Your colleague who did not realise that they were being highly underpaid gets a reasonable offer from another company and leaves. They were a lynchpin in the organisation
47.
by sordina 11y ago
Maybe if you're a flooring company hiring flooring installation staff, you would ask for something like that.
48.
by sordina 11y ago
Well yeah, of course, but what conclusion are are you drawing from this?
49.
by sordina 11y ago
Agda allows for "mixfix" function names with spaces. It's very interesting.
50.
by sordina 11y ago
I watched this film without any previous exposure to sentiments about it, or Kubrick. I chose to watch it based purely on the title. I still came to the conclusion that it is one of the greatest films ever made. * The photography is singula
51.
by sordina 11y ago
I think this is true, but that the beauty is meant to serve as a farcical contrast to the triviality and lack of meaning in Barry's story. The point was really driven home with the final scene of the story being accompanied by Handel&
52.
by sordina 11y ago
Googling this isn't going to be fun either.
53.
A message to the aliens, part 14/23(blog.plover.com)
2 points by sordina 11y ago|0 comments
54.
by sordina 11y ago
I made a little tool called SQLBong that does something similar by embedding Sqlite3 under the hood: https://github.com/sordina/SQLBong
55.
by sordina 11y ago
According to http://en.wikipedia.org/wiki/Function_object , many languages implement the "Function Object" pattern: * C * C++ * C# * D * Eiffel * Java * JavaScript * Lisp * Scheme * Objec
56.
by sordina 11y ago
Writing Agda is a very interactive experience. The only IDE that provides this interactivity at present is Emacs. If you take a look at some Youtube clips of people editing Agda you'll see why you would want an IDE. Not that this can&#
57.
by sordina 11y ago
I certainly wouldn't blame anyone for not being familiar with the terms. What I would blame people for is attacking Haskell's choice of terminology due to it not 'being like c++'. A generous interpretation of intent goes
58.
by sordina 11y ago
> sometimes completely at odds with the way other languages use them: e.g. C++ also has functors, and they're completely unrelated to Haskell functors. Really, this should be considered as C++ perverting the existing terminology fro
59.
by sordina 11y ago
It's not a pretty-printer. It's fine for printing stuff when you don't care what it looks like most of the time. Pretty printing is a vague term though. There are certainly many ways to pretty-print in Haskell, some of which
60.
by sordina 12y ago
> it seems impossible to have both macros and a type system on par with Haskell You should check out the work being done on typed template Haskell then.

More ›