Viewing profile — tachim

There have been many contributions to mathlib from Aristotle already, it’s a major use case for our users

Yes it’s available! https://aristotle.harmonic.fun/

Sure! Should this be a "Show HN" or some other type of post?

You can try out Aristotle yourself today https://aristotle.harmonic.fun/ . No more waitlist!

I'm Tudor, CEO of Harmonic. We're huge believers in formal verification, and started Harmonic in 2023 to make this technology mainstream. We built a system that achieved gold medal…

Proton’s product changes over the last couple years are the exact opposite of that. I think they’re the only credible game in town for an email/drive service in the cloud that does…

As a current (avid) user of Proton VPN and Drive, I have never seen issues with interactions between proton drive and their vpn.

Conflicts of interest are taken extremely seriously at the NSF; much more so than at private funding organizations. You can't come within a mile of reviewing grant applications fro…

> You are implying a few things here; that it is the responsibility of others to fund your success and that there were not, or will not be, alternative means of such funding. Yes, …

You can do that, just click and hold on the checkboxes.

What's the reason to run pytorch directly on WebGPU vs using ONNX on WebGPU (e.g. with https://github.com/webonnx/wonnx )?

Tough to use this without a way to export data.

exact same experience here.

It does go off the rails sometimes, but this is kind of correct. Prompt: Write an efficient, not brute force, python program that solves the following problem: suppose we have two …

Easy fix. Prompt: Write an efficient, not brute force, program that solves the following problem: suppose we have two unknown quantities x and y. If three time x plus two times y i…

FTX is going into liquidation in Bahamas: https://www.scb.gov.bs/wp-content/uploads/2022/11/Securities... Mr. Brian Simms, K.C. (Lennox Paton Counsel and Attorney-at Law) was appoi…

Can’t recommend https://www.cs.cmu.edu/~410/ enough.

You mean predictions that can be tested right now? Unclear why the proposed time horizon is the right one. This standard would have rejected most of quantum mechanics, some of GR, …

Science definitely involves explanation as well as prediction, otherwise we’d still be iterating on more and more complex epicycles as predictive models for astrophysics. Induction…

This is neat! Does it support Pycharm?

Helm.ai | Various Engineers | Full-Time | REMOTE & ONSITE (covid WFH) | Bay Area Helm.ai is a rapidly growing seed-stage autonomous vehicle startup. Our deep learning approach to s…

Helm.ai | Various Engineers | Full-Time | REMOTE & ONSITE (covid WFH) | Bay Area Helm.ai is a rapidly growing seed-stage autonomous vehicle startup. Our deep learning approach to s…

Possibly, on a case by case basis. Please apply to the full time equivalent position and note your intention in the text box. Thanks!

Helm.ai | Various Engineers | Full-Time | REMOTE & ONSITE (covid WFH) | Bay Area Helm.ai is a rapidly growing seed-stage autonomous vehicle startup. Our deep learning approach to s…

http://www.goodtheorist.science/