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.
Public Key
npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Profile Code
nprofile1qqsd5tlmn9pdxfaktmnx79fddxjz0ug55jjz76dymxug4ww2h93nnwgpz4mhxue69uhhyetvv9ujuerfw36x7tnsw43q5kj0ul
Show more details
Published at
2026-07-30T17:21:20Z Event JSON
{
"id": "6089f30d62d419d520f2422cc651ad349813074ba4fd5f2897958bc113f583d3" ,
"pubkey": "da2ffb9942d327b65ee66f152d69a427f114a4a42f69a4d9b88ab9cab96339b9" ,
"created_at": 1785432080 ,
"kind": 0 ,
"tags": [
[
"proxy",
"https://mathstodon.xyz/users/glocq",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub"
]
],
"content": "{\"name\":\"Grégoire Locqueville\",\"about\":\"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.\\nFeel free to get in touch!\\nPrivate account: @glocq\",\"picture\":\"https://media.mathstodon.xyz/accounts/avatars/110/695/381/421/683/293/original/c4b6233c79255a73.png\",\"banner\":\"https://media.mathstodon.xyz/accounts/headers/110/695/381/421/683/293/original/9b559a1d9503626f.jpg\",\"nip05\":\"[email protected] \",\"fields\":[[\"Blog\",\"https://glocq.com/en/blog/\"]]}" ,
"sig": "feb44c308333c8ca5b55ba7fe2cbe71a0e3b782293ec6f9847333329d660537588ae2d48bd1bcabb6d06c4110c6c85eac3b8512ac9247de6732d1d52481a23d8"
}
Last Notes npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville 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? npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville "naturally" 🤔 npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville 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: npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville @nprofile…ge3w Intéressant de voir Peter Thiel explicitement nommé quand il était reçu à l'Académie des sciences morales et politiques il y a quelques semaines npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville @nprofile…0cn0 npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville @nprofile…sqfw Looks like what I'd expect to see looking up "Thales's theorem" on ncatlab npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville @nprofile…yz2e Sounds like the beginning of a SMBC strip scenario npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville @nprofile…gpuq Maybe not so much...: npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville Decomposition of the exponential function as the sum: npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville > Ah, you mean "markup language". npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville ou n'importe lequel des pouets taggés avec #FenetreDOvertonDeLaGauche à vrai dire npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville @nprofile…7yg6 Sorry I'm not a native speaker, does "markdown-like" imply that the syntax is mostly similar to markdown's? If so, that's not what I meant. npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville @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. npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville How is it so hard to not parse, but *generate* #C declarations, not even for arbitrary types, but for a basic subset 😭 npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville @nprofile…mv9c Rust traits correspond to Haskell typeclasses, not types, so I don't know that there's much to be found there. npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville @nprofile…3euu Pour se lancer, en supposant que tu es familier de latex, je pense que la doc officielle est tout à fait suffisante. npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville @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 npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville @nprofile…sc5t This reddit user makes visual representations of scores using a similar mapping https://www.reddit.com/user/Strong_Equal466/submitted/ npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville Fun fact: the great pyramids are closer in time to the first iPhone than they are to us today. Feel old yet? npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville @nprofile…htrj What text is that? npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville 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 npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville @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 :) npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville @nprofile…fh5j npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville 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 [email protected] as an email address? npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville oui c'était semaine culturelle la semaine passée npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville J'ai trouvé ma vocation : glouglouteur npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville A piano roll GUI in 1928! Well, this one is actually not a piano roll, but npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville 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. npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville @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. npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville It seems that installing audio plugins on #NixOS is its own can of worms 🙃 npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville You know you're making progress in Rust when you can understand one of @nprofile…96ke 's posts about rust(c)'s weird behaviors npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville @nprofile…8npm I know nothing about from dusk til dawn. I might watch it blind, in which case I'll report back here :) npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville They should make software that synthesizes music in the style of the #BeachBoys and call it AI Jardine npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville @nprofile…xgpf This sounds a little dangerous right now :/ npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville @nprofile…sufw What do you mean? Doesn't npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville Remember the Bee Gees? Here they are singing together in 1963, already being great showmen. npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville 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 npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville 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 npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville @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. npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville 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 » npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville I miss the old days when you could splash your hand in molten lead on live TV... npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville @nprofile…n3vt Oh no :( there's no way they'll succeed without Gandalf npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville "All the quotes in this presentation, unless otherwise specified, come from yakbreeder.com" npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville What a lovely song. I don't think it has appeared on an official #BeachBoys album, so all we have¹ is this barebones studio recording with Brian Wilson's bold and vulnerable falsetto. npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville @nprofile…4hp5 Thanks a lot! npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville @nprofile…4hp5 Now I'm curious what conceptual frameworks Poincaré suggested? npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville 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 npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville #mastobada npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville @nprofile…sc5t Sorry I'm not sure what you mean by "reverse division"? npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville @nprofile…834j Thanks, this all looks very helpful :) npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville Any resources on how to make an #ActivityPub application? There's the specification, which is certainly informative, but are there things like templates, tutorials...? npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville @nprofile…jrcx The quantifiers are inverted! It's not the same saying "Everyone has a mother" ("for every person P, there exists a person M such that M is P's mother) and "There's someone who's the mother of everyone" ("there exists a person M such that for every person P, M is P's mother) npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville @nprofile…jrcx In (b), did you mean ∀k, ∃x, ( x² + 1 = kp)? 🤔 npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville @nprofile…uuml C'est un rendu ? Je croyais que c'était un vrai casque je suis déçu. Mais c'est bluffant npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville @nprofile…a2rx This is great :) It's just a shame you can't scroll to see the hidden text when on mobile... npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville Their satisfaction comes from knowing that from then on, they will never again need to spend 3 hours to change their wallpaper npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville New #NixOS users¹ will spend 3 hours figuring out how to change their wallpaper, then think "wow, that was so smooth! I can't believe I can just *change my wallpaper*"! npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville @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? npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville 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 :) npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville PSA: When writing documentation for a terminal command or anything with a rigid syntax, always include fully spelt-out examples (i.e. examples that you could directly copypaste and they would run, if the context were right). npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville @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 npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville @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). npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville @nprofile…02fp "a musician whom most Zoomers would probably have never heard of if not for the Streisand Effect" npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville @nprofile…gx8d Right, I miss those! npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville @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. npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville @nprofile…yqse I find two solutions, 6934 (whose digits sum to 22, as expected) and 7434 (whose digits sum to 18) npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville @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. npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville @nprofile…lp7j Kind of like color pickers that appear next to color values in some text editors, but for ADTs? Great idea :) npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville Warning: I've been in a #BeachBoys rabbit hole for the past couple weeks and I am now ready to regurgitate this information in the form of countless ramblings and trivia toots npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville @nprofile…hqac Ah my bad npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville @nprofile…hqac Ça me fait penser à un entretien (que je ne retrouve plus, forcément 😭) avec le CEO de Spotify qui disait qu'il n'y avait pas suffisamment de gens qui font de la musique par rapport à la quantité de musique qu'on écoute (ou quelque chose comme ça ?), et qui se réjouissait de ce que l'IA générative allait permettre de résoudre ce problème npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville I have a hard time understanding what made the #beatles so groundbreaking. I grew up listening to a compilation album of their music, which I guess kind of set the baseline of what "standard pop music" should sound like. So when I hear I Wanna Hold Your Hand, all I hear is... a normal old-school pop song? npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville Qu'est-ce que vous recommandez comme service décentralisé pour héberger un site perso statique ? Je pensais passer à Zaclys mais il semble que ça ne soit pas proposé dans l'offre pour les particulier·es. npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville Au cours de mon expérience de la recherche et sur le fédivers, j'ai entendu parler du « mandarinat », mais je ne suis pas sûr d'avoir complètement compris ce que ça voulait dire. Est-ce qu'un·e mandarin·🍊 c'est « juste » un·e chercheur·se avec beaucoup d'expérience et d'influence, au point que personne n'ose remettre en cause ce qu'iel dit ? npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville @nprofile…ajpn Ok those answers are actually good food for thought, thanks a lot :) npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville @nprofile…hqac On notera l'emploi du féminin générique. How progressive -_- npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville @nprofile…9yke Thanks :) npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville How do I tell Cabal to use #MicroHS instead of GHC in my project? This feels dumb, but the MicroHS documentation only gives examples for single #Haskell files... npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville There are just so many things in physics that seem "elementary" because they never get explained, but I don't feel like "I could have invented them", so my brain refuses to see past them and understand stuff that relies on them. I still don't have satisfying answers to questions such as: npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville @nprofile…h9pv On a l'idée du résultat mais ton message ne me donne aucune idée de preuve désolé 😅 npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville @nprofile…pswd Oui mais je me demandais s'il yavait pas un moyen simple de le prouver sans calculs ? (sans diagonalisation je veux dire) Ça paraît si évident avant même d'avoir écrit la matrice npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville @nprofile…lu0w mais en fait c'est sûr ça tend vers 1/5 mdr, même si j'ai pas de preuve évidente qui me vient en tête npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville @nprofile…lu0w Ce qui nous intéresse à une étape donnée c'est les probabilités de chaque reste dans la division par 5. On peut modéliser ça comme une chaîne de Markov : une suite (u_n) de vecteurs à 5 composantes chacun. Le vecteur du début, u_0, c'est simplement (1 0 0 0 0) (puisqu'on a zéro au début, on est sûr d'avoir un reste de 0 dans la division par 5). npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville @nprofile…n358 J'ai hâte que ChatGPT se mette à répondre « Google ça existe 🙄🙄🙄 » quand on lui pose des questions, comme ça la boucle sera bouclée npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville @nprofile…g6m4 @nprofile…aha6 @nprofile…a6p9 npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville @nprofile…vzaw Ah ok, didn't understand that, well that's great to know :) with that said, they do say on the Koka page that they would like to add annotations to make that guarantee. And it just generally seems more geared towards lowish-level applications npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville @nprofile…vzaw Hmm maybe. In any case thanks a lot for the info and the feedback. I'll keep all of that in mind next time I start a project. npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville @nprofile…vzaw Isn't one millisecond a lot? That's almost one block at a sampling rate of 44100Hz with 64 samples per block npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville @nprofile…vzaw That may be the case. It would be nice to get some practical and theoretical documentation on that, like estimates by knowledgeable people of the impact of allocating x amount of memory in the audio callback, and practical feedback (like the one you just have me) from people who have done it in various situations... npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville @nprofile…vzaw Interesting! I've always seen "DON'T ALLOCATE MEMORY IN THE AUDIO CALLBACK" written everywhere (in template projects, documentation, etc.) so I always took it as a fundamental rule. Good to know about attempts to do otherwise. Though if my programs only work on fast CPUs that may be a problem. Anyway, thanks for the info! npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville @nprofile…atf6 Wait, did I reinvent something Dirac said? npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville — What's a passion of yours? npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville @nprofile…hcwr Il y a des bindings Haskell, mais pas C ? C'est la première fois que je vois une chose pareille 🤔 (c'est pas pour me plaindre, au contraire, mais je suis étonné) npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville @nprofile…wk34 It's honestly shocking how charitable the people in that thread are, with someone who basically just dumped tens of thousands of lines of code that he has not even bothered to understand (let alone write) and expects them to review it... npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville @nprofile…hpze (peut-être que vous l'aviez compris et posté en connaissance de cause ? Si oui, je veux quand même répondre que le message de la blague a l'air d'être plus CEO=💩 que AI=✨) npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville @nprofile…hpze D'accord avec le propos, par contre ce site c'est de la satire ! npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville @nprofile…wzdm I'm really excited to see how this will turn out! npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville @nprofile…akzc La différence c'est qu'il ya consensus pour dire comment utiliser l'IA générative (: beaucoup, tout le temps, pour tout et n'importe quoi), alors que les avis divergent quant à savoir si le respect du consentement c'est une bonne chose -_- npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville @nprofile…6ulg hein ? npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4 Grégoire Locqueville @nprofile…daqk C'est une hyperbole, c'est exactement pareil que de dire « je refuse de croire que ça existe » tout en croyant que ça existe
