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
@vishallama.bsky.social
Functional programmer (Scala), Data Scientist (R/Python), and Options Trader. Interested in math, statistics, science, history, philosophy, linguistics, literature, buddhism, running (5k), and more.
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
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.
π Unison 1.0 has landed!
After years of engineering, design, and community collaboration, weβre excited to announce this milestone!
Spread the word!
ππππ§ π.ππ.π π’π¬ π₯π’π―π! 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...
π 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
A Lean companion to "Analysis I". ~ Terence Tao. terrytao.wordpress.com/2025/05/31/a... #ITP #LeanProver #Math
01.06.2025 07:40 β π 14 π 4 π¬ 0 π 0If 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.
30.04.2025 23:10 β π 34 π 13 π¬ 2 π 0Being shouted at by parents can alter childβs brain, experts tell UK MPs
28.04.2025 04:35 β π 235 π 80 π¬ 20 π 28He, too, got conned. Who would've thought?
08.04.2025 06:08 β π 4 π 0 π¬ 0 π 0Agreed, which is why IF I ever buy options, my expiration is at least a year out, and in almost all such cases, I only do deep ITM. In the overwhelming number of cases, I just sell options.
07.04.2025 06:42 β π 4 π 0 π¬ 0 π 0I am shorting everything tomorrow.
06.04.2025 23:11 β π 1 π 0 π¬ 1 π 0Mike Johnson has apparently told the Rs that they need to trust Trump on his economic instincts and to stand with Trump resolutely on the issue of tariffs. I think there is no going back, now. Americans truly have no idea how quickly the collapse will happen. 2008 will pale in comparison.
06.04.2025 23:11 β π 1 π 0 π¬ 1 π 0Snowboarding is much cooler and more fun, if I may say so. However, learning the first steps from an instructor pays rich dividends later.
06.03.2025 19:59 β π 2 π 0 π¬ 0 π 0