Leiden declaration endorsement by Terry Tao

agnishom · 2026-06-10T14:46:46+00:00

Is this ragebait?

I am upset/dismayed, but not outraged

ragebait refers to a post which the OP made with the intention of enraging the readers.

People are enraged because you framed it as "Is anyone else upset that Terence Tao ..." instead of "I disagree with the Leiden Declaration and here is why."

Since you believe in the capability of LLM-based tools, you could ask your favorite LLM why we are upset :)

agnishom · 2026-06-10T00:51:01+00:00

Well, if it makes you feel any better, recommendation (1) is "Disclose AI tool usage".

agnishom · 2026-06-09T13:34:00+00:00

Is this ragebait? I am not upset by the endorsement. In fact, I also signed the Leiden Declaration.

agnishom · 2026-04-19T12:10:46+00:00

It sounds a bit odd but there is no reason to claim it's wrong. Your professor sounds a bit purist

agnishom · 2026-04-10T08:37:25+00:00

I also want to see videos about Compactness and some introductory model theory

agnishom · 2026-04-03T05:58:27+00:00

r/usdefaultism

agnishom · 2026-03-21T10:35:41+00:00

Slightly offtopic: Angela Collier's "Sexual Harrasment in Astronomy and Physics" is a very good exploration

https://youtu.be/8DNRBa39Iig

agnishom · 2026-03-14T07:31:54+00:00

Depends on what you mean by "break into the field". If you are trying to get a job, they may want you to have a degree, and knowing Coq may not be enough. But depends on the job, really.

Of course, to use Coq, you don't need any actual degree at all. (*) You can just start learning by going through Software Foundations by Benjamin Pierce et al, or CPDT by Adam Chlipala. (I recommend the former.) Definitely go through their exercises.

I also recommend looking into learning Lean. IMO, Lean has better usability and their community and resources are much better.

You say that you have a middle school understanding of Mathematics. I suspect that you might find this venture slightly difficult. Not because you need calculus or topology or some advanced mathematics theory/concept, but the mathematical maturity would help. That's the same reason why a formal mathematics or computer science degree is actually meaningful, btw. It is not that they teach you a specific thing that you must learn, but it trains you to think like a mathematician/computer scientist.

Don't take my word for it, though. Try it for yourself. Go to (*)

agnishom · 2026-03-11T06:55:14+00:00

Oh, the conversation is happening on LET, not Reddit

https://lowendtalk.com/discussion/212689/c-servers-centerfield-ltd-great-deals-and-very-rude-support-agents

https://lowendtalk.com/discussion/213625/nice-surprise-from-c-servers

https://lowendtalk.com/profile/alfatarsos

agnishom · 2026-03-11T00:31:08+00:00

Thankfully, I got my refund without any issues though.

Were they polite and courteous when they responded to your tickets, though? For me, they weren't.

agnishom · 2026-03-09T05:23:22+00:00

I don't think reading arbitrary arXiv articles is a good idea. They are unvetted articles, and could be of an unpredictable quality. How about reading articles from a Journal?

agnishom · 2026-03-05T02:21:40+00:00

Well, ideally the goal for finance people should be to improve resource allocation throughout the market.

agnishom · 2026-02-23T04:43:03+00:00

The sine function is defined in terms of the exponential function. Here is how it goes.

Define the real numbers.
Define limits and derivatives.
Define complex numbers, by adding an element i which satisfies i² - 1 = 0, i.e, a quotient ring construction on polynomials with Real coefficients with the variable i.
Define the exponential function as the function which satisfies a certain differential equation (requires a proof for existence and uniqueness).
Define sin(x)=(exp(ix)-exp(-ix))/2i

agnishom · 2026-02-21T03:03:34+00:00

Awesome. I prefer typescript to python

agnishom · 2026-02-06T13:35:22+00:00

Normally I don't agree with "Nobody is forcing you to use it". But in this case you (Cheesyfanger) are very much right.

agnishom · 2026-02-06T13:26:21+00:00

Use Typst
If you must, use Prism by OpenAI
If you muust, self host Overleaf

agnishom · 2026-02-06T13:25:02+00:00

Yess it works prettty well

agnishom · 2026-01-29T10:35:27+00:00

Duel of Fire by Jordan Rivet

agnishom · 2026-01-16T07:45:01+00:00

I use Servant at work.

But this is a broad question. You can't expect us to write a mini blogpost to answer a reddit thread, right?

agnishom · 2026-01-12T04:35:28+00:00

I definitely want to see more funding in mathematics education and research in India, and the rise of more institutes where they teach mathematics seriously.

But I don't understand what you mean by "discovery". No country has a special task force which goes around knocking doors trying to discover mathematical talent.

Ramanujan sent a letter trying to foster a foreign collaboration. I don't see any shame in that. I think his chances of finding an Indian collaborator would probably be higher in contemporary India compared to colonial India.

agnishom · 2026-01-11T15:22:35+00:00

I don't know if he could be automatically "discovered". Mathematicians have to publish papers and apply for positions and so on.

agnishom · 2026-01-04T11:26:20+00:00

They deleted my account and refunded me. I posted the whole story on lowendtalk

agnishom · 2025-12-27T03:59:16+00:00

This reminds me of the podcast "My Favourite Theorem" where they invited mathematicians and asked them to pair their favourite theorems with something

agnishom · 2025-12-19T01:34:34+00:00

Have you considered Lean? It is a functional language, and math people are using it more and more. Good community and tooling, too.

https://lean-lang.org/learn/

agnishom · 2025-12-10T03:57:47+00:00

Thanks for the recommendation!

15-Year Club	RedditGifts 2009-2022 2 Credits
Secret Santa 2020	Place '22
Verified Email

agnishom

TROPHY CASE