mc ☕ @mc@qoto.org
Describe myself in 5 tag words:
#mathfolk #programmer #reader #traveller #researcher
header: Cobalt Mirror (Lake Louise), photo by Paul Zizka
Joined Apr 2021
I do not trust Oracle.
So what?
I just installed quemu.
I never used qemu before.
Dammit!
mc ☕
boosted
RT @RonAmadeo@twitter.com: So @lmanul quit #Google and released a bunch of internal-only Google comics, and I have a favorite. https://goomics.net/50/
mc ☕
boosted
#Typer is a command line interface generator for #Python.
Typer generates CLIs using type hints provided in the parameters of commands. Commands are easily defined by using function decorators and are grouped together, allowing for painless definition of subcommands. Typer supports default arguments with keywords, choices with enums, and simple support for command autocompletion.
Website 🔗️: https://typer.tiangolo.com/
mc ☕
boosted
Rechecking my mail server... the config file is so funny. I didn't realize I wrote such a hilarious file back then. #libreops
mc ☕
boosted
A couple days ago I boosted some misinformation about the drug #ivermectin and its supposed efficacy for the treatment of #covid19. I trusted because somewhere in my mind this was an instance of and for science people. I apologize.
https://en.wikipedia.org/wiki/Ivermectin#COVID-19_misinformation
"VIII. LIFE'S GIFTS.
I saw a woman sleeping. In her sleep she dreamt Life stood before her, and held in each hand a gift—in the one Love, in the other Freedom. And she said to the woman, "Choose!"
And the woman waited long: and she said, "Freedom!"
And Life said, "Thou hast well chosen. If thou hadst said, 'Love,' I would have given thee that thou didst ask for; and I would have gone from thee, and returned to thee no more. Now, the day will come when I shall return. In that day I shall bear both gifts in one hand."
I heard the woman laugh in her sleep.
London."
-- Olive Schreiner, Dreams
Full Circle - The independent #magazine for the #ubuntu #linux community
https://fullcirclemagazine.org/2021/06/25/full-circle-magazine-170/
mc ☕
boosted
Hi fediverse,
Which of the following would be the nicest to wrap a low-level 3D geometry (I.e vertices, geometry, topology) operations library written in Rust.
Haskell
Common Lisp (and which implementation?)
Scheme:
Racket
Chicken
Gambit
...
Ideally, I'd like to be able to easily make higher-level operations such as boolean, blend, etc from the low level library and make that as one command in an ergonomic language (with a repl) that allows me to play around easily with various geometrical objects to compose them in increasingly complex ways and then pass the modified object back to the Rust code in case we need to revert a high-level operation operation (this is key). Eventually, a parser would let you pass some math formulae in (Latex?) and execute the live math for you in an interactive way that let's you modify the objects.
Thoughts?
[Boosts appreciated]
#math #programming #Scheme #emacs #fp #latex #haskell #commonlisp #racket #geometry #rust #coding #foss #floss #science #engineering
## _Mathematicians welcome computer-assisted proof in ‘grand unification’ theory_
### _Proof-assistant software handles an abstract concept at the cutting edge of research, revealing a bigger role for software in mathematics ._
...
### _A grand unification_
_Around 2018, Scholze and Clausen began to realize that the conventional approach to the concept of topology led to incompatibilities between these three mathematical universes — geometry, functional analysis and p-adic numbers — but that alternative foundations could bridge those gaps. Many results in each of those fields seem to have analogues in the others, even though they apparently deal with completely different concepts. But once topology is defined in the ‘correct’ way, the analogies between the theories are revealed to be instances of the same ‘condensed mathematics’, the two researchers proposed. “It is some kind of grand unification” of the three fields, Clausen says._
...
mc ☕
boosted
Star Update:
A second exposure confirms that what I saw 4 days ago wasn't a camera defect or error, but a variable star.
I scoured the internet, and could only find 1 catalog documenting this star: http://astro.corlan.net/stars/OPH/SV-OPH.html
SV OPHIUCHI (1751+03)
Comparison: https://petabyte.heb12.com/astro/June%2023%202021/closer.gif
Describe myself in 5 tag words:
#mathfolk #programmer #reader #traveller #researcher
header: Cobalt Mirror (Lake Louise), photo by Paul Zizka
Joined Apr 2021
