Replying to
@MartinEscardo Maybe the calculator is correct 99% of the time on some well documented techniques... and poorly efficient on advanced stuff (<55%)?
Remote
Steph. Luis Rolland-Brabant ⁂
@stphrolland@mathstodon.xyz
mastodon 4.7.2More Curious Amateur than Expert
#Linux #NixOS
#SoftwareCraft
#FunctionalProgramming
Denotational Design & Semantics
Graph Theory & Transformation & Formal Grammars
HoTT/UF/CategoryTheory Diagrams & Props Networks
Machine Learning/Statistics/Probability
Natural Language Processing
Computational Linguistics
Information Theory
Dynamical Systems Pde/Chaos
DSP Audio Math+Music/MamuX
Lots of things to learn. Endlessly learning.
Trolls say they are not trolls.
I am a night elf.
553 Followers
2893 Following
18 Posts
Joined July 17, 2023
Operating System & Environment:
Spoken Languages:
Fluent (EN, FR, ES) NotFluentAtAll (NL, DE) TryingApprox (IT,PT)
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 <http://gnu.org/licenses/gpl.html>
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 myself to try to make something interesting with #guix
A sort of local store (not really, because stuffs would go in /gnu/store)... for some of my developement projects
let's see if that takes form
Replying to
@realn2s @beyondmachines1 @spottyfox
You should study the topic of undefined behaviours in C/C++
"study" is a bit... too serious a word.
"suffer" ?
Replying to
@baleine@piaille.fr
Funny, I switched to the UNSTABLE branch of NIXPKGS, where GUIX is STABLE :-)
▷guix --version
guix (GNU Guix) 1.5.0
Copyright (C) 2025 the Guix authors
License GPLv3+: GNU GPL version 3 or later
This is free software: you are free to change and redistribute it.
There is NO WARRANTY, to the extent permitted by law.
Replying to
@dannypsnl@g0v.social From , this one was close in spirit to the result
https://fluxbox.org/screenshots/
#fluxbox
I don't know how the project is going though. Years I no longer use it. But if use linux the way I do, it's probably thanks to this project.
Replying to
@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 semantics.
The author further notes, based on experience accumulated over multiple decades of practical engagement with the C and C++ programming languages, an empathetic understanding of the difficulties and frustrations associated with such behavior."
google-translate English -> C++ ISO Norm Language
Replying to
@realn2s @beyondmachines1 @spottyfox
That's what I love about the more than 1400 pages ISO C++ norm for defining what is standard behaviour and what is undefined behaviour
All in lawyer's English ;-)
It was circa 1400 pages the last time I checked it... and it was probably only C++17... just a bet
Replying to
@pigworker The problem, if that's the definitions, the real way of seeing...
Then it's the definitions of the definitions that is the real way of seeing things
And if it's the universe of definitions of definitions that are the real definitions: I suspect that might lead super far.
(Far from an expert in Type Theory: that is my current understanding)
Replying to
@Andrev breathing?
But then again, one technique for learning meditation is to learning breathing...
And also we can learn to learn... so did we know how to learn before learning how to learn better?
Replying to
@jonmsterling Maybe mathematics was the last science field sort of immune to #agnotology techniques/ : usage of science with bad-faith, with hidden purposes, without the purpose of creating more knowledge
I am not expert in maths to see the depth of your fear
But I notice it resembles how other scientific fields can be weaponized, for example against #climatechangehttps://en.wikipedia.org/wiki/Agnotology
Replying to
@rreusser makes me sea-ill... like... I am not sure if I should stand up right now
RE: @krutonium@social.treehouse.systems
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 desktop background images: it was probably the first reason I started this with #fluxbox
Replying to
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:
-
- to be able to talk about
-
- to detect false things on the subject.
It's no longer a question of title, phD, career or else...
It could avoid issues like a pair of experts in Petrology Geology publishing a few paper denying Climate Change, then they create the "Syposium of the Consensus that everyone agrees Petrology Geologist understand Climate more than Climatologist" <- true fact, I just changed the name #agnotology
I think it is related: playing with knowledge that is a little too far from one's zone of expertise (as an Engineer that's what I do every day wrt Science)
If you have feed back on the idea, don't hesitate
Replying to
@krutonium@social.treehouse.systems
It was no critics at all.
If I forward, it's because I think it may be useful and I also liked the idea.
Made me think I would do a similar trick using nix / nix-shell -p for stuffs to do once in a while without worrying about having them on my configuration: but as scripts of course ;-)
Replying to
@krutonium@social.treehouse.systems Approximatively exactly what I wanted ;-)