101010.pl is one of the many independent Mastodon servers you can use to participate in the fediverse.
101010.pl czyli najstarszy polski serwer Mastodon. Posiadamy wpisy do 2048 znaków.

Server stats:

487
active users

#sagemath

1 post1 participant0 posts today

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

#Switch to #OpenSource solutions in #Linux

Photoshop: #Photopea
Illustrator: #Inkscape
PremierePro: #Kdenlive #Shotcut #OBStudio
Office: #FreeOffice #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

And more...

#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

I've been a fan of Sage (sagemath.org/) and CoCalc (cocalc.com/) for some time, and I would now like to complain.

Sage is an open source computer algebra system which is written in Python, but for technical reasons comes with its own version of the Python interpreter. The first IDE I used regularly was Eclipse, and I used to know the arcane steps needed to make it use the Sage Python binary on various systems.

I switched to PyCharm some years ago, but I have only been using it to write pure Python. Now I want to use Sage, so I tried doing the same gymnastics I used to do with Eclipse and was annoyed.

I decided that being forced to work online wasn't a big deal, so I'd use CoCalc instead. Even though CoCalc was made with Sage in mind, there does not seem to be direct support for running Python modules with Sage, only the notebook style is promoted. It seems absurd to me that after all these years it is still so much work to simply use Sage in a Python project with an IDE.

In addition to this, Sage's support for the kinds of calculations I want to do at the moment is quite immature, with TODO in many, many places.

I want to use Sage since it combines many useful (and fast) libraries that I need, but I think I need to just accept that I should start building my own solution that works for my purposes.

I know that I could contribute to Sage, but I feel like the weight of changing what I need to change is so much, and that I would get my calculation done faster by just doing it myself.

SageMath Mathematical Software SystemSageMath Mathematical Software System - SageSageMath is a free and open-source mathematical software system.
Replied in thread

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
Replied in thread

@mariatta, I think I would have enjoyed PyConUS. My attitude toward #python has been evolving rapidly. My first encounter was in the 90s looking at the mailman code, but never touched it or looked at it until a couple of years ago.

My reintroduction was via #SageMath. I liked using Python for teaching about other things, including #cryptography. I could write things that would be readable to many people and I didn’t have to use a bigint library. So I have largely shifted to #jupyter from #RMarkdown for my own notes on things and for exposition.

But (putting it mildly) I am not a fan of dynamic typing, and I was coding against the grain. But a very wise friend, @averagesecurityguy said, “Let Python be Python”.

The work of the Python typing community has helped me enormously. If I broaden my notion of “compile time” to include #mypy checks, then I have decent compile time type checking, while letting Python be Python.

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
Replied in thread

@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...

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}}-...

@ericsfraga @mkwadee @ademalsasa Have you looked at #sagemath? You can run it locally, either using Linux or WSL, or use it online at cocalc.com Because it's based on #python, you have a world-class programming language to use with it. Cocalc has a somewhat limited free version, and a better paid version (the payment is for the hosting, not for the software). And if you run your own server, you can put CoCalc on it yourself.

cocalc.comCollaborative Calculation and Data ScienceCoCalc landing pages and documentation
Replied in thread

@havoc @mcnees

No it's not a joke.

There's not much point putting a free licence on a code if it is designed to run only on non-free software. The user would have to modify the code to run it as free software, and would have to guess what the functions do in order to try to reproduce them with #SageMath or similar.

Many of us have no desire to endanger the security of our computers with non-free software, nor do we wish to depend on #FaithBasedSoftware such as Mathematica.

Replied in thread

@mcnees

It's not an issue of "not having access to Mathematica", it's rather that here in the #Fediverse you're in the free world, where you're benefiting from #FreeSoftware ethics and the associated community building, and imprisoned code or encouraging dependence on imprisoned code is generally seen as unconstructive in terms of building a community.

Consider python, octave, maxima or for a front end to a huge bunch of free-licensed packages, #SageMath [1].

[1] en.wikipedia.org/wiki/SageMath

en.wikipedia.orgSageMath - Wikipedia