_a_a_a_

32 ms·

511.
by _a_a_a_ 3y ago
A quick skim says this is a really thoughtful bit of writing; I'll try to do it justice tomorrow but right now I can't. So thank you, and I'll try to respond tomorrow in a bit more depth. Thanks.
512.
by _a_a_a_ 3y ago
A program is not a proof.
513.
by _a_a_a_ 3y ago
> Am I Russian or Ukrainian? your choice. > On the contrary, nobody was killed in Crimea So I knick your wallet, car and house without killing you is ok? Enough, shill.
514.
by _a_a_a_ 3y ago
Not as much as Russia's. Goodbye Bear! (and sadly more misery for its population who deserve better).
515.
by _a_a_a_ 3y ago
> Considering that it was historically one country for centuries, And you were part of your mother for 9 months. I assume you've separated by now, right?
516.
by _a_a_a_ 3y ago
>> what the Russians planned a few weeks to take. > Who ever said this was a plan? Oh I see! Russia planned it to take 596 days so far! You sneaky, brilliant strategist, Putin!
517.
by _a_a_a_ 3y ago
> And now it seems you agree, if you spend only 15 minutes you can understand the lecture notes that was sarcasm. > I think it is very cool and philosophically interesting in itself, and it offers an interesting point of view if you
518.
by _a_a_a_ 3y ago
You're just ignoring what he is saying.
519.
by _a_a_a_ 3y ago
See my reply https://news.ycombinator.com/item?id=37855705
520.
by _a_a_a_ 3y ago
It's about the entire set of formalisms given in the pdf, not just lambda calculus. The argument here about LC was because I had just given a snippet of it, but it's not the whole paper. Now, the next bit – so I've spent my 1
521.
by _a_a_a_ 3y ago
Everywhere but typedef can be made LR(1) IIRC
522.
by _a_a_a_ 3y ago
I'm afraid, like a vampire, you've just invited me in. My recipe, marmite and lettuce sandwiches.
523.
by _a_a_a_ 3y ago
The curse of intelligent people, the one thing they can't understand; never being able to understand that other people don't understand. There's something of Cassandra about it.
524.
by _a_a_a_ 3y ago
Quiz: what is the opposite of patronising? Because that's what you're being. Not talking down to people but assuming more than is typical. You're clearly highly intelligent, evidently more so than I am. Additionally my mind d
525.
by _a_a_a_ 3y ago
> You are just taking a formula out of context, omitting the plain English explanation that comes before it, which, this? "We saw earlier in the course that we can curry a function. That is, given a function of type (τ 1 ×τ 2 ) → τ
526.
by _a_a_a_ 3y ago
Oh get real. I have a background in this. Lambda notation, Hoare notation (I think), 'standard' logic notation. Don't talk rubbish about 'look it up'. You need a degree to get this. Not a metaphorical degree, the re
527.
by _a_a_a_ 3y ago
Accessible for who, do you mean? That is in no way 'accessible' without solid exposure to quite a lot of discrete maths (which I have and it's still hard going). λf :(τ 1 × τ 2 ) → τ 3 .λx:τ 1 .λy:τ 2 .f (x,y) has type ((τ 1
528.
by _a_a_a_ 3y ago
Syntax really is so utterly trivial. In my personal project I went for C# instead of Scala. C#'s syntax is more familiar to most people, but the functional programming facilities (essentially copied from Scala) are absolutely bloody aw
529.
by _a_a_a_ 3y ago
Been in NHS hospital a few years ago, food was fine, nurses were great (if horribly overworked).
530.
by _a_a_a_ 3y ago
> I haven't found much evidence that leaving against Dr advisement matters all that much for predicting readmission maybe cos they're dead
531.
by _a_a_a_ 3y ago
IIRC DSSSL influenced XSLT. I personally consider XSLT an abomination. Separately, your criticism of lisp syntax is pure bikeshedding, and depressing to see it brought up again and again here (and I'm not a lisper). If you can never se
532.
by _a_a_a_ 3y ago
I thought your first para was sarcasm. Now I'm just not sure. It sits on the razor's edge, ready to fall either way in my mind. NB. Elite running on Emacs https://www.salkosuo.net/2015/10/22/elite-fo
533.
by _a_a_a_ 3y ago
Thank you.
534.
by _a_a_a_ 3y ago
Hi, then a database is not much more than an indexed file system (sort of). I'll check out your link in a bit more detail, thanks. I wasn't expecting it to be multiple user, I assumed single use only which seriously simplifies som
535.
by _a_a_a_ 3y ago
I think what you're suggesting it is possible, to get halfway decent database using components, but I think you need to take a very high level view of these components. For a start, a parser. You almost certainly want a parser generato
536.
by _a_a_a_ 3y ago
Woof. Man, I really don't think you understand what goes into a DB if you think you can do D in 500 or even 5000 lines, unless maybe, maybe, you're aiming for something so simple it's merely a toy.
537.
by _a_a_a_ 3y ago
> >“The dollar was divided into "pieces of eight," or "bits," each consisting of one-eighth of a dollar.” Well, well. So the name... TIL. FYI I believe it used to be legal in the UK (still is? Is it even possible w
538.
by _a_a_a_ 3y ago
Genuine question, do you use the term pornographer merely descriptively or derogatorily?
539.
by _a_a_a_ 3y ago
At least it's better than how MS handles its documentation. The number of times I've hit "404 fuck you" when looking for info on their products...
540.
by _a_a_a_ 3y ago
You want to write a serious database in 500 lines. Honestly, I'd be impressed but it's a hell of a target. Err, how long are your lines going to be?

More ›