Load site modules...
lade...
random avatar

glocq - Network

Posts Subscribe

I just released the first version of hworld, the #haskell bindings I wrote for the World library.Given a recording of a voice, it allows you...

https://mathstodon.xyz/@glocq/11...

I just released the first version of hworld, the bindings I wrote for the World library.

Given a recording of a voice, it allows you to compute a "vocoded" representation that is easy to manipulate to perform actions such as:
- pitch shifting
- simulation of whispering
- machine learning

and resynthesize high-quality audio based on that manipulated encoding.

There aren't much examples for now, but still feel free to take a look!

gitlab.com/glocq/hworld

15.4.2025 18:44I just released the first version of hworld, the #haskell bindings I wrote for the World library.Given a recording of a voice, it allows you...
https://mathstodon.xyz/@glocq/11...

Je viens d'essayer @12train après avoir vu tout le monde en parler très positivement ici. J'ai trouvé ça très bien, après...

https://mathstodon.xyz/@glocq/11...

Je viens d'essayer @12train après avoir vu tout le monde en parler très positivement ici. J'ai trouvé ça très bien, après j'ai l'impression que ça n'apporte rien de plus et presque rien de moins* que Trainline.

Mais il faut dire aussi que je vois beaucoup de gens ici se plaindre de trainline en disant que c'est devenu nul, alors que moi j'ai zéro problème ? Bon par contre j'ai installé une appli.

Moralité : si vous avez pas envie d'installer une appli, @12train c'est très bien

*Ya juste un mini truc qui me manque : si je fais une recherche des trains pour un certain itinéraire sur une certaine plage horaire, mais que je voudrais élargir la recherche après avoir vu les résultats, je serais content d'avoir un bouton "voir les trains plus tôt" au début de la liste et un bouton "voir les trains plus tard" à la fin, qui élargissent la liste avec les trains plus tôt/plus tard. Plutôt que d'avoir à manuellement changer l'horaire dans le formulaire de recherche

9.4.2025 09:49Je viens d'essayer @12train après avoir vu tout le monde en parler très positivement ici. J'ai trouvé ça très bien, après...
https://mathstodon.xyz/@glocq/11...

Mon amie lance sa chaîne youtube pour parler de sujets liés à l'écologie ! N'hésitez pas à aller y jeter un œil...

https://mathstodon.xyz/@glocq/11...

Mon amie lance sa chaîne youtube pour parler de sujets liés à l'écologie ! N'hésitez pas à aller y jeter un œil :)
youtu.be/ZNILAGte6i4?si=8d2hgd

9.4.2025 08:22Mon amie lance sa chaîne youtube pour parler de sujets liés à l'écologie ! N'hésitez pas à aller y jeter un œil...
https://mathstodon.xyz/@glocq/11...

::)

https://mathstodon.xyz/@glocq/11...

::)

8.4.2025 07:21::)
https://mathstodon.xyz/@glocq/11...

Fun fact:const const const = const#haskell

https://mathstodon.xyz/@glocq/11...

Fun fact:
const const const = const

30.3.2025 17:56Fun fact:const const const = const#haskell
https://mathstodon.xyz/@glocq/11...

I'm watching Andor, and I have to say I really like the Star Wars universe's worldbuilding, aesthetically. I like that it has never...

https://mathstodon.xyz/@glocq/11...

I'm watching Andor, and I have to say I really like the Star Wars universe's worldbuilding, aesthetically. I like that it has never taken itself seriously¹, and still everything is full of thought-out detail, environments have soul, the photography is beautiful...

Of course that's to be expected of such a big budget franchise (though I don't get the impression that, say, typical Marvel blockbusters have such a focus on aesthetics... but maybe it's just because I haven't seen all that many Marvel movies²)

¹ For instance: Most of the cast is human, but there's always one or two aliens thrown in just for the sake of it. Robots always have some human-like quirk... Also I just watched a scene where blue milk was poured on cereal — because of course people in a galaxy far, far away eat cereal just like us, but milk has to be a funny color.

² I have seen the two first spiderverse movies though, and I am in love with them... I just suspect they're an exception.

25.3.2025 21:40I'm watching Andor, and I have to say I really like the Star Wars universe's worldbuilding, aesthetically. I like that it has never...
https://mathstodon.xyz/@glocq/11...

