Vishal Lama
vishallama.bsky.social
Vishal Lama
@vishallama.bsky.social
Functional programmer (Scala), Data Scientist (R/Python), and Options Trader. Interested in math, statistics, science, philosophy, linguistics, literature, buddhism, running (5k), and more.
Reposted by Vishal Lama
𝐋𝐞𝐚𝐧 𝟒.𝟐𝟒.𝟎 𝐢𝐬 𝐥𝐢𝐯𝐞! This release improves the module system, strengthens the 𝚐𝚛𝚒𝚗𝚍 tactic, and advances the standard library.
Key improvements: 3.5x faster auto-completion, streamlined "try this" suggestions, new 𝚐𝚛𝚒𝚗𝚍 AC solver, enhanced 𝚖𝚟𝚌𝚐𝚎𝚗 syntax.

Read more: lean-lang.org/doc/referenc...
October 23, 2025 at 12:01 AM
Reposted by Vishal Lama
🎉 Lean 4.23.0 is here! Includes many usability improvements, including:

🎯 Enhanced 'Go to Definition' supporting type class instances

🔧 Interactive error hints for faster debugging

Release notes: lean-lang.org/doc/referenc...

#LeanLang #LeanProver #OpenSource #Mathematics #FormalVerification
September 16, 2025 at 6:46 PM
Reposted by Vishal Lama
If you've thought about giving Haskell a try, this is a great opportunity to get Effective Haskell at a discount. Whether you check out Effective Haskell or not, I'm always happy to answer questions or help folks who are interested in functional programming.
Spring Best Sellers Sale Week 4
The Pragmatic Polyglot
40% Off – This Week Only!
Code: 2025POLYGLOT at checkout

Titles on sale this week - in 🧵
media.pragprog.com/n...
April 30, 2025 at 11:10 PM
Reposted by Vishal Lama
Free Download for two weeks.#philsci
Logic and Science
Cambridge Core - Logic - Logic and Science
www.cambridge.org
April 10, 2025 at 12:28 PM