Sign in

Vishal Lama

@vishallama.bsky.social
647 followers 1.5K following 5 posts

Functional programmer (Scala), Data Scientist (R/Python), and Options Trader. Interested in math, statistics, science, history, philosophy, linguistics, literature, buddhism, running (5k), and more.

PostsRepliesMedia
Reposted by Vishal Lama
Lawrence Paulson @lawrpaulson.bsky.social · 18/12/2025
Isabelle2025-1 is now available, offering e.g. * PIDE: load markup from background session image (e.g. theory "HOL.Nat"). * Isabelle/jEdit: support for command-line system options ("-o"). www.cl.cam.ac.uk/research/hvg... isabelle.in.tum.de
cl.cam.ac.uk
Isabelle
071
Reposted by Vishal Lama
CNBC @cnbc.com · 08/12/2025
When your kid is in the middle of a tantrum, logic and lectures don’t work. Research shows that during emotional overwhelm, a child’s prefrontal cortex essentially goes offline. These seven magic phrases work with your child’s nervous system, says Reem Raouda, a child psychologist.
cnb.cx
I've studied over 200 kids—these 7 'magic phrases' can calm any tantrum instantly
Calming down your kid during a tantrum can feel impossible. Reem Raouda, a child psychologist who has studied over 200 kids, shares the "magic phrases" that will instantly stop a meltdown.
21810
Reposted by Vishal Lama
Unison @unison-lang.org · 25/11/2025
🎉 Unison 1.0 has landed! After years of engineering, design, and community collaboration, we’re excited to announce this milestone! Spread the word!
unison-lang.org
Announcing Unison 1.0
After years of engineering, design, and community collaboration, we're excited to release Unison 1.0. This version delivers a refined programming workflow and a mature toolchain. Join us as we celebrate this milestone and look ahead to the future of Unison.
012462
Reposted by Vishal Lama
Lean Focused Research Organization @lean-lang.org · 23/10/2025
𝐋𝐞𝐚𝐧 𝟒.𝟐𝟒.𝟎 𝐢𝐬 𝐥𝐢𝐯𝐞! 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...
0111
Reposted by Vishal Lama
Lean Focused Research Organization @lean-lang.org · 16/09/2025
🎉 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
0205
Reposted by Vishal Lama
José A. Alonso @jalonso.eurosky.social · 01/06/2025
A Lean companion to "Analysis I". ~ Terence Tao. terrytao.wordpress.com/2025/05/31/a... #ITP #LeanProver #Math
terrytao.wordpress.com
A Lean companion to “Analysis I”
Almost 20 years ago, I wrote a textbook in real analysis called “Analysis I”. It was intended to complement the many good available analysis textbooks out there by focusing more on foun…
0144
Reposted by Vishal Lama
Rebecca Skinner @cercerilla.bsky.social · 01/05/2025
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.
23413
Reposted by Vishal Lama
The Guardian @theguardian.com · 28/04/2025
Being shouted at by parents can alter child’s brain, experts tell UK MPs
theguardian.com
Being shouted at by parents can alter child’s brain, experts tell UK MPs
Meeting will hear how exposure to verbal abuse leads to biological changes and can make mental ill-health likelier Being shouted at by their parents reshapes children’s brains and makes them more likely to have mental ill-health and struggle to maintain friendships, MPs will hear on Monday. Verbal abuse by adults can leave children unable to enjoy pleasure and seeing the world as threatening, experts in child development and mental health will tell a meeting at Westminster. Continue reading...
2023078
Reposted by Vishal Lama
Edouard Machery @edouardmachery.bsky.social · 10/04/2025
Free Download for two weeks.#philsci
cambridge.org
Logic and Science
Cambridge Core - Logic - Logic and Science
1269