Grégoire Locqueville

Hi, I'm Grégoire, a person passionate about a bunch of things, including maths, software, music, voice, human and computer languages, and virtual places.
Feel free to get in touch!
Private account: @glocq

Public Key

npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4

NIP-05 Address

glocq@mathstodon-xyz.mostr.pub

Profile Code

nprofile1qqsd5tlmn9pdxfaktmnx79fddxjz0ug55jjz76dymxug4ww2h93nnwgpz3mhxue69uhhyetvv9ujuerpd46hxtnfduqs6amnwvaz7tmwdaejumr0dsn3zksp

Publishing to

relay.damus.io

nos.lol

Author Public Key

npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4

Show more details

Last Notes

2026-07-19 12:49:55 UTC

- reply

@nprofile…0lam Oui extraire = décompresser, je pense qu'on est bon tu as passé cette étape-là. Tu as bien un fichier install-reaper.sh ?

2026-07-19 12:45:17 UTC

- reply

@nprofile…0lam Ah si tu peux l'extraire il ne va peut-être pas y avoir besoin de ligne de commande !...
Maintenant on va essayer d'exécuter le script install-reaper.sh qui est dans le dossier décompressé. Essaye double cliquer dessus. Si ça t'ouvre le fichier comme du texte (pas ce que tu veux), essaye clic droit -> exécuter ou quelque chose comme ça.
Avec un peu de malchance, ça va pas marcher parce qu'il te manquera des dépendances ou quoi, mais déjà si tu réussis à lui faire lancer le script c'est une étape, même si le script échoue.

2026-07-19 12:36:36 UTC

- reply

