tachim

6 ms·

1.
by tachim 8mo ago
There have been many contributions to mathlib from Aristotle already, it’s a major use case for our users
2.
by tachim 8mo ago
Yes it’s available! https://aristotle.harmonic.fun/
3.
by tachim 8mo ago
Sure! Should this be a "Show HN" or some other type of post?
4.
by tachim 8mo ago
You can try out Aristotle yourself today https://aristotle.harmonic.fun/ . No more waitlist!
5.
by tachim 9mo ago
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 performance at 2025 IMO ( https://harmo
6.
by tachim 10mo ago
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 doesn’t have AI data mining risks.
7.
by tachim 10mo ago
As a current (avid) user of Proton VPN and Drive, I have never seen issues with interactions between proton drive and their vpn.
8.
by tachim 1y ago
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 from researchers at your institution, or researchers you
9.
by tachim 1y ago
> 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, the government funds research, the benefit of which accru
10.
by tachim 3y ago
You can do that, just click and hold on the checkboxes.
11.
by tachim 3y ago
What's the reason to run pytorch directly on WebGPU vs using ONNX on WebGPU (e.g. with https://github.com/webonnx/wonnx )?
12.
by tachim 3y ago
Tough to use this without a way to export data.
13.
by tachim 4y ago
exact same experience here.
14.
by tachim 4y ago
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 unknown quantities x and y. If three time x plus two tim
15.
by tachim 4y ago
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 is twenty, and 2 times x plus three time y is ten, what a
16.
by tachim 4y ago
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 appointed as provisional liq
17.
by tachim 4y ago
Can’t recommend https://www.cs.cmu.edu/~410/ enough.
18.
by tachim 5y ago
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, and many other useful theories and explanations when they we
19.
by tachim 5y ago
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 isn’t everything.
20.
by tachim 6y ago
This is neat! Does it support Pycharm?
21.
by tachim 6y ago
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 self-driving is uniquely data- and capital-efficient, all
22.
by tachim 6y ago
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 self-driving is uniquely data- and capital-efficient, all
23.
by tachim 6y ago
Possibly, on a case by case basis. Please apply to the full time equivalent position and note your intention in the text box. Thanks!
24.
by tachim 6y ago
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 self-driving is uniquely data- and capital-efficient, all
25.
by tachim 8y ago
http://www.goodtheorist.science/
26.
by tachim 8y ago
There are two explanations for the video published: 1. They DO have cameras onboard with the exposure settings necessary to see the woman in the video, and have not released the video because it makes for bad PR. 2. They DO NOT have su
27.
by tachim 8y ago
Nope. That person + bike would have been completely trivial to detect with the LIDAR those cars have mounted on top.
28.
by tachim 9y ago
Hi -- unrelated to your comment, but I saw this thread and was curious about the work you mentioned: https://news.ycombinator.com/item?id=14135353 . Since that thread is archived I couldn't reply, so I'm replying h
29.
by tachim 9y ago
This is the best textbook on graphical models, also from Jordan but later (2008): https://people.eecs.berkeley.edu/~wainwrig/Papers/WaiJor08_F... . It also covers some general theory of variational inference. Sourc
30.
by tachim 10y ago
That first study does not support your claim. This is the main chart: https://i.imgur.com/pTFJkaJ.png . Note how it shows a significant response in Doublecortin+ cells only in the HRT group and not for the LRTs. These acro

More ›