1,240 karma · joined July 16, 2007
https://software.intel.com/en-us/oneapi/dpc-compiler
Anyone pick out differences?
Does this mean it can somewhat replace Prolog? I forget why Prolog doesn't use full logic, but, does Vampire find a way to get around the need for Prolog's more limited, Horn clauses? Anyone know?
Be very gentle, the server seems taxed: e1m4b: https://www.doomworld.com/e1m4b/e1m4b.zip
Why can't the army buy the same planes, are they not being manufactured any more?
I bet at least the number of people who posted want to say the same thing, but have refrained from posting. I bet frikkin' Paul Graham thinks the same thing (maybe gentler) - he's alluded to 'inexpressible ideas about race' (paraphrase) in one essay.
> It turns out that lots of people get their klotho levels increased as a side-effect of taking prescription forms of “activated” vitamin D (VDRAs) for chronic kidney disease (CKD). But there’s no reason to wait until you’re almost dying and need dialysis to start benefiting from this knowledge. Instead, this implies that taking something like 0.25 mcg/day of Calcitriol or 1 mcg/day of Paricalcitol right now for someone without the beneficial KL-VS variant of the KL gene might actually give a huge longevity and IQ boost.
Also, maybe exercise! http://mangans.blogspot.com/2014/07/klotho-increases-both-lo...
-- just reporting what I've read, I have no idea whether it works / is safe.
That part of the original deal around patents has been lost, then - to wit, that after the 17 years elapsed, the world would know how to implement this 'non-obvious invention'.
The book is expensive, here's a list:
Do you have cites for that?
It doesn't. Paul Graham has said he made it to be like Reddit 'used to be' (in the early days, most of Reddit's users were sock puppets of the founders, and it was pretty high quality).
Dialog. Being able to ask questions, to get clarity on some angle that the teacher took for granted, uncovering assumptions / knowledge that the teacher has that the student doesn't.