Aaand here's my first blog post! https://glocq.github.io/en/blog/20250324/Feel free to comment or tell me whether anything's wrong...

https://mathstodon.xyz/@glocq/11...

Aaand here's my first blog post!

glocq.github.io/en/blog/202503

Feel free to comment or tell me whether anything's wrong with the rudimentary blogging system :)

24.3.2025 19:41Aaand here's my first blog post! https://glocq.github.io/en/blog/20250324/Feel free to comment or tell me whether anything's wrong...
https://mathstodon.xyz/@glocq/11...

I'm trying my hand at writing #haskell bindings to a C library! It's definitely a little rough but I'm making good progress...

https://mathstodon.xyz/@glocq/11...

I'm trying my hand at writing bindings to a C library! It's definitely a little rough but I'm making good progress 😅

Question:

The C library has functions that produce an array but expect you to manage memory by yourself — so basically, you allocate an array, give the pointer (as well as some other arguments) to the C library function, and the function writes into the array and returns nothing.

In Haskell, this translates to a function `SomeArguments -> Ptr CDouble -> IO ()`. I would like to use that function to define a higher-level binding to that function, in the form of a function of type `SomeArguments -> Vector Double`. What's the best way to do that? This seems like a common enough idiom in C that I assume someone has had to deal with the same thing before, maybe there are some examples out there?

24.3.2025 16:44I'm trying my hand at writing #haskell bindings to a C library! It's definitely a little rough but I'm making good progress...
https://mathstodon.xyz/@glocq/11...

In #typst , in math mode, parentheses seem to be used both to control logical grouping and, well, to display actual parentheses. It seems...

https://mathstodon.xyz/@glocq/11...

In , in math mode, parentheses seem to be used both to control logical grouping and, well, to display actual parentheses. It seems that the typst compiler will make a "smart" choice as to whether to show the parentheses you put in (as opposed to only using them to determine how your math content is grouped).

Now I have some content that needs grouping, so I use parentheses but I don't want them to show up. The compiler displays them. What can I do to tell it not to?

21.3.2025 16:09In #typst , in math mode, parentheses seem to be used both to control logical grouping and, well, to display actual parentheses. It seems...
https://mathstodon.xyz/@glocq/11...

The name I heard at 00:07 in the skit linked aboveThe name I heard at 00:07 is "Pembleton"

https://mathstodon.xyz/@glocq/11...

The name I heard at 00:07 in the skit linked above


The name I heard at 00:07 is "Pembleton"

19.3.2025 21:59The name I heard at 00:07 in the skit linked aboveThe name I heard at 00:07 is "Pembleton"
https://mathstodon.xyz/@glocq/11...

