ayberkt

11 ms·

1.
Carcinisation(en.wikipedia.org)
7 points by ayberkt 4y ago|1 comments
2.
by ayberkt 5y ago
Exactly. Even though I thought the author was bringing up an important point, I couldn't take them seriously due to the repeated finger-pointing and the conspiracy-theorist attitude.
3.
by ayberkt 5y ago
I was living in Sweden at the beginning of the pandemic. I suspected that I had COVID multiple times and tried to get a test. The response I got from the Swedish healthcare system was: “it doesn't matter what you are infected with, jus
4.
Social Distancing Simulator(social-distancing-simulator.andrej.com)
2 points by ayberkt 7y ago|0 comments
5.
ACM signs letter opposing free distribution of peer-reviewed journal articles(newsroom.publishers.org)
2 points by ayberkt 7y ago|3 comments
6.
by ayberkt 10y ago
No, not really. The wikipedia page of Maude has a good explanation of what it is like: https://en.wikipedia.org/wiki/Maude_system . You can also see the Maude book if you're interested [1]. [1]: http://m
7.
by ayberkt 10y ago
FRP is awesome and is an example of how something previously thought of as an inherently imperative problem can be much easily done declaratively; we completely agree on this! What I was talking about is: almost all lower-level abstractions
8.
by ayberkt 10y ago
You seem to have completely misunderstood my point. > Well, you don't get to decide what people find natural, they do. I am not contending that functional/declarative is a more natural way to think; I am saying that there is no
9.
by ayberkt 10y ago
I don't see how either operational or denotational semantics is relevant as I was not talking about semantics of any kind. I don't think I am confusing anything, you are reacting exactly as I would expect from someone who does not
10.
by ayberkt 10y ago
Thanks for pointing this out! Dijkstra, in his "on the cruelty of really teaching computing science" makes a very similar point that people should learn how to reason about programs before learning to program. This is why dependen
11.
by ayberkt 10y ago
That is definitely right. For things involving the machine, doing things declaratively is wrong. Also, thanks for telling about Koka. It sounds very interesting!
12.
by ayberkt 10y ago
That's a great point, thanks! I will look into Papert's work. Are there any specific papers/books you would recommend?
13.
by ayberkt 10y ago
The recipe analogy is certainly very natural, but it does not extend as we get into things like assignments and references, which are a crucial part of Von Neumann languages (which is really the thing I am criticizing). Tactic languages in
14.
by ayberkt 10y ago
It makes me sad how people think imperative programming is a "natural" way to think. I have known lots of people who resist using functional languages for serious projects, marginalizing the "functional" way of thinking
15.
“Math is just a corner of computer science”(youtube.com)
1 points by ayberkt 10y ago|0 comments
16.
The man who would teach machines to think(theatlantic.com)
2 points by ayberkt 11y ago|0 comments
17.
Constructive mathematics and computer programming (1979) [pdf](cs.tufts.edu)
5 points by ayberkt 11y ago|0 comments
18.
Gerald Sussman's Foreword to the Little Schemer(ccs.neu.edu)
2 points by ayberkt 11y ago|0 comments
19.
Physical explanation of Dijkstra's algorithm (2011) [video](youtube.com)
51 points by ayberkt 11y ago|2 comments
20.
An optimizing compiler for a purely functional web app language(youtube.com)
1 points by ayberkt 11y ago|0 comments
21.
What is a stateless user interface?(blog.ezyang.com)
94 points by ayberkt 11y ago|28 comments
22.
by ayberkt 11y ago
No one's mentioned OS X's "do not disturb". Just set it to be turned on after each login so you have permanent do not disturb.
23.
by ayberkt 11y ago
> Let me emphasize: you write the test cases for your program, and then you write your program. You are writing code to test something that doesn't even exist yet. I am not rightly able to apprehend the kind of confusion of ideas th
24.
SMT based verification in Haskell(leventerkok.github.io)
2 points by ayberkt 11y ago|0 comments
25.
It's All About Morphisms(bartoszmilewski.com)
1 points by ayberkt 11y ago|0 comments
26.
Cons conflict resolved at last(jwz.org)
2 points by ayberkt 11y ago|0 comments
27.
Sokal affair(en.wikipedia.org)
2 points by ayberkt 11y ago|0 comments
28.
No Silver Bullet (1986) [pdf](worrydream.com)
55 points by ayberkt 11y ago|34 comments
29.
No Silver Bullet (1995) [pdf](worrydream.com)
2 points by ayberkt 11y ago|0 comments
30.
Cyclomatic complexity(en.wikipedia.org)
3 points by ayberkt 11y ago|0 comments

More ›