Toots for glocq@mathstodon.xyz account

Written by Grégoire Locqueville on 2025-02-02 at 13:07

I'm still not clear whether my private #fediverse account (which is meant to basically replace my #instagram account) should be on #mastodon or #pixelfed, and whether it being on one or the other makes much difference.

Both will allow me to interact with any other account on the fediverse*, right? And to post text and/or images? So is it just a matter of which UI I'll be interacting with**? Or is there a deeper difference between mastodon/pixelfed/pleroma/etc.?

• Modulo moderation-related decisions from instance admins
• • Assuming I use the default web interface, but I could even override that using a third-party app

=> More informations about this toot | View the thread

Written by Grégoire Locqueville on 2025-01-25 at 18:39

Any resource suggestions for an acquaintance of mine who would like to get into #math ? They pretty much stopped doing math in high school, they have a philosophy background, today they're a software developer discovering #Haskell and it makes them want to get into math more. They're very smart.

I was thinking about Bertrand Russell's Introduction to Mathematical Philosophy. Also just discovered (while looking up Russell's book) the existence of An Introduction to the Philosophy of Mathematics by Mark Colyvan, any opinions on that one?

I have suggested they watch pop sci videos such as 3blue1brown's videos, but I feel like they need more of a general foundation rather than expositions on specific topics.

=> More informations about this toot | View the thread

Written by Grégoire Locqueville on 2025-01-15 at 15:17

I suspect the answer to this is something along the lines of:

fn some_function(some_argument: &mut SomeType) {

=> /toot/113833032327076347 More informations about this toot
=> /thread/113833032327076347 View the thread

### Written by Grégoire Locqueville on 2025-01-15 at 14:57
Ok here's a first question I encountered while working on the #rustlings :

When defining a function, what does it mean to put the `mut` keyword in front of the argument's *name* vs. in front the the argument's *type*? E.g. what's the difference between the following two lines:

fn some_function(mut some_arg: SomeType) {

fn some_function(some_arg: mut SomeType) {