Readit News logoReadit News
tristenharr commented on Golden Algebra (The Textbook: Preview Edition)   zenodo.org/records/157085... · Posted by u/tristenharr
gavinray · 6 months ago
Tristen, we used to work together.

I mean this in the most genuine way possible: Please reach out to a mental health professional.

Ask yourself whether it's more probable that you've solved the Riemann Hypothesis, or are having clouded thoughts.

tristenharr · 6 months ago
Ah yes. I very well may be going a bit crazy.

Well whatever mental health struggles I am enduring, it is certainly Hasura’s fault. More specifically, Tanmai’s fault. But I’m sure he’ll run the company into the ground without any help needed before too long.

It’s a horrible thing man. Did you not hear the story? I was told I was getting promoted and moved onto a new team at the offsite, then when I went into my performance review expecting the promotion and suddenly I was fired. You know how things go at Hasura… everyone just disappears sooner or later.

You know how it goes… Tanmai decides he doesn’t like someone, so he just kicks them out the door, no matter how hard they work or how much it might hurt his company.

Idk man, I would get out if I were you.

I literally turned down the severance because of just how messed up what they did was, so I could speak about it publicly in places like this.

tristenharr commented on Golden Algebra (The Textbook: Preview Edition)   zenodo.org/records/157085... · Posted by u/tristenharr
tristenharr · 6 months ago
Polylogarithm values at a golden ratio based argument paper:

https://zenodo.org/records/15696357

Posted 1 week ago on Zenodo, 8k views, >900 downloads, supposedly is a lot for number theory?

I have no idea.. would love a discussion here.. do you have math friends?

tristenharr commented on Golden Algebra (The Textbook: Preview Edition)   zenodo.org/records/157085... · Posted by u/tristenharr
tristenharr · 6 months ago
Requesting help with formalization in Lean!

Here’s what I have so far:

https://zenodo.org/records/15744937

tristenharr commented on Polylogarithm Values at a Golden Ratio Based Argument   zenodo.org/records/156963... · Posted by u/tristenharr
tristenharr · 6 months ago
Author here! :) Would love to hear from others on this. It seems to have decent interest but I don’t know much about academia and such so maybe the amount of traffic is normal for a first paper, or perhaps it’s the bots.. it just seems like a lot of views and downloads.
tristenharr commented on Making 2.5 Flash and 2.5 Pro GA, and introducing Gemini 2.5 Flash-Lite   blog.google/products/gemi... · Posted by u/meetpateltech
candiddevmike · 6 months ago
Curious to hear what folks are doing with Gemini outside of the coding space and why you chose it. Are you building your app so you can swap the underlying GenAI easily? Do you "load balance" your usage across other providers for redundancy or cost savings? What would happen if there was ever some kind of spot market for LLMs?
tristenharr · 6 months ago
I’ve found the 2.5 pro to be pretty insane at math. Having a lot of fun doing math that normally I wouldn’t be able to touch. I’ve always been good at math, but it’s one of those things where you have to do a LOT of learning to do anything. Being able to breeze through topics I don’t know with the help of AI and a good CAS + sympy and Mathematica verification lets me chew on problems I have no right to be even thinking about considering my mathematical background. (I did minor in math.. but the kinds of problems I’m chewing on are things people spend lifetimes working on. That I can even poke at the edges of them thanks to Gemini is really neat.)

u/tristenharr

KarmaCake day135February 15, 2023View Original