@neauoire ah oui j'avais buildé mais il faut une ancienne version de gtk je crois

@neauoire this is how it is. That is the reason that I started my degree in Mathematics after decades of too much stupid work. Thank you for sharing

@neauoire who is smullyan ? 👀

@neauoire Thank you, very happy to be here!

@neauoire @rek I'm nearly at the point where I play this in an endless loop, giggling maniacally. 😂

@neauoire thanks for asking and pointing me in the right direction!

@sejo thanks for the #uxn tutorial, I plan to make some contributions to both English and Spanish versions. Here is the repo in case someone else is also interested:

https://tildegit.org/sejo/compudanzas 🤝

@neauoire whow, this is huge !

@neauoire am I understanding the first equation correctly that adding Zero to N should be rewritten to a Successor of N where N is just some number? shouldn't it result in just N? what am I missing here? :moomin_what:

@neauoire I'm interested but I feel like I need to spend a year writing a thesis to decide what I think of page 1 of this thesis

@neauoire what about interaction nets in hardware ? (found here : https://twitter.com/VictorTaelin/status/1605384601236606977)
I don't know how it works but i am mesmerized by this little circuit. ☺️

@neauoire Interesting, I will read it. Thank you

@neauoire I want a techno album that just samples this all over the place

@neauoire

Odd that Alexander’s writings probably had a bigger impact on software design than they did on architecture and urban planning

@neauoire are you using the .is mirror? that one's working for me

@neauoire I've never heard of books or libraries before but I don't think this is the case and I've just been phished ;p

@neauoire

it's up (via anna's archive):

https://annas-archive.org/md5/2b7073052ad3e0cfeb68e95ae6eb2192

@neauoire Classic

@neauoire My standard response to someone telling it "it should take 5 minutes" is "nothing takes five minutes... especially since I bill in 15 minute increments.")

@neauoire so recognisable

@neauoire

Phoenicians ships had no lights, so where is the problem?

@neauoire people have been having funky beverages on ships long before big light bulbs. No problem I say

@neauoire not specifically but, this exists https://rezuaq.be/new-area/image-creator/

@neauoire I just blocked that server. I have no interest in scantily clad young ladies. Or men, at this point ;)

@neauoire take me with you

@neauoire people from cities or towns near cities don't realize how hard is to stop hearing cars. The constant humming is everywhere... yeah, I loathe cities. The smell, the concrete.. it's so aggressive and unnatural.

@neauoire Do you have a sort of mental threshold of "if I have to do this task X times it's worth automating"? It's obviously dependent on how hard it is to automate, but it'd be interesting to hear where your cutoff is.
(I start hankering for automating at 3x, my coworker would go two years, at least, refusing to automate something complex he has to do weekly.)

Yesterday, I was going on about how I wanted this round-about way of having quick access to definitions without scrolling, sort of like an IDE.

Talking about it gave me the motivation to stop procrastinating on this and just implement the darn thing. Left is now able to locate symbol definitions and its methods and members, and draw them inline.