Hacker News new | past | comments | ask | show | jobs | submit | physicsyogi's comments login

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.


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


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/.


The complexity that comes from the zero-cost abstractions promoted by both C++ and Rust here isn’t in performance (not runtime nor compiletime) but in programmer reasoning and refactoring.


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.


yes - I remember reading that years ago. Thought that was quite cool.


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


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


... there's a whole bunch of Datomic-likes these days:

https://github.com/simongray/clojure-graph-resources#datalog


Unfortunate name for a product, I can't find anything called Dynamic on DDG, only dynamic things with a lowercase d. Do you have a link to the project?


not dynamic but Datomic


Dyslexic moment on my part, thank you


Lysdexia makes fools of us all ;)


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


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


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...


Does graphic performance indicated ML training performance (to a certain degree)? Is it fair to say that if graphically it performs better, the ML training will be better with the proper software support?


Rust can use reference counting though, in addition to borrow checking.


Just as it can use a tracing GC, like in Servo interop.


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: