Lightnews — Scholar-powered news

Reposted by Matthias Köppe

Steven Clontz @clontz.org · 12h

A recording is now available on our @code4math.org Zulip (must be logged in)! code4math.zulipchat.com#narrow/chann...

1 2

Matthias Köppe @mkoeppe.bsky.social · 12h

If you hit the frequencies right, it may indeed resonate better

2

Reposted by Matthias Köppe

passagemath @passagemath.org · 1d

Just released: Version 10.6.30 of passagemath, the pip-installable modularized #SageMath fork, a general-purpose #Mathematics system in #Python.
github.com/passagemath/...
New: A package by T.H. Đặng, D.T. Trần, M.Đ. Hoàng, T.T.Â. Nguyễn for operations on the Grassmannian.
#FOSS #MathSky #GAPSystem

Release passagemath-10.6.30 · passagemath/passagemath

macOS ARM wheels now also support macOS 13 Exceptions: The passagemath-giac and passagemath-macaulay2 wheels require macOS 14 or newer. passagemath-gap updates The GAP package float is now availabl...

github.com

4 1

Reposted by Matthias Köppe

Prof Christelle Vincent @xl772.bsky.social · 3d

Ever wanted to have your undergrads write computer-verified proofs but without having to learn all of Lean? Come check out Lurch!

October 6, 3pm Eastern

#MathSky

code4math Community @code4math.org · 3d

Join us tomorrow 3pm Eastern on Zoom for our October 2025 Concerning.

preview.scholarlattice.org/events/77211...

Ken Monks will be sharing about the Lurch Plus project: write natural language proofs that are verified by computer?! lurch.plus

Lurch Plus!

This is the home page for lurch.plus, the home of the Lurch proof assistant, plus additional content.

lurch.plus

3 6 17

Matthias Köppe @mkoeppe.bsky.social · 5d

The five basic senses of taste: sweet, sour, salty, bitter, and Baire category

5

Reposted by Matthias Köppe

Thomas Wouters @yhg1s.bsky.social · 5d

Let me post a *non*-subskeet for once... We made a thing!

discuss.python.org/t/pep-810-ex...

#Python #PEP

PEP 810: Explicit lazy imports

👋 Hi everyone, We are very exited to share with you PEP 810: Explicit lazy imports: We’re proposing an opt-in lazy import syntax that defers module loading until first use, aiming for faster startup,...

discuss.python.org

6 27 53

Matthias Köppe @mkoeppe.bsky.social · 7d

Fundamental opposition now plz uwu

1

Matthias Köppe @mkoeppe.bsky.social · 7d

If there's interest, I can tell the story of #FPSAC, the Algebraic #Combinatorics conference, held at @ucdavis.bsky.social in 2023, where I was invited to (and ... temporarily ... served on) the Organizing Committee in an attempt to mock me for my accessibility advocacy in our department.

1 1

Reposted by Matthias Köppe

Sophie Huiberts @sophie.huiberts.me · 7d

question for academics who dont fly:
besides bluesky, how do you maintain your connection with your overseas community?

4 1 10

Matthias Köppe @mkoeppe.bsky.social · 7d

Warning: It's not a path to popularity. But advances in accessibility have never been reached by asking nicely.

1 4

Matthias Köppe @mkoeppe.bsky.social · 7d

A long-term approach: Become an ally of the local members of the community who cannot participate in seminars, workshops, conferences, social events in person because of health or other restrictions. Once events are made remote-accessible for locals, they can also be open for remote participants.

1 1 5

Reposted by Matthias Köppe

passagemath @passagemath.org · 8d

Just released: Version 10.6.29 of passagemath, the pip-installable modularized #SageMath fork, a general-purpose #Mathematics system in #Python.
github.com/passagemath/...
This version brings a new package by P. Weil for finitely generated subgroups of infinite groups.
#FOSS #MathSky #GAPSystem

Release passagemath-10.6.29 · passagemath/passagemath

passagemath-gap updates GAP was upgraded to version 4.15.0; release notes. New package for finitely generated subgroups of infinite groups The new package stallings_graphs by @pascalweil enables co...

github.com

3 5

Matthias Köppe @mkoeppe.bsky.social · 14d

Try meetup.com

1

Reposted by Matthias Köppe

passagemath @passagemath.org · 14d

