physicsyogi

5 лет назадdiscuss

Since gravity is the curvature of spacetime, quantizing gravity would mean quantizing spacetime (or quantizing geometry) also, which would lead to their being smallest units of space and time, perhaps somewhere around the Planck length and Planck time.

physicsyogi

5 лет назадdiscuss

Lying to local (and state?) police is legal (I think). Lying to federal LEOs is a crime.

physicsyogi

5 лет назадdiscuss

The cost of Rust's abstractions are largely at compile time, not at runtime. For example, see https://idursun.com/posts/rust_zero_cost_abstractions_in_act... or https://carette.xyz/posts/zero_cost_abstraction/.

physicsyogi

5 лет назадdiscuss

This reminds me a bit of a Clojure library called Plumbing (formerly Graph): https://github.com/plumatic/plumbing. It also let you create a DAG for structured computation. It was used for a web service, at that time.

physicsyogi

5 лет назадdiscuss

It wasn't a foreign agent being used for spying. It was software the government paid for.

physicsyogi

5 лет назадdiscuss

Checkout Datomic. It’s a temporal database that uses datalog as it’s query language. There’s also Datascript, which does the same thing.

physicsyogi

6 лет назадdiscuss

Research into belief perseverance shows that even when people are shown overwhelming evidence contradicting one of their beliefs that they dig in their heels and stick to the belief anyway. [1]

There's also Frank Lunz's observation that many people form opinions based solely on the emotive content of the words (Russell conjugation [2]) they're presented with, regardless of the facts. [3]

[1]: https://en.wikipedia.org/wiki/Belief_perseverance [2]: https://en.wikipedia.org/wiki/Emotive_conjugation [3]: https://en.wikipedia.org/wiki/Frank_Luntz#Use_of_language

physicsyogi

6 лет назадdiscuss

Libraries like this enable differentiable programming, which lets you backprop through more than just neural networks. For instance, people have built a differentiable raytracer and plugged a physics engine into reinforcement learning to accelerate training.

https://en.wikipedia.org/wiki/Differentiable_programming

physicsyogi

6 лет назадdiscuss

It's not quite what you're asking for, but there's a comparison to the 1050Ti: https://www.macrumors.com/2020/11/16/m1-beats-geforce-gtx-10...

comments