burakemir

13 ms·

121.
by burakemir 7y ago
TL;DR Swiss firm Crypto AG sold tech to governments for decades, but turns out to be owned and operated by CIA and BND who benefited from backdoors. From their POV, a wildly successful operation, beyond imagination. > At times, including
122.
by burakemir 7y ago
This looks quite interesting, thanks for sharing. I found the other recent thread on technical writing useful, too: Four kinds of documentation https://news.ycombinator.com/item?id=21289832
123.
by burakemir 7y ago
Sabine Hossenfelder discusses science and scientific method. She points out that falsifiability is an inadequate criterion, Occam's razor and that climate change deniers are quite unmoved by evidence since they are unable to tell what
124.
Philosophers should talk more about climate change. Yes, philosophers(backreaction.blogspot.com)
4 points by burakemir 7y ago|1 comments
125.
by burakemir 7y ago
The post is a speculation whether a January 1957 paper, "Programming the Logic Theory Machine", by Newell and Shaw might be the first published use (or "definition") of the term "programming language". It is al
126.
Dfinity Canister SDK and Motoko(sdk.dfinity.org)
1 points by burakemir 7y ago|0 comments
127.
by burakemir 7y ago
Thanks for this comment and the anthology. Indeed the whole question is a bit odd and one ought not to glorify calculi but study them. Lambda calculus originated from research in formal logic, which is about manipulating symbols according t
128.
by burakemir 8y ago
Nice post. Still, I find the most accessible article describing datalog is "What you Always Wanted to Know About Datalog (And Never Dared to Ask)." by Ceri, Gottlob, Tanca (1989)
129.
by burakemir 8y ago
I also found Awodey's category theory more helpful than Milewski's ramblings (though I appreciate his effort). Maybe it's because I find "applications in theory" worth learning. If I may try to point out what's
130.
by burakemir 8y ago
You have to ask yourself whether, in the process of building that complex UI, you haven't invented another framework. After the first few web apps, one necessarily sees the repetitive elements and wants to capture that in libraries and
131.
by burakemir 8y ago
The author is developing a theory of expressions (generalizations of list comprehensions) operating on 'ringads', which are monads with a few additional operations and laws. The academic style probably blurs the fact that this has