klibertp

66 ms·

691.
by klibertp 5y ago
Well, you can interpret the predicate function body as a set of constraints on the type. Of course, such predicate function would need to be restricted to what your type system can handle. Typed Racket does this, by allowing you to implemen
692.
by klibertp 5y ago
I assumed you're Ukrainian and you're involved in or supporting the protesters of Euromaidan. I ignored your insults because I assumed your emotions run high due to your fellow citizens being killed and your cities being shelled a
693.
by klibertp 5y ago
> And mysteriously your only argument is a talking point about how his removal wasn't democratic It's written on the Wiki page you linked. Don't you think it would be better if it wasn't written there? Don't
694.
by klibertp 5y ago
> So where is the US interference? You were adamant it existed No, I wasn't? You're confusing me with another commenter, possibly? I just said that the protesters enjoyed the rhetorical support of foreign officials, which is
695.
by klibertp 5y ago
What's strange about a state exercising its monopoly on the use of violence? Are the guns in possession of state officers meant for decoration? Would you vote for the police not to have access to lethal weapons? (For the record: I woul
696.
by klibertp 5y ago
> Given that he was removed parliamentary vote [1] [...] But you know, apparently none of that counted as democracy The source you link says this: > The constitutionality of Yanukovych's removal from office has been questioned by
697.
by klibertp 5y ago
Yanukovych won the democratic elections. His Party of Regions was the biggest at the time. He made some unpopular decisions, well within his constitutional rights, and then an armed, violent mob started occupying a part of the capital, a mo
698.
by klibertp 5y ago
Sure, why not? If you name the default branch of your repository "main", I will happily submit PRs against it. I won't be doing that in my repos any time soon though, thank you very much. Why? Because that would suggest t
699.
by klibertp 5y ago
That emotional charge is pretty specific to a single culture, while English is used by a large part of the world as second language. It's ok to try to right the wrongs you are guilty of, but please stop trying to project that guilt t
700.
by klibertp 5y ago
> There really isn't a legitimate counter-argument to "can we please work to discontinue using 'master' and 'slave' to describe things in computer science and electronics" so people just run to "TH
701.
by klibertp 5y ago
That "sibling" thing is quite interesting actually. In Polish, we have "brat" and "siostra" for brother and sister, and we have "rodzeństwo" for siblings (plural), but there is no singular form in the
702.
by klibertp 5y ago
> since I know what a joke is. https://en.wikipedia.org/wiki/Poe%27s_law Not judging one way or the other, just saying that it's incredibly risky to make jokes like this, especially in the current climate, wher
703.
by klibertp 5y ago
> and the reason I blog is the comments. [...] I have no idea why you would blog at all without them aside from ego. I would have not written any blog post in a decade if that (EDIT: comments instead of ego) was my motivation. My blog fe
704.
by klibertp 5y ago
> Dependent types seem like they would have to be explicitly static Right, because they lift values into type system, those values need to be well-typed themselves. You wouldn't be able to represent gradually typed dynamic/Any
705.
by klibertp 5y ago
I meant "practically expressed in their static type systems", ie. in gradual type systems for those languages as currently implemented. Poor wording on my part, my bad :) On dependent typing and gradual type systems - I'm n
706.
by klibertp 5y ago
I was asked a version of this question by a colleague at work, namely: "if types are so great, why didn't Python/Ruby/JS include them from the start (ie. early '90s)?" That's because the theory of gradual
707.
by klibertp 5y ago
> The Russian government is objectively worse by any honest metric. Any metric you and I would like to use, yes. The govt of Saudi Arabia, which is an ally of ours, murders journalists with a chainsaw on a foreign soil and smuggles the b
708.
by klibertp 5y ago
I suspect the GP thought about something more complex, like "a movie directed by X or Y between year XXXX and YYYY starring Z but not V in the genre ... with tags ... but excluding ones tagged with ..." You can probably do this on
709.
by klibertp 5y ago
As I said, you need to encode object identity (here - as a string to look up in the global namespace) and handle requests for doing things with that object (encoded as a method name + a list of strings as arguments) on the JS side. Strings
710.
by klibertp 5y ago
I think you actually can't pass any non-trivial object to WASM. The only thing you can pass to and get out of WASM (IIRC) is a chunk of linear memory, a buffer. I don't think it's possible to obtain a raw pointer to an object
711.
by klibertp 5y ago
Memory can also be statically reserved in a binary, like the .data section in x86 asm. IIRC (tell me if I'm very wrong) Emscripten malloc works by reserving a large buffer up front and then managing pointers to (parts of) it. Otherwise
712.
by klibertp 5y ago
> If your country is attacked and the KKK volunteer to fight, will you stop them from doing so? Yes. The narrative weights more than actually winning in combat. Allowing Right Sector and Azov Battalion to work with the Army for the past
713.
by klibertp 5y ago
In Firefox, on Linux at least, when you press Alt you get a bar with all the standard File/Edit/View/History/Bookmarks/Tools/Help menus. In each menu and then in each item there's one letter underlined and
714.
by klibertp 5y ago
I see. It makes sense, and it's a valid concern that I didn't think of. Personally, I prefer the convenience of continuing where I left off with as little friction as possible, so I don't even lock the session when the screen
715.
by klibertp 5y ago
I think it's not unusual to have base-x number literals (even Python got `0b01101` literals at some point), but not many languages support pattern matching on bitstrings. In Erlang, it looks like this: 1> A = 2#001001001010100
716.
by klibertp 5y ago
> Arguably, you have been 'taught' or you have inferred yourself that you should expect a sleeping system to immediately accept your keypresses as a password, which although reasonable is not necessarily a good practice . I fa
717.
by klibertp 5y ago
In my experience the best for "bit-fiddling" is Erlang (and, by extension, Elixir) which offers bit-string literals[1], along with pattern matching on them. It's trivial to implement any binary protocol or parse any binary fi
718.
by klibertp 5y ago
Obviously. But we're talking about modifying the existing text, not rewriting it. How often do you have a chance to redo a whole project with completely different implementation and/or completely changed requirements? In my experi
719.
by klibertp 5y ago
I believe you're wrong - writers can, and do, steal styles and ideas from each other all the time. Not to mention, the editors are basically doing this: > can modify it, along with the prose, and maintain the quality of the literate
720.
by klibertp 5y ago
For point 3. - it's exactly the same with code that's not literate. Writing code is ultimately about expressing ideas using a language, which is really much closer to writing a novel than to drawing a plan for a bridge. As such, i

More ›