physicsyogi
Joined 13 years ago
Karma
178
Submissions
129
Member since
May 7
Software developer in machine learning and natural language processing. Physics PhD.
View on Hacker NewsRecent submissions
Comment · 4 years ago
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.
Comment · 4 years ago
Lying to local (and state?) police is legal (I think). Lying to federal LEOs is a crime.
Comment · 5 years ago
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/.
Comment · 5 years ago
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.
Comment · 5 years ago
It wasn't a foreign agent being used for spying. It was software the government paid for.
Comment · 5 years ago
Checkout Datomic. It’s a temporal database that uses datalog as it’s query language. There’s also Datascript, which does the same thing.
Comment · 5 years ago
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
Comment · 5 years ago
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.
Comment · 6 years ago
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...
Comment · 6 years ago
Rust can use reference counting though, in addition to borrow checking.
Comment · 6 years ago
This is true for me also. It's much easier for me to make connections between things when I have information about them in my head already.
Comment · 6 years ago
> I don’t think anyone is entirely writing off x86.
Apple seems to be.
Comment · 6 years ago
The C extensions are partly why Python reigns in the machine learning and data science world.
Comment · 6 years ago
About a month ago, Open AI demoed a language model that does python code generation, using a natural language prompt. It was trained on Github repos.
Comment · 6 years ago
There were only two professors I was on a first name basis with in college. One was my advisor, I also worked in his lab for two years. The other was another professor in the department. It was different in grad school. It was first names for professors you worked with. At that point, they don't know more than you do about your research.