lapinot

49 ms·

481.
by lapinot 8y ago
Note that axioms are usually added, removing is weird. As such i see it mostly the other way around: there is a classical fragment inside constructive logic (this should not contradict what you said tho). In constructive logic, for a propos
482.
by lapinot 8y ago
Common logic mistake, you inverted my arrows. I didn't say haskell is mathematical (and i do agree to your point), i said category theorists probably know haskell of all languages because of the deeper understanding/intuition they
483.
by lapinot 8y ago
Set theory basically is the same thing as type theory, these are two schools of formal languages designed to define logics (something which is even more true for this book that seems introductory). I don't really like set theory (imho
484.
by lapinot 8y ago
This. I would also add that a substantial part of the type theory crowd are category theorist (or have developed acquaintance as category theorists are taking over type theory), which also do qualify as mathematicians (even tho they probabl
485.
by lapinot 8y ago
Extra weirdness with this turing-complete combinatory logic with only a single combinator [1,2]. Combinatory logic being like lambda-calculus but where are only allowed to use some predefined functions and function application (you can&#x27
486.
by lapinot 8y ago
I'm not saying this does not exist, i'm pretty aware that this is a real problem. I'm just saying that this remark--even if true and on point--doesn't constitute a valid argument against public hospitals since (1) this p
487.
by lapinot 8y ago
This is plain stupid. A for-profit hospital will benefit from abusing any patient while a political abuse only targets a small portion of opponents. And political abuse is an issue of the counter-powers in your political system, not of th
488.
by lapinot 8y ago
We regularly confuse irrevocability of licenses and actual availability. The former is something we here probably agree cannot not make sense (once the beans are spilled there's no going back, you can't withdraw intellectual prope
489.
by lapinot 8y ago
Akwardly, i agree on the facts but the sentence doesn't feel right. Would you agree with this rephrasing: asm is simple in terms of number of abstract concepts needed to define its syntax and semantics (and as far as i know this is g
490.
by lapinot 8y ago
Completely agreeing on the dangers of CCTV. They even say in the article that the efficiency of the system is quite disputed: most crime footage will rot in a database. In general i would always be wary of an approach to security which trie
491.
by lapinot 8y ago
This is only partially true: because you cannot wear your glasses and you may need to put your hair in a specific way to clear your face, you definitely can obtain a picture that doesn't look like your casual look (even if the natural
492.
by lapinot 8y ago
Even if your reasoning is strictly speaking right, the issue is very different in peertube and in youtube (or at least could be, i don't think they have a good recommendation system yet): peertube is a federation and not a monopole. Di
493.
by lapinot 8y ago
Didn't mean to bash the lang design team at all, actually i was kinda hoping for you folks to reply interesting and tricky stuff about how things are not so simple. This is probably only because you didn't develop the answer fully
494.
by lapinot 8y ago
Thanks, that's interesting, i should dive a bit more into how async is implemented. On "which closure kind to choose" i feel like that's not the worst part (closure syntax already infers which trait to implement), but th
495.
by lapinot 8y ago
Yeah, sure, i understand that, hn comments just need to be a bit spicy (btw, any ref of papers or other stuff in that area? i didn't follow closely but didn't see too much moving, actually i don't even know what the big quest
496.
by lapinot 8y ago
And yet we somehow don't acknowledge the fact that this is just do-notation for some specific monad--yeah, that powerful abstraction that can't be expressed in Rust because we don't allow higher-order polymorphism. Don't
497.
by lapinot 8y ago
I'm surprised no one mentioned that you can actually achieve somewhat the same thing and still be mostly unnoticed for human eyes by attaching some infrared LEDs on a scarf, cap or goggles.
498.
by lapinot 8y ago
Yet not everybody uses mac os so i guess there is nothing wrong with writing a portable gpl clone of a proprietary mac os program.
499.
by lapinot 8y ago
I think you're right about engagement, yet imho this is in the same direction as the essay. > Then don't isolate yourself and others into a special group of the anointed. Thinking that the essay leads to isolation is a dangerou
500.
by lapinot 8y ago
Hop, that's one thing less to do tomorrow! ... of course it was just a matter of time before it happened, github have stood on the other side of the mirror for a long time now, they just happend to have kept that not-for-profit/ga
501.
by lapinot 8y ago
Agreed. And let's not forget about google's current core business, which always reminds me of this clockwork orange cinema scene: reprograming your brain by forcefully feeding it images, thoughts and other stimuli advertising whoe
502.
by lapinot 8y ago
I bet that almost everyone has already copied a friend's drive full of (pirated, old, crappy divx) movies. And doesn't check the copyright for music/pictures they include in material they produce and share (blog, social media
503.
by lapinot 9y ago
Note that blockchain and economy (or more precisely finance ) are two very different things. Do not mix up blockchains and cryptocurrencies. The first is a distributed system creating a centralized log, the second is a class of (very class