Hacker News: hargup

New comment by hargup in "Our decision on Cursor following its acquisition by SpaceX"

hargup — Sat, 29 Aug 2026 04:11:09 +0000

Bummed, but I guess for me, doesn't mean cursor subscription ending though. Grok is a pretty amazing model for the speed and price on Cursor.

New comment by hargup in "Bhartrhari's Paradox"

hargup — Fri, 28 Aug 2026 19:47:00 +0000

https://3quarksdaily.com/3quarksdaily/2014/03/boundaries-and... This is a beautiful article on the subject.

To prove that there are unnamable concepts, he uses cantor's diagonal argument. There are countably infinite names. Any subset of these names is a concept, which is same as the powerset of the set of names, and through cantor's diagonal argument, there are uncountably infinite concepts, most which are not namable.

Yes you can take a specific concept, and name it, but there are uncountably infinitely many, so even with infinite time, you cannot name them all.

New comment by hargup in "LeanDB a strongly Typed SQL front end"

hargup — Thu, 27 Aug 2026 20:55:55 +0000

I belive we can do regular software much better using formal methods, and I want to better communicate the developing tools, learnings and methodology.

Would appreciate a quick reaction from the community.

LeanDB a strongly Typed SQL front end

hargup — Thu, 27 Aug 2026 20:55:55 +0000

Article URL: https://theoric.com/blog/drafts/leandb_a_strongly_typed_sql_frontend/

Comments URL: https://news.ycombinator.com/item?id=49471138

Points: 2

# Comments: 1

Show HN: Compute.cx is simple (modal.com like) interface for on-demand GPUs

hargup — Thu, 20 Aug 2026 15:47:24 +0000

Hi everyone, Please checkout compute.cx which is a simple cli interface for using on demand GPUs from RunPod and HotAisle. I created this because I really like the ease of modal.com for severless gpu access, but don’t always want to pay their markup. Compute.cx gives the same DX but on public on-demand GPUs like runpod and hotaisie.

Please try it out, and write to me harsh@theoric.com for any questions/suggestions, or file a bug report on https://github.com/theoriclabs/docs.compute.cx

Thanks! Harsh Gupta https://x.com/hargup13

P.S. BYOK AWS, GCP and Azure coming soon, let me know if you want it.

Comments URL: https://news.ycombinator.com/item?id=49376282

Points: 7

# Comments: 0

New comment by hargup in "Show HN: You can continue a Claude session in Codex, and vice versa"

hargup — Thu, 09 Jul 2026 16:30:59 +0000

Public Now

Show HN: You can continue a Claude session in Codex, and vice versa

hargup — Thu, 09 Jul 2026 08:07:01 +0000

Article URL: https://github.com/theoriclabs/agent-convert

Comments URL: https://news.ycombinator.com/item?id=48842475

Points: 3

# Comments: 3

We rewrote an ML Framework* in Lean, (and yes it is faster*)

hargup — Tue, 30 Jun 2026 15:02:19 +0000

Article URL: https://theoric.com/blog/we-rewrote-tinygrad-in-lean/

Comments URL: https://news.ycombinator.com/item?id=48733710

Points: 2

# Comments: 0

New comment by hargup in "Hyperscalers have already outspent most famous US megaprojects"

hargup — Sat, 18 Apr 2026 00:00:35 +0000

Justin Lebar (he built xla compiler and worked at OpenAI) has an amazing talk about this subject https://youtu.be/cyJU32ivIlk?si=gYuHtzMJIvaSqcht

The Co-Blub Paradox

hargup — Tue, 24 Mar 2026 11:26:20 +0000

Article URL: https://reasonablypolymorphic.com/blog/coblub/

Comments URL: https://news.ycombinator.com/item?id=47501100

Points: 5

# Comments: 0

Mass Resignation from xAI

hargup — Wed, 11 Feb 2026 11:53:47 +0000

Seems like xAI is having a Fairchild semiconductor moment, saw at least half a dozen people posting they are leaving xAI, and seems like all of them are starting something new, together.

- https://x.com/Chace_AGI/status/2021452881875141060 - https://x.com/jimmybajimmyba/status/2021374875793801447 - https://x.com/Yuhu_ai_/status/2021113745024614671 - https://x.com/C_S_Skeptic/status/2021457245805109750?s=20

Comments URL: https://news.ycombinator.com/item?id=46973839

Points: 19

# Comments: 13

New comment by hargup in "Show HN: Wikipedia as a doomscrollable social media feed"

hargup — Mon, 02 Feb 2026 08:11:08 +0000

I've been meaning to do something like this for the books I want to read, and things I want to learn.

New comment by hargup in "PYX: The next step in Python packaging"

hargup — Thu, 14 Aug 2025 08:15:30 +0000

JS packaging ecosystem is fairly mature compared to python. The install and deps issues way fewer.

New comment by hargup in "Suno v4.5"

hargup — Sat, 03 May 2025 12:42:37 +0000

There are some really fun songs in the "Search" section after you login. Example https://suno.com/s/xI4rAExMFVsEf1ZD

New comment by hargup in "Gemma 3 QAT Models: Bringing AI to Consumer GPUs"

hargup — Sat, 19 Apr 2025 06:56:49 +0000

Pretty cool, I use gemma 3 on my mac m1 pro 16GB offfline during flights, and it is pretty good honestly.

New comment by hargup in "Organised gangs behind rise in QR 'quishing' scams"

hargup — Mon, 14 Apr 2025 07:34:42 +0000

Was wondering why such scams are not a thing in India (yet?), and realized there is always a person next to the QR to verify the payment. So such QR quishing scams are much harder to pull off.

[Not saying there are no scams in India. Just that QRs for payments are very popular here as well, and scammers are smart and active, so was wondering why not]

New comment by hargup in "Gemma 3 Technical Report [pdf]"

hargup — Wed, 12 Mar 2025 07:06:04 +0000

Gemma is their open-source series of models. Gemini is the propertierary ones. Gemini models are bigger and better. But Gemma are pretty good too.

New comment by hargup in "Markov Keyboard: keyboard layout that changes by Markov frequency"

hargup — Thu, 19 Dec 2024 11:09:47 +0000

I have seen this with some of the card swiping machines in India.

New comment by hargup in "I'm Peter Roberts, immigration attorney who does work for YC and startups. AMA"

hargup — Fri, 18 Oct 2024 04:52:42 +0000

Peter was extremely helpful in my successful O1A petition, highly recommend working with him.

New comment by hargup in "The Diamond Sutra, the oldest dated printed book (2016)"

hargup — Sat, 06 Jul 2024 14:37:25 +0000

Get your comment, and had a similar bias against him from “Wild Wild Country”. But when I read his work, was blown by how good it is. Definitely worth a try. My first Osho book was “Meeting with Remarkable People”.