Grégoire Locqueville / is on Nostr

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

Last Notes

2025-03-24 17:31:27

- reply

@nprofile…8vqk Ah thanks, I saw some of your posts about opencascade before, very cool project! I'll look into your code as an example and the solutions you suggest :)

2025-03-24 16:44:08

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 😅
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?

2025-02-27 19:27:59

- reply

@nprofile…59k6 "These findings [...] have an interesting bearing on so-called Ringworlds and Dyson spheres from fiction."
"Fiction" is a nice trolling answer to the timeless question "what are the practical applications of your research?"

2025-02-22 16:14:05

- reply

@nprofile…fa4k @nprofile…e5g0 A related observation:
"A burrito is like a functor: it takes a type, like meat or beans, and turns it into a new type, like beef burrito or bean burrito."
https://blog.plover.com/prog/burritos.html

2025-02-10 17:46:43

- reply

@nprofile…59k6 The more Signal is normalized, the less having it on your phone is suspect, though, so there is a prisoner's dilemma situation here

2024-11-30 13:02:24

- reply

@nprofile…e5g0 @nprofile…fa4k @nprofile…yu7x
Ok but I still don't get why he should "see her at a close distance"?