I just discovered Hugh Laurie (Dr. House's actor) and Stephen Fry used to be a comedy duo, and I watched this very funny skit by...

https://mathstodon.xyz/@glocq/11...

I just discovered Hugh Laurie (Dr. House's actor) and Stephen Fry used to be a comedy duo, and I watched this very funny skit by them:

youtube.com/watch?v=nq-dchJPXG

Now what's interesting is the *first* time Laurie drops the object, it did kind of sound like an English name to me, so I tried to parse what I was hearing as a surname, and I more or less settled on a name, which (as far as I could tell) I had made up, that is, I had never heard it anywhere else before.

But then I went through the youtube comments, and sure enough, someone said they heard the exact same name as I did! Crazy how we manage to interpret random sounds in the exact same way.

(I'm writing the name I heard as an answer to this toot, in case you want to try your hand at guessing a name too :) )

19.3.2025 21:57I just discovered Hugh Laurie (Dr. House's actor) and Stephen Fry used to be a comedy duo, and I watched this very funny skit by...
https://mathstodon.xyz/@glocq/11...

Any math people (or anyone, really) want to review a math-related blog post I wrote?I'll send you the text, you won't be...

https://mathstodon.xyz/@glocq/11...

Any math people (or anyone, really) want to review a math-related blog post I wrote?

I'll send you the text, you won't be *committing* to giving me feedback (would just be nice if you do), I just expect you to keep the text for yourself as long as I haven't published it.

It definitely won't be too technical if you're into math, maybe a little if you're not (but I'll be happy to hear your thoughts about it in either case!)

11.3.2025 21:31Any math people (or anyone, really) want to review a math-related blog post I wrote?I'll send you the text, you won't be...
https://mathstodon.xyz/@glocq/11...

Are haskellers all right

https://mathstodon.xyz/@glocq/11...

Are haskellers all right

3.3.2025 22:01Are haskellers all right
https://mathstodon.xyz/@glocq/11...

I'm trying to understand #haskell 's row-types library, and I wonder if anyone ever has, apart from its author

https://mathstodon.xyz/@glocq/11...

I'm trying to understand 's row-types library, and I wonder if anyone ever has, apart from its author

3.3.2025 21:54I'm trying to understand #haskell 's row-types library, and I wonder if anyone ever has, apart from its author
https://mathstodon.xyz/@glocq/11...

I just stumbled on this youtube channel about biochemistry, it had superb animations of DNA and RNA and proteins and stuff. heavily...

https://mathstodon.xyz/@glocq/11...

I just stumbled on this youtube channel about biochemistry, it had superb animations of DNA and RNA and proteins and stuff. heavily recommend

youtube.com/watch?v=HZAmbbTcQ3

22.2.2025 20:47I just stumbled on this youtube channel about biochemistry, it had superb animations of DNA and RNA and proteins and stuff. heavily...
https://mathstodon.xyz/@glocq/11...

I'm still not clear whether my private #fediverse account (which is meant to basically replace my #instagram account) should be on...

https://mathstodon.xyz/@glocq/11...

I'm still not clear whether my private account (which is meant to basically replace my account) should be on or , 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

2.2.2025 13:07I'm still not clear whether my private #fediverse account (which is meant to basically replace my #instagram account) should be on...
https://mathstodon.xyz/@glocq/11...

Any resource suggestions for an acquaintance of mine who would like to get into #math ? They pretty much stopped doing math in high school,...

https://mathstodon.xyz/@glocq/11...

Any resource suggestions for an acquaintance of mine who would like to get into ? They pretty much stopped doing math in high school, they have a philosophy background, today they're a software developer discovering 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.

25.1.2025 18:39Any resource suggestions for an acquaintance of mine who would like to get into #math ? They pretty much stopped doing math in high school,...
https://mathstodon.xyz/@glocq/11...

@glocq@piaille.fr Je sais pas trop sur la base de quoi je vais accepter les follows mais hésitez pas à faire une demande, ça sera...

https://mathstodon.xyz/@glocq/11...

@glocq@piaille.fr Je sais pas trop sur la base de quoi je vais accepter les follows mais hésitez pas à faire une demande, ça sera probablement plutôt ouvert et au pire je vous refuse. En fait je fais un compte privé surtout pour pas spammer çui-ci avec des trucs perso

25.1.2025 12:28@glocq@piaille.fr Je sais pas trop sur la base de quoi je vais accepter les follows mais hésitez pas à faire une demande, ça sera...
https://mathstodon.xyz/@glocq/11...

J'ai fait un compte privé pour un peu plus raconter ma vie, mettre mes photos de vacances, etc. — par opposition à ici, où je poste...

https://mathstodon.xyz/@glocq/11...

J'ai fait un compte privé pour un peu plus raconter ma vie, mettre mes photos de vacances, etc. — par opposition à ici, où je poste plus sur des trucs qui m'intéressent, pas forcément à destination de gens que je connais — :
@glocq@piaille.fr

25.1.2025 12:19J'ai fait un compte privé pour un peu plus raconter ma vie, mettre mes photos de vacances, etc. — par opposition à ici, où je poste...
https://mathstodon.xyz/@glocq/11...

I suspect the answer to this is something along the lines of: `mut` is not allowed in a type signature (so the second option above is a...

https://mathstodon.xyz/@glocq/11...

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

`mut` is not allowed in a type signature (so the second option above is a syntax error), *however* `&mut` should be regarded essentially as different keyword, which is why I *have* seen `mut` in type declarations in cases like this:

```
fn some_function(some_argument: &mut SomeType) {
```

15.1.2025 15:17I suspect the answer to this is something along the lines of: `mut` is not allowed in a type signature (so the second option above is a...
https://mathstodon.xyz/@glocq/11...
Subscribe
To add news/posts to your profile here, you must add a link to a RSS-Feed to your webfinger. One example how you can do this is to join Fediverse City.
         
Webfan Website Badge
Nutzungsbedingungen   Datenschutzerklärung  Impressum
Webfan | @Web pages | Fediverse Members

⬆️

⬇️