This may very well be the most useless book I have ever written, and I don't even know why I did. I guess it is still better than getting drunk in a bar.
Anyway, it defines the #T3X programming language formally in terms of basic functions (zero, successor, identity, mu) and naive set theory. I have no idea why anybody would read such a book. Maybe you can give me some hints? :)
Or, in case you want to prove me wrong: http://t3x.org/t3x/0/formal.html #programming, #semantics, #math, #futility
@katzenberger absolutely! I guess I should explain I am living out an alternative timeline in my head where Turing lives longer and McCarthy doesn’t get caught up in the red scare and works with wiener and stafford beer and we get an earlier version of the internet/cybersyn (one computer per neighborhood) that sends sexpressions encoded via Morse code. I guess this ties into the new realm of fantasy I have been trying to make happen: #LispMachinePunk
Feeling nostalgic for #ShiningForce fan games that never got released beyond screenshots on shining force central. I can’t even find the old threads or remember the names but there was one that was 3D with ps1 level graphics that I badly wanted to play.
Damn I journeyed to the last page of the fan work forum and I couldn’t find it! I recall there was some drama as it departed from just being a turn based strategy game so maybe it was deleted.
I learned #FunctionalProgramming to escape the imperative programming languages, which in turn got me interested into #Compilers and #ProgrammingLanguages. Turns out, most of the real-world compilers are written in C and C++, so here I am back at square one.
After years of avoiding it for decades, I taught myself #Cpp in the last couple of weeks. So anyway, does anyone want me to write a series of #blog posts about making a #Lisp interpreter (https://github.com/kanaka/mal) in C++?
@abnv I am voting yes for the blog posts! The other irony of sufficiently high level functional programming is that you want it to seem imperative on the surface! Like cursors in reagent/cljs letting you imagine you have variables/registers even though it’s a single atom under the covers. I am sure the Haskell lens paradigm from whence cursors came is even more elegant. Monadic even.
I love Nintendo but I find it so annoying that I can’t play switch games without active internet connection. For what? To make sure I’m not playing on my other switch? What are we doing here. I’m with that other person who posted recently - I just want a dedicated Tetris device. But now I am addicted to Tetris99 so it needs really good AI.
@Feufochmar thanks for the tip - eventually figured out how to deactivate my old switch and make this one primary! What a relief knowing I can play tetris99 locally next time the internet goes down for me.
Wow I forgot I had ordered this! Two volumes (plus extras) of Shift Happens including slip case. Having just flipped through this book already makes me unreasonably happy! #keyboards#ComputingHistory#ShiftHappens
@gvv yeah I was stoked to see the space cadet #lisp keyboard but found myself staring in pure nerd bliss as I flipped through looking for it! So many terminals I wish I could use!
Orange site is funny, on the topic of the Ideal #Lisp:
"> It would be something like a fusion of Clojure and Common Lisp, (...)
Mine would be, too. Unfortunately, that's not possible. Clojure is one of those few languages actually designed by somebody who knows what they are doing."
So .. the Lisp Machine folks, the Common Lisp people, Maclisp .. etc had no clue what they where doing.
@amszmidt what I will say is that lisp is an alien space craft. With clojure that craft is trapped inside of a pyramid(jvm) and large as it may be you still bump into the sides and find yourself wondering what it would be like without the boundaries. I am a huge fan of clojure but I know in my heart that Common Lisp is my true religion.
Jacobin article about cybernetics was sort of disappointing, they totally missed the point and condemned the entire discipline because it was funded by the US military back in the day. Also putting it in the context of a whole issue about AI doesn't make sense because Project Cybersyn didn't involved anything like AI, it was just about facilitating communication between people. IDK I almost want to write a longer thing about this but I don't want to actually write a response to Jacobin lol
@sidereal what a yikes. How exactly do they think a post-authoritarian state would work? Oh that’s right they don’t really want post-authoritarian because once they are the authoritarians it will work.. this time… finally the good hierarchy at last! Wake me up when situationism is cool again.