@nprofile…0lam Non non c'est normal ! Quand tu as un .zip en général tu peux double cliquer et ça te le décompresse, mais là c'est un autre format ça risque d'être plus compliqué.
Essaye quand même (si c'est pas déjà fait) de double cliquer dessus, et/ou de faire clic/droit -> décompresser
Si ça ne marche pas... tu as déjà utilisé le terminal ? 😬

2026-07-19 12:32:31 UTC

- reply

@nprofile…0lam Hello, tu en es arrivé où ? Tu as téléchargé le fichier ? Est-ce que tu as essayé/réussi à le décompresser ou tu ne sais pas comment faire ?

2026-06-28 22:32:52 UTC

An aimless flyby in my WIP procedurally generated city.
This is what I made the #fernweh library for :)
#bevy
https://media.mathstodon.xyz/media_attachments/files/116/830/096/517/848/527/original/e161228acda1bf98.mp4

2026-06-20 16:56:30 UTC

Ever wanted to make a game that takes place in a procedurally generated world, but don't want to deal with the hassle of instantiating chunks as your player moves?
With my #fernweh library for #bevy, you declaratively define what chunks are made of, using the brand new Bevy scene system, and fernweh takes care of asynchronously computing and spawning/despawning them as needed.
Fernweh is *very* generic: it doesn't care if your game is 2D, 3D, or whatever else. *You* get to decide how to refer to chunks, *you* get to decide what chunks should be visible at what point, and chunks may be composed of *anything* that can be represented as a Bevy scene, that is, pretty much anything you could want (meshes, colliders, audio sources...).
https://crates.io/crates/fernweh
#rust #RustLang #BevyEngine #procgen #ProceduralGeneration #bsn

2026-05-19 20:50:38 UTC

I have a naive question about #blender. Am I right that there is no way to export shaders defined in Blender? So if you use Blender to make, say, a model with custom shading for use in a video game, you need to reimplement your shader in your game's code?
Same question for geometry nodes: I don't think you can export a procedural generation algorithm defined using geometry nodes into a form that's usable outside of Blender?
If so, what's the workflow like for artists in game/animation studios? Do they just not make shaders in Blender? Do they make them, but the devs reimplement them afterwards?
I'm at a point where I have a decent idea how games work "algorithmically", but I am not clear what the workflows for developing them look like in practice

2026-04-07 13:27:26 UTC

- reply

@nprofile…23eu Sure! Is there a planned meetup? I haven't seen any

2026-04-02 14:08:56 UTC

- reply

@nprofile…23eu
... what about them?

2026-04-02 02:25:28 UTC

- reply

@nprofile…23eu I wish I had the skills 🥲
(what do you mean exactly by "formalisation of DH" though?)

2026-04-01 10:43:28 UTC

- reply

@nprofile…23eu
Ok, I'll wait
https://ghc.serokell.io/dh

2026-04-01 10:29:47 UTC

So there's been some slightly heated discussion about proof assistants over here, but I wonder: what dependently-typed programming language would you all recommend to write programs in?
I had a go at Lean and found it quite pleasant to work with, I wonder how it compares to the alternatives

2026-03-31 12:57:33 UTC

What's the conceptual difference between `Iterator` and `IntoIterator`?
Like for instance, `Vec` implements `IntoIterator`, which means it may be converted to a type that implements `Iterator`. But what stopped the people who implemented `IntoIterator` for `Vec` to have it directly implement `Iterator`?
#RustLang

2026-03-30 17:34:11 UTC

- reply

@nprofile…m0rx Sauf que j'ai rarement vu des fosses septiques qui promettaient d'aider à trouver de quoi subvenir à ses besoins...

2026-03-30 11:31:15 UTC

When I look for resources about #rust lifetimes:
https://media.mathstodon.xyz/media_attachments/files/116/317/898/333/165/387/original/3308eda7f35d0018.jpg

2026-02-19 10:32:05 UTC

I'm not supposed to have perfect pitch, but I just heard a pitched down/slowed down version of a familiar song, and I immediately could tell it was pitched down two semitones. So I guess I have a weak version of perfect pitch?

2026-02-17 00:11:37 UTC

"naturally" 🤔
(source: https://ryanbrewer.dev/posts/par/ )
https://media.mathstodon.xyz/media_attachments/files/116/083/056/843/713/990/original/ea0a5e4fbd2623e4.jpg

2026-02-15 08:50:31 UTC

- reply

About the blue milk thing: didn't realize this was a reference (or like, a nod? not sure what the right word is) to this scene in the sequel trilogy:
https://www.youtube.com/watch?v=-0XqMIL6T-g

2026-02-12 14:39:44 UTC

- reply

@nprofile…96ke famous last words

2026-02-12 13:46:15 UTC

La stagiaire de 3e au boulot nous raconte que son prof de maths fait corriger leurs copies à ChatGPT 💀
(oui, les corrections ont des erreurs, et non, les élèves ne sont pas content.es (ça les pénalise))
(enseignement privé sous contrat)

2026-02-12 13:10:16 UTC

- reply

I think this wraps up this thread, unless I get another good idea.
The aim was to get a feel for the decomposition of the exponential function into its Taylor expansion (which is often taken as its definition), and in particular, for how much, when, and how long each monomial dominates.
Note: I only showed the right half of the plane, I guess it would be possible to also show the left half by separating into even- and odd-powered monomials. Maybe another time!

2026-02-12 13:05:38 UTC

- reply

And here are the individual terms (not summed). The colors are still related to those in the previous toot, but I mixed in a little bit of black to ensure a reasonable amount of contrast with the white background.
On the left: each monomial of the decomposition.
On the right: same, but divided by the exponential function again.
#manim #MadeWithManim #mathematics #math #dataviz
https://media.mathstodon.xyz/media_attachments/files/116/057/771/541/028/581/original/0e2cac6292100b8e.jpeg
https://media.mathstodon.xyz/media_attachments/files/116/057/771/554/826/455/original/69e7d16434247616.png

2026-02-12 11:00:14 UTC

- reply

As a follow-up to yesterday's post, here's the same visualization, but with everything normalized, i.e. divided by the exponential function. I haven't included the reversed version (with low-order terms at the top) this time, because now it would just amount to flipping the figure upside down.
#manim #MadeWithManim #MathVisualization #mathematics
https://media.mathstodon.xyz/media_attachments/files/116/057/283/664/252/011/original/f03be977d75065e0.jpeg

2026-02-11 17:07:31 UTC

- reply

@nprofile…yz2e Sounds like the beginning of a SMBC strip scenario

2026-02-11 17:02:55 UTC

- reply

@nprofile…gpuq Maybe not so much...:
Fun fact: a couple months ago, I think someone on here¹ posted a picture similar to the one on the right, as a puzzle, without saying what it was, asking if we could figure it out — and I couldn't!
Then today I thought of making this pair of representations, and only remembered the puzzle and found the solution as I saw my own render :)
¹ Can't remember the account sadly, but I'm pretty sure it was on mathstodon.xyz

2026-02-11 15:56:25 UTC

Decomposition of the exponential function as the sum:
x⁰/0! + x¹/1! + x²/2! + x³/3! + ...
* On the left, low-order terms are at the bottom.
* On the right, low-order terms are at the top.
Same color in both pictures corresponds to the same monomial.
Crazy how different the two pictures look, even though they represent the same decomposition!
https://media.mathstodon.xyz/media_attachments/files/116/052/781/621/495/421/original/eb168654c81f10a0.png
https://media.mathstodon.xyz/media_attachments/files/116/052/781/927/932/492/original/787f5e8441cf6675.jpeg

2026-02-09 22:29:48 UTC

- reply

@nprofile…28n3 Tools? #Inkscape is great for all kinds of vector images, but in particular I think it might be well suited to people who have a simple, geometric picture in mind but don't want to learn complicated tools in depth.
Having been using it for a long time I can't really tell how easy it is to pick up, but anyone feel free to hit me up with requests for help.
In more or less the same space, https://graphite.art/ seems great and is web-based (so no need for installing anything), though I have not used it myself.

2026-02-08 18:48:31 UTC

- reply

@nprofile…mv9c Rust traits correspond to Haskell typeclasses, not types, so I don't know that there's much to be found there.
Closest I know to Haskell's type families in Rust are associated types.

2026-02-05 16:30:39 UTC

- reply

@nprofile…cywg C'est proche de l'analogie classique (enfin, classique — je crois) avec l'eau. Voir cette BD http://www.savoir-sans-frontieres.com/JPP/telechargeables/Francais/Electricite_enfants1.pdf
(note/avertissement : Jean-Pierre Petit a aujourd'hui viré full charlatan complotiste, mais ses aventures d'Anselme Lanturlu, une série de BD scientifiques en libre accès, restent super pour ce que j'en ai lu : http://www.savoir-sans-frontieres.com/JPP/telechargeables/free_downloads.html )

2026-01-31 11:33:26 UTC

- reply

@nprofile…sc5t This reddit user makes visual representations of scores using a similar mapping https://www.reddit.com/user/Strong_Equal466/submitted/

2026-01-30 12:59:20 UTC

- reply

(I don't actually know that you can learn about matrices in high school in France today. I know you could 15 years ago (when I was in high school)... but you had to pick the right specialization, the one with economics in it (the more natural science-oriented one didn't include matrices!))

2026-01-30 08:12:05 UTC

- reply

@nprofile…htrj What text is that?

2026-01-29 23:13:48 UTC

That moment when you're in too deep typing a colossal response to a minor point in someone else's post, and have to decide between posting it and looking like an detail-obsessed weirdo, or delete it and make the long minutes you spent typing it worthless

2026-01-29 18:34:47 UTC

- reply

@nprofile…2e5r Merci je suis chez @nprofile…62jp maintenant, pour l'instant je suis très content :)
Ah oui c'est un peu bizarre d'avoir utilisé ce terme 😅 Je pense que je voulais parler de sortir du monopole/oligopole des big tech, et donc participer à un web décentralisé

2026-01-27 19:15:23 UTC

- reply

@nprofile…udvu Thanks for the suggestion. I considered it, but this was a form, so I ended up lazily assuming that the person replying wouldn't have to copypaste my address themselves. Let's hope they don't get too confused 😅 I'll keep in mind that a little explanation might be a good idea for the next times, though :)

2026-01-27 19:13:01 UTC

- reply

@nprofile…fh5j
> Not sure what he thought was happening.
The author of the blog post from which I learnt about this technique writes that he once received a reply from someone from a company he wrote to, asking if he worked there. So... probably something like that

2026-01-27 17:35:10 UTC

I'm applying for a job at somecompany (a software company). On a scale of 1 to 10, how weird it is to give them somecompany@mydomainname.com as an email address?
(That is, the domain is my personal domain which I own, and the local part is their company's name. It's an email alias which I created for the occasion, so as to keep a separate email for each entity I talk to and avoid spam)

2026-01-26 12:31:37 UTC

- reply

oui c'était semaine culturelle la semaine passée

2026-01-26 12:30:31 UTC

J'ai trouvé ma vocation : glouglouteur
https://media.mathstodon.xyz/media_attachments/files/115/961/396/846/197/586/original/a56b64d5b3e81d20.jpg

2026-01-26 12:26:42 UTC

A piano roll GUI in 1928! Well, this one is actually not a piano roll, but
* It 100% looks like one
* In that exhibition, there were graphical representations of music pieces, also by Kandinsky (I think) that were basically piano roll GUIs, I just didn't take a picture of those
This one is one of #kandinsky 's preparatory drawings for a staged version of Mussorgsky's "Pictures at an Exhibition" (this one is for mvt./picture 7 "Bydlo")
In summary, here's a drawing that resembles a computer interface for making music, made for a staged version of a music piece inspired by paintings.
#computerMusic
https://media.mathstodon.xyz/media_attachments/files/115/961/310/047/608/203/original/7ecab3dae497312e.jpg

2026-01-26 11:35:25 UTC

- reply

Ok I just added the plugin folder paths to my DAW's preferences directly. This is probably suboptimal (or should I say "subelegant"), but it works.
Of course I had no idea where the plugin folders might be, because NixOS doesn't put them in the usual locations¹ (~/.vst/ and so on), but I ended up figuring out they're `/etc/profiles/per-user/myusername/lib/vst` (and so on)
¹ I'm not going to blame the project for that, having stuff in non-standard locations (but still working fine!) is part of the NixOS contract. I whish the documentation were more explicit about those nonstandard locations, though.

2026-01-25 21:00:40 UTC

- reply

@nprofile…v6fw To be honest I haven't digged too deep into the problem yet, it might end up being relatively easy (emphasis on "relatively") to solve. Basically I installed a plugin (surge-XT) by adding it to my config, but my DAW can't see it. I checked and sure enough, there's no .vst (or .vst3, .lv2, .clap...) in $HOME or anywhere I thought to look.
I found this webpage:
https://wiki.nixos.org/wiki/Audio_production
but adding Musnix to my flake config didn't solve the problem, and adding the suggested chunk of code makes nixos-rebuild fail because the function makeSearchPath isn't found.
... ok maybe I have actually digged a little into the problem already 😅

2026-01-25 19:55:15 UTC

This just in: l'académie française recommande de traduire le nom du langage « typescript » par « tapuscrit »

2026-01-25 18:23:47 UTC

It seems that installing audio plugins on #NixOS is its own can of worms 🙃

2026-01-24 22:31:25 UTC

POV you just downloaded free GLTF files but still need to animate them
https://media.mathstodon.xyz/media_attachments/files/115/952/420/349/061/119/original/ae0f7fdd04983714.jpg

2026-01-24 22:12:44 UTC

J'aurais préféré que la note de bas de page me dise ce que veut dire ce mot que je ne connais pas, mais visiblement la tendance est aux équations mathématiques
https://media.mathstodon.xyz/media_attachments/files/115/952/353/055/235/593/original/6ededb4eeeadb2eb.jpg

2026-01-24 19:44:43 UTC

- reply

You know you're making progress in Rust when you can understand one of @nprofile…96ke 's posts about rust(c)'s weird behaviors

2026-01-22 17:42:36 UTC

- reply

@nprofile…8npm I know nothing about from dusk til dawn. I might watch it blind, in which case I'll report back here :)

2026-01-21 00:16:56 UTC

They should make software that synthesizes music in the style of the #BeachBoys and call it AI Jardine

2026-01-20 21:15:24 UTC

- reply

@nprofile…xgpf This sounds a little dangerous right now :/

2026-01-20 07:51:28 UTC

- reply

@nprofile…sufw What do you mean? Doesn't
```
someArray.join(", ", last: ", and ")
```
work?

2026-01-19 20:46:12 UTC

Remember the Bee Gees? Here they are singing together in 1963, already being great showmen.
That's right, the band that sang disco hit "Stayin' Alive" was already performing on TV the year the beatlemania started!
Special kudos to Robin Gibb's (in the middle) impeccable acting skills at 2:15!
In fact, there's another video of them performing as early as 1960! The younger brothers were only about 10 at the time.
https://www.youtube.com/watch?v=WGQj0kdjPJc

