4 ms·
a) Thanks for putting this together! b) Please don't hijack my scrolling. c) I really wish Lean were more mature as an application programming language. Its s
by smasher164 2mo ago
a) Thanks for putting this together!
b) Please don't hijack my scrolling.
c) I really wish Lean were more mature as an application programming language. Its standard library is really lacking.
- joshmarlow 2mo agoI've often wondered how viable it is to use AI to fill out the ecosystem gaps in awesome but niche languages (still looking at you OCaml...). I've not gone too deep down this train of thought because a standard library/ecosystem should be solid and I don't think LLMs are quite there... but if we can use LLMs+Lean maybe we can get the quality we need to bootstrap more of the Lean ecosystem?
- badcryptobitch 2mo agoI'll need to fix b! That is not intentional whatsover. Sorry for that. Thank you for the feedback
- badcryptobitch 2mo agoI've fixed the scroll hijacking. Again, thank you for the feedback
- valorzard 2mo agoThey’re working on adding a whole HTTP API right now