pacala

60 ms·

601.
by pacala 9y ago
On the verge of switching back to Firefox. Then Pocket. I don't want to give my private data to any cloud service out there. Full stop. The only way the cloud gets my data is encrypted with a key I solely own.
602.
by pacala 9y ago
It's not what you know, it's who you know. No matter how much money are spend on the median education, spending [much] more relative to the median buys the right pedigree and the right circle of friends.
603.
by pacala 9y ago
The demand for locally trained highly trained people is stifled by the easy access to highly trained people trained by someone else. Reducing the influx of highly skilled immigrants may have the virtuous effect of increasing the demand for
604.
by pacala 9y ago
Makes it really easy to use Azure services.
605.
by pacala 9y ago
TouchID requires me to touch the device. I _know_ when I'm identified. FaceID works at a distance, data could easily leak to any number of surveillance programs, corporate or governmental.
606.
by pacala 9y ago
Extra scenarios: * Not all our libraries are available in the same ecosystem. We need to mix JVM with C++ with a sprinkle of Python [via jep]. * We run a lot of small variations over the same code base. We'd rather not wait to re-deplo
607.
by pacala 9y ago
"information theory" A Mathematical Theory of Communication, Shannon, http://math.harvard.edu/~ctm/home/text/others/shannon/entrop...
608.
by pacala 9y ago
How about generating .so, callable from other environments, for example CPython?
609.
by pacala 9y ago
Garbage collection.
610.
by pacala 9y ago
Absolutely. Running k8s on bare metal requires full-time dedicated staff. Running k8s with GKE, and possibly also Azure Container Service, though I have no direct experience, is a one-off half-day effort. What people usually don't real
611.
by pacala 9y ago
> You should expect a lot of bleeding edge features to ship in Swarm first The development of those bleeding edge features is well hidden. The contributions graphs seem to indicate that Swarm is at best a ghost town. Perhaps the action i
612.
by pacala 9y ago
I've been running solo a GKE cluster for almost 2 years. Maaaybe I spent 1 week on eng effort on it.
613.
by pacala 9y ago
Use a good _library_ of persistent immutable data structures. In any language your audience is already familiar with.
614.
by pacala 9y ago
Somewhat related, does anyone know of a solution to run https://signal.org and nothing else? 5 out of 7 days I don't really need a smart phone, I only need the signal app. Working to break my smart phone addiction.
615.
by pacala 9y ago
The PhD system is a Ponzi scheme. First and foremost, a PhD program trains one to become a professor. During a professor career, one is expected to graduate 5, 10, 20 PhD students. It is mathematically impossible for the majority of these s
616.
by pacala 9y ago
You still have to remember that pow has 2 args, and not 1 or 3, to get a basic sense of what kind of object f1 is. How about: f1 x = pow 2 x f2 x = pow x 2
617.
by pacala 9y ago
Using a good function syntax [Scala], the pointed version is: { x => Math.pow(2, x) } Obvious it's a function of 1 argument. The pointfree variant requires 1 extra concept [partial], plus building a mental map of the argume
618.
by pacala 9y ago
The PhD system is a Ponzi scheme. There are a few lucky winners, and a vast army of overspecialized people with little real-world options.
619.
by pacala 9y ago
ISPs can't add cookies to encrypted traffic going into a VPN relay.
620.
by pacala 9y ago
Or a VPN. Then again, https://en.wikipedia.org/wiki/Device_fingerprint and it's game over again.
621.
by pacala 9y ago
I stole a small part of http://compcert.inria.fr for a hobby project. While this is not "graduate level mathematics", it is "graduate level computer science". I could have never done it if I had to memorize h
622.
by pacala 9y ago
Mechanical proofs and understanding are not mutually exclusive, that's the whole point! Just like mechanical processes [aka software] are still understandable. A stronger conjecture is that mechanical proofs will enable _better_ unders
623.
by pacala 9y ago
Scala[!] NLP/symbolic math.
624.
by pacala 9y ago
Another excellent point. Right now it's a "winner takes all" competition. It matters to prove a result, and much less to provide an "elegant" proof. I can only hope for a future where we measure the algorithmic entr
625.
by pacala 9y ago
That is an excellent point. The future is mechanical proofs. Which will bring tools for proof search, proof refactoring, proof minimization, proof navigation, theorem generation. We'll be able to tackle _much_ harder problems, while st
626.
by pacala 9y ago
Formalize it with Isabelle / Coq / Lean. Then it counts.
627.
by pacala 9y ago
https://math.stackexchange.com/questions/1989695/why-isnt-fi...
628.
by pacala 9y ago
oneThird doesn't return a decimal expansion, just one digit in a number. Still waiting for the 1 / 3 decimal expansion you claim it exists. The best I can do is: def oneThird(place): if place >= 0: return
629.
by pacala 9y ago
There is no decimal expansion of 1/3. Or pi for that matter. There are only approximations thereof, with an error margin inverse proportional to the energy we throw at generating said expansion. If you happen to somehow built a decimal
630.
by pacala 9y ago
In this Universe, no n has been observed to approach infinity.

More ›