hargup

5 ms·

1.
LeanReact-v0.1: A Lean 4 framework to write web applications(github.com)
1 points by hargup 10d ago|0 comments
2.
LeanHTTP: HTTP Client for Lean 4(github.com)
1 points by hargup 11d ago|0 comments
3.
by hargup 11d ago
Thanks, looks interesting.
4.
by hargup 19d ago
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.
5.
by hargup 19d ago
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 count
6.
LeanDB a strongly Typed SQL front end(theoric.com)
18 points by hargup 20d ago|6 comments
7.
by hargup 20d ago
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.
8.
Show HN: Compute.cx is simple (modal.com like) interface for on-demand GPUs(compute.cx)
7 points by hargup 27d ago|0 comments
9.
by hargup 2mo ago
Public Now
10.
Show HN: You can continue a Claude session in Codex, and vice versa(github.com)
3 points by hargup 2mo ago|3 comments
11.
We rewrote an ML Framework* in Lean, (and yes it is faster*)(theoric.com)
2 points by hargup 3mo ago|0 comments
12.
by hargup 5mo ago
Justin Lebar (he built xla compiler and worked at OpenAI) has an amazing talk about this subject https://youtu.be/cyJU32ivIlk?si=gYuHtzMJIvaSqcht
13.
The Co-Blub Paradox(reasonablypolymorphic.com)
5 points by hargup 6mo ago|0 comments
14.
Mass Resignation from xAI
19 points by hargup 7mo ago|13 comments
15.
by hargup 8mo ago
I've been meaning to do something like this for the books I want to read, and things I want to learn.
16.
by hargup 1y ago
JS packaging ecosystem is fairly mature compared to python. The install and deps issues way fewer.
17.
by hargup 1y ago
There are some really fun songs in the "Search" section after you login. Example https://suno.com/s/xI4rAExMFVsEf1ZD
18.
by hargup 1y ago
Pretty cool, I use gemma 3 on my mac m1 pro 16GB offfline during flights, and it is pretty good honestly.
19.
by hargup 1y ago
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 t
20.
by hargup 2y ago
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.
21.
by hargup 2y ago
I have seen this with some of the card swiping machines in India.
22.
by hargup 2y ago
Peter was extremely helpful in my successful O1A petition, highly recommend working with him.
23.
by hargup 2y ago
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”.
24.
by hargup 2y ago
The settlement is kind of real-time. And there is no concept of disputes or chargebacks, so that keeps cost low. UPI providers bear cost, but they money by bundling other services in UPI apps.
25.
by hargup 2y ago
UPI is linked to bank account, not debit card. Source daily UPI user.
26.
VisBrowser: Visual Browsing Adapter for Playwright(github.com)
3 points by hargup 2y ago|1 comments
27.
by hargup 2y ago
VisBrowser is a visual browsing adapter for Playwright Python that enables navigation and interaction with web pages based on visual information rather than CSS selectors. It provides a high-level API for performing actions like clicking, t
28.
by hargup 2y ago
My buddy works for such a company, https://www.atomionics.com/ and they are doing pilots with mining companies.
29.
by hargup 3y ago
Interesting. I guess we'll see more JS specific instructions in the CPU.
30.
[AskHN] Anyone working on an ASIC for a JavaScript engine?
1 points by hargup 3y ago|3 comments

More ›