glocq.mathstodon.xyz.ap.brid.gy
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 […]
[bridged from https://mathstodon.xyz/@glocq on the fediverse by https://fed.brid.gy/ ]
53 posts
4 followers
3 following
Prolific Poster
Active Commenter
comment in response to
post
@teotwaki I'm considering starting a small list of Rust syntax pitfalls
comment in response to
post
Addendum: my personal view is that there's no way to unfuck the system. Universities basically provide a free vetting system for companies now. Companies get data on potential employees for free, and students pay universities to collect that data.
comment in response to
post
@johndcook Nice one! I suggest rejecting values whose squared norm is too close to 0 too, to avoid division by 0 or normalization errors
comment in response to
post
@MartinEscardo Congratulations, and thank you for this accessible thread!
comment in response to
post
ngl this actually sounds like a decent idea for a pastiche/tribute game to develop
comment in response to
post
@PercyButtons3 This doesn't seem right... shouldn't "average to 120" be replaced with "sum to 120"?
comment in response to
post
@abuseofnotation also simply "there is a way to do X with this technology (however suboptimal, risky, etc.)". I understand this is a pretty low bar, given you can often do most things with most languages, but it's also criterion #0 if you're looking to build something...
comment in response to
post
@abuseofnotation I mean, that, but also "whatever I was building hasn't collapsed yet"
comment in response to
post
@abuseofnotation "used in production" implies "usable in production"
comment in response to
post
There's an absolutely wild statement on wikipedia that a base-11 system was "briefly proposed during the French Revolution to settle a dispute between those proposing a shift to duodecimal and those who were content with decimal".
https://en.wikipedia.org/wiki/Undecimal
comment in response to
post
[Off-topic]
@abuseofnotation Intuitionistic logic is when you know how to convert ¬¬¬p to ¬p, but not ¬¬p to p
comment in response to
post
@jenbanim @zachweinersmith.bsky.social The entirety of what we call "generative AI image output" is actually just pictures scrapped from a secret appendix to the Codex Seraphinianus.
comment in response to
post
[The name I heard at 00:07 in the skit linked above]
The name I heard at 00:07 is "Pembleton"
comment in response to
post
@ddrake Ah right, I didn't read your post right.
comment in response to
post
@julesh https://www.youtube.com/watch?v=3aait4aOxP0
comment in response to
post
@ddrake 2n-1 is a lower bound. Fix an integer n, and let (s_0, s_1, ..., s_(k-1)) be such a sequence of permutations of {1, ..., n}, with length k. In particular, s_0 = id. For convenience, let s_k = s_0.
Since 1 must appear in every position, there is an integer i such that s_i(1) = n. Since […]
comment in response to
post
Are haskellers all right
comment in response to
post
@dpiponi "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?"
comment in response to
post
@christianp you misspelt "pretty"
comment in response to
post
@dpiponi The more Signal is normalized, the less having it on your phone is suspect, though, so there is a prisoner's dilemma situation here