Matthias Köppe
@mkoeppe.bsky.social
830 followers 400 following 410 posts
Professor, UC Davis #Mathematics. He/him. #DavisCA. Made #SageMath pip-installable @passagemath.org. https://github.com/mkoeppe #Python #OpenSource #cutgeneratingfunctionology #optimization #orms I block accounts to increase reading focus.
Posts Media Videos Starter Packs
mkoeppe.bsky.social
But the sense of ownership in #OpenSource can become stale over time as the project ages – and can transform to toxic entitlement and give rise to systemic disrespect against new contributors or against those outside of a perceived in-group.
mkoeppe.bsky.social
On the positive side, the sense of ownership of an #OpenSource project can translate into motivation, excitement, a sense of belonging in the developer/user communities, and ultimately inspire community members to contributing productively, acting respectfully, and taking on responsibilities.
mkoeppe.bsky.social
What has been happening in the #SageMath project over the second half of the 21 years of its existence can serve as a cautionary tale for other long-running #OpenSource projects.
Much of it can be understood by reflecting on the notion of "ownership" of an #OpenSource project.
mkoeppe.bsky.social
#otd 1 year ago I created the @passagemath.org fork of #SageMath, the general-purpose #OpenSource #Mathematics system in #Python.
I created the fork in response to the Sage project's final decline into systemic toxicity; in hindsight, the step was long overdue.
github.com/passagemath/...
src/bin/sage-update-version: passagemath · passagemath/passagemath@01ca09d
github.com
mkoeppe.bsky.social
How to sustain this financially – that's something for your generation to figure out...
Reposted by Matthias Köppe
passagemath.org
The passagemath project maintains an updated version of the #SageMath distribution, in part for use with #cibuildwheel.
The passagemath-10.6.30 release notes now give an overview of the non-Python packages upgraded in (or only available in) passagemath's version of the Sage distribution.
passagemath.org
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
Reposted by Matthias Köppe
passagemath.org
Added in post: Binary wheels for passagemath-macaulay2 are now also available for Linux on ARM.
#SageMath #Macaulay2 #Python #FOSS #Mathematics
passagemath.org
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
Reposted by Matthias Köppe
sophie.huiberts.me
found an IRL linear program, took some pictures
4 photos showing the same thing from different angles. a convex polyhedron made of glass, with black edges, is held in two hands. the hands wear white gloves, the polyhedron is wider than it is tall or deep. width is around 4 hands, other dimensions are about one and a half. inside the polyhedron is a orange ping pong ball, and is has found its resting spot at the bottom vertex. hence it solves the LP of minimizing height subject to being inside the polyhedron
Reposted by Matthias Köppe
clontz.org
A recording is now available on our @code4math.org Zulip (must be logged in)! code4math.zulipchat.com#narrow/chann...
mkoeppe.bsky.social
If you hit the frequencies right, it may indeed resonate better
Reposted by Matthias Köppe
passagemath.org
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
Reposted by Matthias Köppe
xl772.bsky.social
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.org
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
mkoeppe.bsky.social
The five basic senses of taste: sweet, sour, salty, bitter, and Baire category
mkoeppe.bsky.social
Fundamental opposition now plz uwu
mkoeppe.bsky.social
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.
Reposted by Matthias Köppe
sophie.huiberts.me
question for academics who dont fly:
besides bluesky, how do you maintain your connection with your overseas community?
mkoeppe.bsky.social
Warning: It's not a path to popularity. But advances in accessibility have never been reached by asking nicely.
mkoeppe.bsky.social
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.
Reposted by Matthias Köppe
passagemath.org
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
Reposted by Matthias Köppe
passagemath.org
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
mkoeppe.bsky.social
Проект passagemath разрабатывает стабильную версию дистрибутива #SageMath без таких разрушительных изменений.
github.com/passagemath
passagemath
General purpose mathematical software system, fork of SageMath supporting modularized installation with pip - passagemath
github.com
mkoeppe.bsky.social
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