hargup

“Emergence” from LLMs is very similar to emergence from scaling transistors.

When you have only hundreds of them, you can barely add numbers. But the same fundamental technology scaled to millions, billions and then trillions, transistors can do things which will look magic to previous generations.

+1

Building a suite of libraries for basic stuff like webserver, sql integration, writing react components etc in Lean here https://github.com/orgs/theoriclabs/repositories?q=sort%3Ast...

> Can lean generate small static binaries the same way Go/Rust/C/C++ can?

Lean compiles to C and the binaries aren't huge, though haven't benchmarked this part yet.

> How practical is rewriting, say, grep in Lean?

Very, you should probably try it.

Original author of the library here

Surface it as migration failure

Thanks, looks interesting.

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.

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.

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.

Public Now

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

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

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

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

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

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]

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.

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

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

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”.

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.

UPI is linked to bank account, not debit card. Source daily UPI user.

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, typing, and waiting for elements using visual cues such as text and images. With VisBrowser, you can automate web browsing tasks by leveraging the visual layout and content of the page, making your scripts more resilient to changes in the underlying HTML structure. Particularly useful for website which doesn't give a proper dom, like fuller website, or websites using HTML canvas.

My buddy works for such a company, https://www.atomionics.com/ and they are doing pilots with mining companies.

Interesting. I guess we'll see more JS specific instructions in the CPU.

With floating solar farms in the sea, you also don’t need a lot of land and can avoid all of regulatory overhead.

The simpler solution is build a damn lot of solar on Earth and use the energy to suck CO2 out of atmosphere. I did the calculations, it was something like the area of UAE equivalent solar to have enough energy to suck ALL CO2 from the atmosphere.

- Find funded open source companies, from YC startup directory or OSS Fund’s portfolio list.

- Narrow the list to 1-3 companies you are most excited about

- Contribute to their open source project. Be consistent and contribute high quality stuff.

- After 3-6 weeks email the founders asking if they are hiring. You have a very high shot of getting hired.

- In Parallel keep applying to other companies and mention your open source experience

Yes. I'm looking for contracting opportunities now and want companies to find me.

Look for boutique law firms who deal with startups. They are often willing to provide one off legal consultancy. I’ve spoken with folks at Presdio legal and liked them, you can reach out to them on email or Linkedin https://presidio.legal/