2026-01-19 08:40:40 UTC

- reply

There are so many youtube channels, even big and serious, whose images are just stock footage or a slideshow of semi-related photos. Which is actually fine if you're basically doing a podcast, but engaging visuals just make things so much more interesting to me

2026-01-19 08:36:20 UTC

Funny how video thumbnails that are simple, on a black background, with text in Computer Modern make me want to click them. I don't particularly like the aesthetics, but those videos, of course, are very likely to have been made with #manim , and videos made with manim are likely to contain thoughtful artisanal animations and visualizations, which I'm fond of

2026-01-19 00:41:30 UTC

- reply

@nprofile…sc5t Here's what I managed to do with my hands, the white should probably be adjusted a bit :)

2026-01-19 00:24:53 UTC

- reply

@nprofile…sc5t Just tried making a color scheme, but it's actually not easy to select just the color you want in the palette without moving the rest... I might try again later.

2026-01-19 00:20:30 UTC

- reply

@nprofile…sc5t That's great :) Nice use of the Shepard tone, too.
Regarding colors in data visualization, I tend to generally think the less hues the better. But with your interactive color palette we can experiment and settle on something good :)

2026-01-19 00:14:15 UTC

- reply

As familiar as I was with the circle of fifths, I just realized the obvious fact that you can obtain it from the "circle of semitones" ¹ just by:
* Splitting it into the circle of "even notes" (C D E F# Ab Bb) and of "odd notes" (C# Eb F G A B)
* Rotating the circle of odd notes
* Putting the two circles back together
(I don't know that my description is clear, maybe it needs a visualization too 😅 the idea is simple enough, though)
¹ That is, the circle of pitch classes where each note's neighbors are the notes a semitone away from it)

2026-01-19 00:03:01 UTC

Just drew this on my phone to simultaneously show proximity of pitch classes in the circle of fifths and proximity in "pitch space" (i.e. in terms of number of separating semitones).
The picture shows the circle of fifths. Each pitch class has an associated color, chosen in such a way that colors of pitch classes separated by a small interval have close colors.
I hand-picked the colors in such a way that:
* The colors follow a cycle in color space
* There's enough variety that it's easy to tell colors apart
* But not too much variety so that you can still notice the closeness of notes (and not just consecutive ones)
For that, I just separated my cycle of 12 notes into 3, respectively assigned black, white, and saturated red to each boundary, and filled in the missing colors in between by hand-picking colors that looked equally spaced in perceived color space.
https://media.mathstodon.xyz/media_attachments/files/115/918/753/469/533/796/original/2a5bf4803887b6d5.jpg

2026-01-18 10:53:05 UTC

You can explore various maps of famous video games on this website: https://noclip.website/
@nprofile…u6yd you might be interested :)

2026-01-18 08:17:42 UTC

Intéressante, l'idée de proposer des idées provocantes comme sujets de concours d'éloquence. J'ai hâte que soit donné le sujet « La propriété privée est la source de tous les maux »
https://media.mathstodon.xyz/media_attachments/files/115/915/051/823/750/355/original/ed71d784b7210b4c.jpg

2026-01-16 22:20:27 UTC

- reply

@nprofile…g0zc For some definition of "popular"

2026-01-16 10:04:51 UTC

Bumping this again. I found this library https://github.com/INRIA/libpointing but had trouble building it. Like #krita , it seems to be based on #Qt , so I guess Qt might be a good bet. Problem is 1/ it seems I would be pretty tied to C++ 2/ it seems hard to build reliably.
Ideally I would like to find a library that:
1/ is cross-platform
2/ builds reproducibly, meaning there is or I can make a #nix flake out of it
3/ is able to receive pointer data (not just mouse coordinates, by also at least pen pressure),
4/ can capture the pointer, meaning the library's user can make it so that the end user's pointer doesn't interact with anything except for sending its data to their program.
Any info/advice/experience welcome :)
#reproducibleBuilds

2026-01-16 00:12:25 UTC

I miss the old days when you could splash your hand in molten lead on live TV...
https://youtube.com/watch?v=gJuBaXSX65I&t=620s

2026-01-15 13:07:49 UTC

- reply

