Daily Reminder

(you)

>>55386538
No (you) when you're replying to OP newfag.

>>55386560
(((you)))

File: kek.jpg (1013KB, 8000x7710px) Image search: [Google]

1013KB, 8000x7710px

>>55386279
>Coq
>literally a language called COCK

>>55386602
Name is bullshit but it's rather useful in algorithms.

>>55386279
wot aboot Isabelle and Agda bruv

>>55387196
you forgot idris

>>55387196
>>55387268
That makes you an academic, not a hacker.

forth is the bomb but I don't see what practicality it has for j. random

c is literally an improved apl

>>55387625
>C is an improved APL

Pretty hilarious.

>>55387268
Idris is a general purpose programming language whereas the other two are proof assistants.

does functional programming fall under this?

>>55386279
>mention lambda calculus
>doesn't mention Lisp or Haskell

File: 1424712275066.jpg (32KB, 721x520px) Image search: [Google]

32KB, 721x520px

>>55386602
>mfw in comp logic class
fucking frenchmen how could they be so oblivious

On Hacking
In June 2000, while visiting Korea, I did a fun hack that clearly illustrates the original and true meaning of the word "hacker".

I went to lunch with some GNU fans, and was sitting down to eat some tteokpaekki (*), when a waitress set down six chopsticks right in front of me. It occurred to me that perhaps these were meant for three people, but it was more amusing to imagine that I was supposed to use all six. I did not know any way to do that, so I realized that if I could come up with a way, it would be a hack. I started thinking. After a few seconds I had an idea.

First I used my left hand to put three chopsticks into my right hand. That was not so hard, though I had to figure out where to put them so that I could control them individually. Then I used my right hand to put the other three chopsticks into my left hand. That was hard, since I had to keep the three chopsticks already in my right hand from falling out. After a couple of tries I got it done.

Then I had to figure out how to use the six chopsticks. That was harder. I did not manage well with the left hand, but I succeeded in manipulating all three in the right hand. After a couple of minutes of practice and adjustment, I managed to pick up a piece of food using three sticks converging on it from three different directions, and put it in my mouth.

It didn't become easy—for practical purposes, using two chopsticks is completely superior. But precisely because using three in one hand is hard and ordinarily never thought of, it has "hack value", as my lunch companions immediately recognized. Playfully doing something difficult, whether useful or not, that is hacking.

>>55389847
I hate this copypasta so fucking much.

>>55389829
why is she so perfect?

>>55386279
I can live with that

>>55386279
> knowing a programming language and calculus
> be a 3l33t3 h4x3r
I like Forth and I know lambda calculus, but I don't want to be a l33t h4x3r, so no thanks

>>55389847
good god what an autist