Steph. Luis Rolland-Brabant ⁂
stphrolland@mathstodon.xyz
<p>More Curious Amateur than Expert</p><p><a href="https://mathstodon.xyz/tags/Linux" class="mention hashtag" rel="tag">#<span>Linux</span></a> <a href="https://mathstodon.xyz/tags/NixOS" class="mention hashtag" rel="tag">#<span>NixOS</span></a> <br /><a href="https://mathstodon.xyz/tags/SoftwareCraft" class="mention hashtag" rel="tag">#<span>SoftwareCraft</span></a><br /><a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="tag">#<span>FunctionalProgramming</span></a></p><p>Denotational Design & Semantics<br />Graph Theory & Transformation & Formal Grammars<br />HoTT/UF/CategoryTheory Diagrams & Props Networks</p><p>Machine Learning/Statistics/Probability<br />Natural Language Processing<br />Computational Linguistics<br />Information The
Posts
-
View post
@BenjaminHan@sigmoid.social I had some ideas, which I have not yet totally achieved I wanted to think up something based on the guarantee that you can explain something, a term: not really like a domain of expertise... rather in terms of being able to explain to someone else, be it at the same level or a less advanced level Not a 100% guarantee without error... But like a bag of terms, and concepts, and relations someone is at ease with... that someone guarantees: - 1. to be able to talk ab...
-
View post
#monad #tutorials
-
View post
RE: https://social.treehouse.systems/@krutonium/116525249392086752 Not a critic. I just remarked, seeing this post, that it is been years I no longer use any desktop short cut. Not a single one. I think it started with fluxbox, then xmonad, and I have kept the habit on gnome. I prefer have a terminal centered workflow. And multitude of adapted pre-mashed terminal environements. Even if it launches a GUI in the end. I find desktop shortcuts super messy. And it alters the beauty of my deskto...
-
View post
I have adopted #nixos some years ago Today I have typed in my CLI: guix --version guix (GNU Guix) 1.4.0-unstable-2025-06-24 Copyright (C) 2025 the Guix authors License GPLv3+: GNU GPL version 3 or later &lt;http://gnu.org/licenses/gpl.html&gt; I gonna to try using it regularly, for ad-hoc local stores. It seem to install its store not in /nix/store, but /gnu/store. I like the fact it is separated. And it is in #guile : as my LISP progress is too slow... I think I am going to force m...
-
View post
@realn2s @beyondmachines1 @spottyfox Claudius, I could not help it. I have translated your message in C++ ISO Norm Language "It is acknowledged that the circumstances under which undefined behavior may arise are, in fact, specified by the governing standard. Consequently, and notwithstanding the designation “undefined,” such behavior may be regarded as being defined insofar as the conditions of its occurrence are concerned, even though the resulting effects remain without prescribed sema...