hargup
Joined 13 years ago
Karma
911
Submissions
166
Member since
Jun 26
Recent submissions
Comment · 18 days ago
Comment · 28 days ago
+1
Comment · 28 days ago
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.
Comment · 1 month ago
Original author of the library here
Comment · 1 month ago
Surface it as migration failure
Comment · 1 month ago
Thanks, looks interesting.
Comment · 2 months 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.
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.