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/

a7f69a3774c517a2.jpg

**mc ☕** · Jul 08, 2021, 04:48

mc ☕ boosted

**skunksarebetter** @skunksarebetter@fosstodon.org · Jul 08, 2021, 04:48

Jul 08, 2021, 04:48

skunksarebetter @skunksarebetter@fosstodon.org

#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/

#free #opensource #foss #fossmendations #programming

**mc ☕** · Jul 07, 2021, 22:00

mc ☕ boosted

**niconiconi [MOVED]** @niconiconi@cybre.space · Jul 07, 2021, 22:00

Jul 07, 2021, 22:00

niconiconi [MOVED] @niconiconi@cybre.space

Rechecking my mail server... the config file is so funny. I didn't realize I wrote such a hilarious file back then. #libreops

24c090c0978003fc.png

**mc ☕** @mc@qoto.org · Jul 06, 2021, 23:01

**mc ☕** @mc@qoto.org · Jul 06, 2021, 23:01

Jul 06, 2021, 23:01

mc ☕ @mc@qoto.org

*handling

Show thread

**mc ☕** @mc@qoto.org · Jul 06, 2021, 17:06

**mc ☕** @mc@qoto.org · Jul 06, 2021, 17:06

Jul 06, 2021, 17:06

mc ☕ @mc@qoto.org

#humor #women #mood

7b721b8e45530816.jpg

**mc ☕** · Jul 04, 2021, 06:15

mc ☕ boosted

**Khurram Wadee ✅** @mkwadee@mastodon.org.uk · Jul 04, 2021, 06:15

Jul 04, 2021, 06:15

Khurram Wadee ✅ @mkwadee@mastodon.org.uk

The #Face on #Mars
#Astronomy #Picture of the Day

https://apod.nasa.gov/apod/ap210704.html

#APOD

90ae0fdf2ee06b0c.jpg

**mc ☕** @mc@qoto.org · Jul 01, 2021, 12:32

**mc ☕** @mc@qoto.org · Jul 01, 2021, 12:32

Jul 01, 2021, 12:32

mc ☕ @mc@qoto.org

#graffiti #humor #nosex

c4b6ec8eda300ed8.jpg

**mc ☕** @mc@qoto.org · Jun 30, 2021, 10:14

**mc ☕** @mc@qoto.org · Jun 30, 2021, 10:14

Jun 30, 2021, 10:14

mc ☕ @mc@qoto.org

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

**mc ☕** @mc@qoto.org · Jun 28, 2021, 22:57

**mc ☕** @mc@qoto.org · Jun 28, 2021, 22:57

Jun 28, 2021, 22:57

mc ☕ @mc@qoto.org

#robot #discrimination

ed91ef92984c8622.jpg

**mc ☕** @mc@qoto.org · Jun 27, 2021, 16:26

**mc ☕** @mc@qoto.org · Jun 27, 2021, 16:26

Jun 27, 2021, 16:26

mc ☕ @mc@qoto.org

"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

#books #poetry #schreiner

**mc ☕** @mc@qoto.org · Jun 26, 2021, 23:44

**mc ☕** @mc@qoto.org · Jun 26, 2021, 23:44

Jun 26, 2021, 23:44

mc ☕ @mc@qoto.org

Full Circle - The independent #magazine for the #ubuntu #linux community

https://fullcirclemagazine.org/2021/06/25/full-circle-magazine-170/

**mc ☕** · Jun 26, 2021, 13:00

mc ☕ boosted

**Spartaco Pécora {🇻🇪 ⋂ 🇮🇹}** @zpartacoos@qoto.org · Jun 26, 2021, 13:00

Jun 26, 2021, 13:00

Spartaco Pécora {🇻🇪 ⋂ 🇮🇹} @zpartacoos@qoto.org

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

**mc ☕** @mc@qoto.org · Jun 23, 2021, 22:46

**mc ☕** @mc@qoto.org · Jun 23, 2021, 22:46

Jun 23, 2021, 22:46

mc ☕ @mc@qoto.org

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

#mathematics #computing #ProofAssistant #software

https://www.nature.com/articles/d41586-021-01627-2?error=cookies_not_supported&code=bc3aeb22-729c-47ee-bea5-27423a45cde4