@nprofile…n3vt Oh no :( there's no way they'll succeed without Gandalf

2026-01-13 09:32:32 UTC

"All the quotes in this presentation, unless otherwise specified, come from yakbreeder.com"
https://jessitron.com/2020/07/17/talk-shaving-the-golden-yak/

2026-01-12 16:29:35 UTC

- reply

Bonus: can you hear the slight metallic color on those long falsetto notes? That's (according to youtube commenters, but I think they're right) phasing, aka constructive interference from the two takes that are played at the same time. Because Brian Wilson's pitch is just that accurate 😎

2026-01-10 05:22:40 UTC

- reply

@nprofile…4hp5 Thanks a lot!

2026-01-10 04:42:44 UTC

- reply

@nprofile…4hp5 Now I'm curious what conceptual frameworks Poincaré suggested?

2026-01-09 20:28:47 UTC

I have nothing against people using generative AI as long as they do it in private, but I take issue with them imposing their lifestyle choices on me and flooding the internet with that kind of content

2026-01-09 10:29:41 UTC

#mastobada
Maro : We've Been Loving in Silence
Une de mes chansons préférées d'une de mes artistes préférées ❤️
We've been here for a while, haven't seen the sun come out
We've been loving in silence, drawing with our bodies
https://www.youtube.com/watch?v=Dgl7Ly6ZSqk

2026-01-09 05:12:58 UTC

- reply

@nprofile…sc5t Maybe, didn't know about that. Anyway, as a reader I don't really care that the author uses a regular backslash or a `\setminus`, but I definitely care that they make it clear what their notation means...

2026-01-09 05:05:25 UTC

- reply

@nprofile…sc5t Sorry I'm not sure what you mean by "reverse division"?

2026-01-09 04:51:14 UTC

"No need to clarify that the notation A\p refers to the set-theoretic complement p in A here, I don't see how anyone would ever mistake it for the quotient A/p"
https://media.mathstodon.xyz/media_attachments/files/115/863/316/659/617/162/original/ee37fa4598f4da26.jpg

2026-01-08 15:53:36 UTC

- reply

@nprofile…834j Thanks, this all looks very helpful :)

2026-01-08 13:21:24 UTC

Any resources on how to make an #ActivityPub application? There's the specification, which is certainly informative, but are there things like templates, tutorials...?

2026-01-07 19:54:40 UTC

- reply

@nprofile…70ak Tennyson!
https://tennyson.bandcamp.com/album/telescope-ep

2026-01-07 15:50:29 UTC

- reply

@nprofile…uuml C'est un rendu ? Je croyais que c'était un vrai casque je suis déçu. Mais c'est bluffant

2026-01-07 13:10:45 UTC

I'm trying to get an intuitive sense of analytic mechanics, Noether's theorem and that kind stuff, and I just learnt/realized that $ e^{h\frac{\partial}{\partial x}}(f)(x_0) = f(x_0+h) $. I'll explain what this means in an answer to this post.
I had not seen that fact spelt out explicitly before, I just found it (in a less explicit form) in the prerequisites section of Jakob Schwichtenberg' book "Non-Nonsense Quantum Field Theory" (maybe one day I'll manage to get past the prerequisites 🥲). Yet I suspect this is an important part to understanding Noether's theorem intuitively.

2026-01-06 23:25:17 UTC

- reply

@nprofile…a2rx This is great :) It's just a shame you can't scroll to see the hidden text when on mobile...

2026-01-06 16:36:00 UTC

- reply

@nprofile…yz2e Interesting observation, I feel like the inverse evolution has taken place in rap between, well, around that time I guess, and today

2026-01-05 22:13:37 UTC

- reply

Their satisfaction comes from knowing that from then on, they will never again need to spend 3 hours to change their wallpaper

2026-01-05 13:25:18 UTC

- reply

@nprofile…sc5t Exactly what kind of thing do you have in mind? Something like: example spelt-out commands with annotations to explain what each part does, what the allowed values are, and so on?

2026-01-05 13:22:03 UTC

- reply

Note: I obviously don't mean to dunk on people writing documentation, any documentation is better than none, and I probably wouldn't have written it any better than you did. It's just, I got this insight as a user, it's nothing groundbreaking, but since fully spelt-out examples seem to be the exception rather than the norm, I felt like sharing it would be good :)

