Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
patta54
searching Neon…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
6 ms
·
1.
▲
by
patta54
9y ago
They certainly are. Also, geometric proofs are considered the origin of all mathematical proofs. They might seem crude, but open up to any chapter in Elements and you'll see many difficult problems solved using those 5 axioms.
2.
▲
by
patta54
9y ago
My high school calculus teacher was really great at this. He didn't just teach a bunch of transformations to memorize. That was part of it, naturally, as you aren't going to use the definition of limits and the FToC in all your
3.
▲
by
patta54
9y ago
I kind of feel the same way. I read "Age of Spiritual Machines" 15 years ago and thought it was interesting. But now I don't believe most of what he says or predicts. Some of the stuff will come true, but we won't be
4.
▲
by
patta54
9y ago
I'm not arguing against cloud platforms in general; just the irrational use of very specialized services they offer. I can run a containerized service that uses open source packages on any of the cloud computing platforms. Now if I u
5.
▲
by
patta54
9y ago
Our AWS rep is nice and cheery. He'll come into our office twice a year and bring sales engineers to hear about our upcoming projects. There's one lead developer on our team who keeps imagining systems that use half a dozen AWS s
6.
▲
by
patta54
9y ago
"we don't have the time or skills to maintain these open source components" translates to "we don't want to install a monitoring solution that restarts a service when it fails, or think about design in regard to com
7.
▲
by
patta54
9y ago
I warn other developers at my company about this. When new projects spin up they're often very excited about using new Amazon services and will make any excuse to choose an AWS product over a stable open source solution. If I were a