nikofeyn

53 ms·

181.
by nikofeyn 7y ago
at least with what i have seen of program synthesis, you end up having to write such a specific specification that you are basically defining the implementation (i.e., programming). dependently typed languages also seem woefully unprepared
182.
by nikofeyn 7y ago
f# has diverged away from ocaml enough that the small fact that a tiny subset of it is compatible with ocaml is just a trivia fact.
183.
by nikofeyn 7y ago
and it's not just china. many other asian countries, such as vietnam, consume illegal animal parts for traditional medicine and enable the trade of such things in china. couple all of that with socioeconomic struggles in africa that cr
184.
by nikofeyn 7y ago
> Hopefully countries will start banning facebook outright soon. not gonna happen in the u.s. the u.s. government has 99% removed themselves from anti-trust deliberations. i suspect the government is deeply benefiting from facebook'
185.
by nikofeyn 7y ago
if anyone is familiar with the chinese electric car scene, then one will know that tesla, america's darling, is not as ahead as people give them credit before. if any of the chinese car manufacturers come to the u.s. and are able to br
186.
by nikofeyn 7y ago
is that example really showing what you mean to show? i have seen it many times before. just note how insanely long it took to make that call. there's somewhere between five and seven steps before the whistle was blown. > That doesn
187.
by nikofeyn 7y ago
another explanation on why he gets away with stuff is just that he's kobe (skilled and a top marketed player). i know lebron isn't reading the handbooks, and he can walk from half-court on a break away fast break without getting a
188.
by nikofeyn 7y ago
sorry, i just like the word modicum. haha. didn't mean for it to sound so agressive.
189.
by nikofeyn 7y ago
my original comment was on the likelihood of this originating in a market versus a lab-based outbreak. of course most chinese do not eat bat. i didn't imply they did. the comment you replied to was me dismissing the commenter's ar
190.
by nikofeyn 7y ago
the mortality rate is heavily skewed towards the elderly and/or already sick. from what i have read, it doesn't kill healthy young or middle aged adults.
191.
by nikofeyn 7y ago
if you have even a modicum of knowledge of china, you will understand why certain cities were shutdown. saturday is new year's day in china, and thus, thursday and friday are the two busiest travel days of the year. it's like than
192.
by nikofeyn 7y ago
> This has nothing to do with ADHD. it literally does have to do with it because it was part of the results of being tested for adhd. i had mentioned the iq thing because i meant to elaborate. it was explained to me that the testing is d
193.
by nikofeyn 7y ago
the rural hicks you mentioned are an extremely small minority in the u.s., found in the backwoods of louisiana and kentucky and the like. the majority of people find this practice uncouth. the one food style i mentioned is overwhelmingly th
194.
by nikofeyn 7y ago
the symptoms of anxiety and adhd can be very similar.
195.
by nikofeyn 7y ago
i am not for sure that's more likely than the situation of people eating infected bats or other animals infected by bats. the chinese do not have great hygiene when it comes to food sourcing, preparation, and consumption. the chinese h
196.
by nikofeyn 7y ago
yes, it mentions it clearly.
197.
by nikofeyn 7y ago
> The data may lead to the betterment of human lives, so you weigh the potential human benefit against the lives of the mice. > Most animal researchers believe it would be unethical to not conduct the testing. but this is what's
198.
by nikofeyn 7y ago
this is an incredibly disheartening comment.
199.
by nikofeyn 7y ago
if you use google search as your default search, then there is no way i know of to disable amp, no matter which browser you use, even if you request the browser to handle opening the link. google search passes the amp link to the browser.
200.
by nikofeyn 7y ago
that's a rather simplistic and faulty argument. there are plenty of things wrong with "lure and then abuse" scenarios, and it isn't really an argument at all to say "but look at all the good the lure phase did"
201.
by nikofeyn 7y ago
google amp is a plague on the internet and should have been shutdown by regulators. it is definitely anti-competitive. i am sick and tired of our government completely slaving to the big tech companies when it comes to regulations and anti-
202.
by nikofeyn 7y ago
i don't think it's accurate to say lambda calculus underlies lisp, is it? certainly lambda calculus was used to define functions in lisp, as seen in the original lisp paper (or the most famous one). http://jmc.stanford.
203.
by nikofeyn 7y ago
with pair programming, you have two people supposedly in the same head space, if it's working as sold, writing code. the benefit of tests and code reviews is that they come from a different head space than what the code was written in.
204.
by nikofeyn 7y ago
> Do you think pair programmers are literally bashing the keyboard simultaneously? that's how the article and other articles define it: two people sitting at the same machine writing code. what is your definition? my point was indee
205.
by nikofeyn 7y ago
> The easiest time to catch mistakes is early. pair programming and the articles proposing it do nothing to help catch mistakes early. i would argue that they even delay catching mistakes due to what i'd call deconstructive interfer
206.
by nikofeyn 7y ago
those aren't analogous, like at all. or actually, they are analogous, just not in the sense you mean, as they don't serve as examples of "pair <whatever work>". for both pilots and surgeons, no one is doing the sa
207.
by nikofeyn 7y ago
the thought of pair programming nearly gives me an anxiety attack. the second it’s mentioned in the interview process, it’s an automatic no from me. what other industry or domain does this? none that i know of. first of all, working in pair
208.
by nikofeyn 7y ago
> If anything, engineers tend to look for flaws, leading arts majors feeling hurt. are you sure you’re not an engineer?
209.
by nikofeyn 7y ago
kind of a bad title given the fact that dairyland is not a word but is the name of a major insurance company. “dairy land” would have been better.
210.
by nikofeyn 7y ago
there is also adam curtis’ documentary all watched over by machines of living grace . https://vimeo.com/groups/96331/videos/80799353 https://vimeo.com/groups/96331/videos/80799

More ›