lordleft

53 ms·

631.
by lordleft 9y ago
Are there mathematical proofs that are incapable of being expressed in Coq? Isn't there a limit to kind of ideas a computer could verify? Curious about the boundaries of this language.
632.
by lordleft 9y ago
CS student here, why is Turing completeness a bad thing in this case?
633.
by lordleft 9y ago
This was a really well written overview of a technical puzzle and it's eventual resolution. Loved the lucidity of the prose!
634.
by lordleft 9y ago
People do definitely use their spouses and children to avoid taking on risks, but the fallout from a failed start-up can be devastating and many parents would (very reasonably) wish to shield their kids from that kind of instability. Especi
635.
by lordleft 10y ago
This is a healthy attitude I think. Like anything, autism comes with trade-offs.
636.
by lordleft 11y ago
Is there any sort of compelling evidence that CEOs ought to be paid so much money? Seems like you get a fairly sweet haul whether you help the company thrive or run it to the ground.
637.
by lordleft 11y ago
I thought that keyboard had to be a rebranded Model M when I saw the screenshot, very cool.
638.
by lordleft 11y ago
Singapore is such an impressive city-state, but it always struck me as the political equivalent of that guy we all know, who went to a top school and became a highly performant professional but never subjected himself to a serious self-exam
639.
by lordleft 11y ago
What an incredibly well written article, and quite thought provoking.
640.
21 year old Developer creates app to combat night terrors in Veterans(aplus.com)
3 points by lordleft 11y ago|0 comments
641.
by lordleft 11y ago
Just saying that this is the creepiest goddamned title for an article I've ever read.
642.
by lordleft 11y ago
How does the baby like the button? (I love this article!)
643.
by lordleft 11y ago
Is that...legal? I mean I feel like requiring employees to source hardware you need to do your job would violate some statute, somewhere.
644.
by lordleft 11y ago
That insight about the home button is brilliant! I never realized how important it is to have that.