chaidhat

At least this is a fun ad. I appreciate the level of commitment the developers put into it. It's not just vibe coded slop which is rare

I think this is premise for AI: Lean and formal verification seems more and more important in today's world and I think a variation of programming language like this is bound to win. This, or a library or framework to prove typescript.

that's really rude.

I agree but not for the reasons the article states. If you say “an LLM made this” and are proven to be wrong, then you can divert blame to the LLM: this is bad as you don’t in the future try to improve yourself and verify the LLM.

Usually, I have vscode/Claude Cowork up on one side and on the other is Obsidian. I made a plugin[1] that converts emails to `.md` so they can also be in Obsidian folder -- so Claude can query those emails the same way it does my notes. Works beautifully.

[1] https://github.com/chaidhat/inbox-to-md

Obsidian does hot reloading too. Usually, I have vscode/Claude Cowork up on one side and on the other is Obsidian. I made a plugin[1] that converts emails to `.md` so they can also be in Obsidian folder -- so Claude can query those emails the same way it does my notes. Works beautifully.

[1] https://github.com/chaidhat/inbox-to-md

so, Obsidian?

The US also doesn't allow AI to be inventors. https://www.uspto.gov/subscription-center/2025/revised-inven...

Whenever I see a tz post, I want to remind ya'll that the `tzdata` package is using data from `eggert/tz` by Paul Eggert -- a crazy good UCLA professor. I took his course once and in the exams, he'd like to put in a question he didn't know the answer to himself.

How about expose an API so that users can put the name of a startup and it goes through your AI agent pipeline to acquire an estimate? That way, you don’t need to know every startup under the sun and focus on optimizing your pipeline instead.

In the future, humans will just all be on hamster wheels generating power for our AI overlords.

I tried writing a free textbook as an undergraduate. It's on quantum mechanics derived from first principles -- https://quantum.chaidhat.com -- hope you like it!

If you want to learn more about quantum mechanics starting from 1+1=2 please check out https://quantum.chaidhat.com !

over half are unknown

do you work at Uber by any chance?

Thank you! Haha yes, I think some stuff are out of order (they were once ordered). I will have to revisit and reorder them again

Thank you!

Thank you very much. I never knew of those pronunciations, I will read up on them! I had a Russian physics professor once and he was very suave: he wore aviators during our final exams.

I prefer to do startups!

Thank you! Glad to hear you like it!

Lmk what you guys think!

Maybe they should stop pushing these bankers to do 48 hour shifts…

As a product of the STEM post-SAT UC system (UCLA ‘26), I never personally experienced “middle school math” being taught or a lack of mathematical understanding.

I’ve had my fair share of classes which throw you into the deep end and not many which coddle you. Never seen any professor teaching middle school mathematics. A lot of professors started off with a vague idea of prerequisites, covered the basic ideas and usually go straight into the deep end with new material. It is up to the student to make sure they are acquainted with the prerequisites, go to discussions or office hours to ask TAs or the professor, or just drop the class and do it next quarter (without penalty). At least in my four years at UCLA, we have ample opportunity to do it and the TAs are 90% empathetic towards “stupid questions.”

So in my personal opinion, I think profs shouldn’t be wasting time teaching basic math and there are more than enough opportunities for the student to learn it at their time in the UC.

Missed opportunity to make all variables global and public.

please don’t drive that fast (I’m assuming you mean triple digits MPH). It endangers both yourself and others.

That's very creative. I don't understand why the other comments are so critical. I think it is a good idea to always keep in mind new vulnerabilities and this certainly is one that I never thought about.

It is unsafe for wires to be handling higher power than it was rated cause the wires act like very low ohm resistors. At some high enough I, you’re still gonna be generating power P=I^2R which is mainly thermal and melt the wires.

thank you. I will definitely check those out!

Hope you like it! I made it because Claude makes really bad PDFs so I made an editor to fix them.

Maybe they're secretly developing Waymo submarines..