Just released: Version 10.6.28 of passagemath, the pip-installable modularized #SageMath fork, a general-purpose #Mathematics system in #Python.
github.com/passagemath/...
This version brings a new package for computations with free group automorphisms and train-track representatives.
#FOSS #MathSky

Release passagemath-10.6.28 · passagemath/passagemath

New package for free group automorphisms The new package train_track by @coulbois and @dbenielli enables computations with free group automorphisms and train-track representatives. What's Changed ...

github.com

3 2

Matthias Köppe @mkoeppe.bsky.social · 15d

Проект passagemath разрабатывает стабильную версию дистрибутива #SageMath без таких разрушительных изменений.
github.com/passagemath

passagemath

General purpose mathematical software system, fork of SageMath supporting modularized installation with pip - passagemath

github.com

2 1

Matthias Köppe @mkoeppe.bsky.social · 15d

Inexplicably, the meson-based build switched to a new, incompatible "sage" script implemented in github.com/sagemath/sag..., which does not implement "-t" (and other options).

sage/src/sage/cli at develop · sagemath/sage

Main repository of SageMath. Contribute to sagemath/sage development by creating an account on GitHub.

github.com

1

Reposted by Matthias Köppe

passagemath @passagemath.org · 16d

The new pip-installable #Python package passagemath-bootstrap maps a generic #PURL (package URL) to a package name in software distributions such as #Debian, #Ubuntu, #Fedora, #VoidLinux, etc. and formats system package manager commands to install the package. #PEP725
pypi.org/project/pass...

passagemath-bootstrap

passagemath: Package database

pypi.org

2 2

Reposted by Matthias Köppe

Thiago Serra @thserra.bsky.social · 16d

Here is a list of Winter / Summer schools on AI, data science, optimization, and related topics in operations research happening between October of 2025 and February of 2026:

thiagoserra.com/2025/09/22/w...

Winter 2025 / 2026 schools on artificial intelligence, data science, machine learning, optimization, and other relevant topics in operations research

Following up on a recent post about Summer 2025 schools, here is a new list. The purpose of organizing this is to help graduate students find a summer school to gain skills related to operations re…

thiagoserra.com

4 8

Reposted by Matthias Köppe

passagemath @passagemath.org · 16d

Just released: Version 10.6.27 of passagemath, the pip-installable modularized #SageMath fork, a general-purpose #Mathematics system in #Python.
github.com/passagemath/...
This version brings a new package for Igusa class polynomials, CM fields, and Shimura's reciprocity law.
#FOSS #MathSky

Release passagemath-10.6.27 · passagemath/passagemath

passagemath-bootstrap: pip-installable database of system packages The new package passagemath-bootstrap provides the Sage distribution's database of system packages in various software distributio...

github.com

3 4

Reposted by Matthias Köppe

Chris Rackauckas @chrisrackauckas.bsky.social · 16d

Scientific Modeling Cheatsheet: #MATLAB vs #Python vs #Julialang

Side-by-side comparison for:
• Differential equations
• Optimization
• Automatic differentiation
• Symbolic computing
• More!

Highlights ecosystem differences & best practices.

sciml.github.io/Scientific_M...

Scientific Modeling Cheatsheet – MATLAB – Python – Julia Quick Reference

sciml.github.io

1 9 29

Reposted by Matthias Köppe

passagemath @passagemath.org · 17d

Just released: Version 10.6.26 of passagemath, the pip-installable modularized #SageMath fork, a general-purpose #Mathematics system in #Python.
This version brings a new package for monomial ideals of affine (non-normal) semigroup rings.
github.com/passagemath/...
#FOSS #MathSky #CommutativeAlgebra

Release passagemath-10.6.26 · passagemath/passagemath

New package for affine semigroup rings and their monomial ideals The new package stdpairs by @byeongsuyu enables symbolic computations for monomial ideals of affine (non-normal) semigroup rings. In...

github.com

3 1

Reposted by Matthias Köppe

passagemath @passagemath.org · 18d

Just released: Version 10.6.25 of passagemath, the pip-installable modularized #SageMath fork, a general-purpose #Mathematics system in #Python.
This version brings updates for passagemath-gap #GAPSystem and a new package for moduli space invariants.
github.com/passagemath/...
#FOSS #MathSky