2025-12-30 21:50:00 UTC

- reply

@nprofile…4x5t
> This is a pretty vague criterion.
But an essential one, right? People wouldn't do math if it were not of interest to them. So if that criterion is "vague" (which it 100% is — and also subjective), it's all the less amenable to mechanization!

2025-12-30 21:42:58 UTC

- reply

@nprofile…g3e8 This is very reminiscent, both visually and conceptually, of the construction of the Penrose tiling by pentagrids: https://www.youtube.com/watch?v=-eqdj63nEr4

2025-12-30 20:43:50 UTC

- reply

@nprofile…k82s A Short Hike c'est 2-3h et c'est super :)

2025-12-30 17:03:37 UTC

- reply

@nprofile…4x5t I'm pretty sure that math involves more than formalizing and proving theorems though? For once you need to actually come up with the theorems' statements (and the definitions that make those statements possible).
Not to mention this assumes that the difficulty of evaluating a proof state is comparable to that of evaluating a go/chess position...

2025-12-29 22:07:35 UTC

- reply

@nprofile…4s5h ... so you're arguably not a zoomer :p

2025-12-29 20:19:05 UTC

- reply

@nprofile…02fp "a musician whom most Zoomers would probably have never heard of if not for the Streisand Effect"
... sooo are we pretending that Duck Sauce's song "Barbra Steisand" isn't a thing n... wait that song is *15 years old*? 🧓

2025-12-25 11:02:56 UTC

- reply

@nprofile…8eua "lump in the carpet" is a great analogy

2025-12-22 11:34:52 UTC

- reply

@nprofile…gx8d Right, I miss those!

2025-12-22 10:57:43 UTC

- reply

@nprofile…6pyg @nprofile…yqse Ahh ok. Between this and yesterday's ambiguity regarding what constitutes an "8-digit number", I think they could do a better job at making the problem settings clear.

2025-12-22 10:48:54 UTC

- reply

@nprofile…yqse I find two solutions, 6934 (whose digits sum to 22, as expected) and 7434 (whose digits sum to 18)

2025-12-19 20:47:01 UTC

A nice, concise definition of the trace, which makes it look a little less arbitrary-looking (if a little more technical) than the standard definition "the sum of elements on the diagonal", and also makes it more evident that it doesn't depend on the choice of coordinates:
The trace is the only linear mapping¹ such that:
trace(|u><v|) = <u|v>
for any vectors |u>, |v>.
(The <|> things are bracket notation: |u> stands for a regular vector (think "column vector"), <u|, for its corresponding dual vector (think "row vector"), |u><v| for the tensor product of |u> and |v>, and <u|v> to their dot product)
This still has the drawback of looking like it depends on a choice of inner product, when it actually doesn't.
¹ From linear mappings from V to V, to the scale field K.

2025-12-19 18:52:27 UTC

Question con, vous gérez comment les choses que vous avez à faire ? Vous avez une todoliste ? Si oui, sous quelle forme — une application dédiée, une note sur votre téléphone ou votre ordinateur, du papier ? Ou votre tête fait très bien le travail toute seule ?

2025-12-19 09:37:34 UTC

- reply

@nprofile…g656 Are you adamant on having a private conversation with one person? Because in my experience, if you toot a question on here with the language hashtag, people are pretty helpful. As far as I'm concerned, I don't know that I can commit to being available enough for your needs, but when I am available, I'm happy to answer Haskell questions.

2025-12-19 08:02:07 UTC

"Einstein showed us that quantum mechanics allowed influences that seem to travel faster than light. But with <VPN brand>, today's video sponsor, you can have your own spooky action at a distance"
💀

2025-12-18 20:07:18 UTC

- reply

@nprofile…lp7j Kind of like color pickers that appear next to color values in some text editors, but for ADTs? Great idea :)

2025-12-16 22:19:49 UTC

I'm not comfortable with the whole "Brian Wilson is a genius" thing (honestly I'm not comfortable with calling anyone a genius), but he was definitely someone exceptional. The childlike spontaneous vibe he exudes during his interviews is wonderful. Listen to this 63-year-old man start singing Christmas carols unprompted in the middle of an interview:
https://youtube.com/watch?v=W6LinS__2ak&t=105s