Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
en.osm.town is one of the many independent Mastodon servers you can use to participate in the fediverse.
An independent, community of OpenStreetMap people on the Fediverse/Mastodon. Funding graciously provided by the OpenStreetMap Foundation.

Administered by:

Server stats:

252
active users

en.osm.town: AboutProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.7

#sagemath

0 posts0 participants0 posts today
Public
Charlotte Aten

I saw today that my CoCalc (cocalc.com/) license was about to renew. I've been meaning to move to a more #SelfHosting or #P2P paradigm, so this was good timing for me to cancel. I left this message when doing so:

"I want to support Sage, and I like using CoCalc, but I don't want to put money towards a service that supports Microsoft, Amazon, or OpenAI in any way. I didn't care so much about this before, and I even log in to CoCalc with a GitHub account, but I'm tired of having my work scraped for profit by people who donate to fascists who are destroying my nation. I would consider returning if all ties to these corporations were cut and cloud computing services came from responsible companies, perhaps in the EU."

I'm pretty sure I already have backups of everything I want from GitHub, so I can be done with them too. I should have quit when Microsoft first arrived. My plan is to switch to Radicle (radicle.xyz/) rather than another centralized service. I'll be sure to post about how that goes.

cocalc.comCollaborative Calculation and Data ScienceCoCalc landing pages and documentation
#Sage#math#SageMath
Public
Nadiah Kristensen

I recently read a paper by Kleshnina and others and used it to teach myself some evolutionary game theory techniques.

This is a little obscure, so I'll thread below about why this topic matters for humans and the environment 🧵

nadiah.org/2024/11/20/kleshnin

Nadiah Pardede Kristensen · Check if an iterated Prisoner’s Dilemma strategy is a subgame perfect Nash equilibriumI recently read a paper by Kleshnina et al. (2023), The effect of environmental information on evolution of cooperation in stochastic games, which provided an opportunity to teach myself about how to analyse iterated games. In particular, the problem they investigated admits 64 possible scenarios with 256 possible strategies each, and I was interested in writing code that could automate the analysis. The solution I eventually landed on (Github repo) used a combination of SymPy, NetworkX, SageMath, the Z3 Theorem Prover, and PyEDA for Boolean minimisation, but I think my approach could be improved.
#GameTheory#PrisonersDilemma#iteratedGame
Public
Eugenia L

#Switch to #opensource solutions:

Windows: #Linux
Photoshop: #Gimp 3.0-rc
Illustrator: #Inkscape
PremierePro: #Kdenlive, #Shotcut
Office/Acrobat: #OnlyOffice, #LibreOffice
Maya: #Blender
Media: #VLC
Unity: #Godot
ToonBoom: #SynfigStudio, #Pencil2D
InDesign: #Scribus
Nuke: #Natron
Procreate: #Krita
After Effects: #Friction
Mathematica: #SageMath, #SymPy
MatLab: #GnuOctave
Audition: #Audacity
Autocad: #FreeCAD, #QCad
Ableton: #Ardour, #LMMS (daily build)
Lightroom: #DarkTable, #RawTherapee

#foss
Replied in thread
Public
رہگزر

I have also written an finicky to setup xdg-desktop-portal that let one choose #files using #emacs codeberg.org/rahguzar/filechoo , an Emacs interface to #hoogle codeberg.org/rahguzar/consult-

There is a (kind of in progress) major mode for #sagemath codeberg.org/rahguzar/sage-mod which hasn't seen much progress in a while because it is usable for its only user i.e. me.

Recently I managed to make produce a (humongous) #texinfo manual for Sage so that I can read it from Emacs github.com/sagemath/sage/issue

Codeberg.orgfilechooserfilechooser.el: An xdg-desktop-portal filechooser
Public
Sergei Trofimovich

Sometimes it takes more time to refute a `gcc` bug than confirm it. This week I spent most time on gcc.gnu.org/PR114872 where `sagemath` `SIGSEGV`ed on some simple inputs.

Bug updates are a bit hard to read and are missing a bit of compiler-unrelated context. I wrote something more coherent in trofi.github.io/posts/312-the-

gcc.gnu.org114872 – [13/14/15 Regression] Miscompilation with -O2 after commit r13-8037
#sagemath#bug
Public
Madison Python

It's just 10 days till our next meetup! 🎉

Join us as we learn about #python tooling for #math research. There will be discussion of #SageMath and #Macaulay2, among others. Should be really interesting.

Also there will be free pizza 🍕 + :python:

The event is free and open to the public, hosted at #Madison's Central Library. All are welcome, including experts and newcomers alike.

See you there!

meetup.com/madison-python/even

MeetupCalculating Invariants of Elliptic Curves, Thu, Dec 14, 2023, 6:30 PM | MeetupThis talk will explore how to utilize open source Computer Algebra Systems such as SageMath and Macaulay2, which provide a convenient environment for doing complex computat
#MadisonWI#UWMadison#Mathematics
Replied in thread
Public
Dan Drake 🦆

@burger_jaap

(tl;dr we replaced our natural-gas-only furnace with a dual-fuel gas and heat pump one and it's great.)

On the subject of heat pumps and mathematical modeling: in summer 2022, I got a heat pump furnace/air conditioning unit. Here in #Wisconsin it gets very cold in winter, so the furnace needs to be dual-fuel: both a heat pump and natural gas.

We were replacing a natural gas furnace, so I wasn't expecting any large difference between the old furnace and the new one when using gas. So I wanted to compare energy usage between situations when the old furnace would be running (using gas) and when the new one would be using the heat pump.

I have an Ecobee smart thermostat, and you can download all your usage and temperature data in CSV format. I used that to estimate that the heat pump would replace about one third of our gas usage. I made a nice #Sagemath notebook and everything. :)

That was summer 2022. I then tracked our gas usage last winter -- and was pleased to find my estimate was right!

Yay for data and modeling and heat pumps...

Public
Terence Tao

I discovered today that #ChatGPT and #CoCalc (which already has AI integration) make it extremely easy to perform any #sagemath computation that can be described to GPT; I used this to perform enough numerics to arrive at the solution to a problem in mathoverflow.net/a/454051/766 . (The GPT provided code did contain some minor syntax errors, but CoCalc’s native AI could easily fix them.) I did not feel proficient enough in the past to use Sage on a regular basis, but now I think I will.

MathOverflowOne specific inequalityHow to prove this inequality $$\left(a+\frac{1}{2} \left(a b-\sqrt{a^2-1} \sqrt{b^2-1}\right)\right)^{3/4}-\frac{\sqrt{3} \cos\left[\frac{3 (\pi -t)}{4}\right]}{2 \left(\frac{1}{2}+b\right)^{1/4}}-...
ExploreLive feeds
About