Gregory's Server
|
Released the logs documenting the first week of our recent sail from Victoria(B.C) to Sitka(Southeast Alaska). I plan to release more as soon as I am done transcribing them.   Released week 2 of the logs documenting our recent sail from Victoria to Sitka(Southeast Alaska). In this part, we sailed through a bunch of rapids and battled giant ants.
Show previous comments
 “All over town, you see people walking around more, going to people’s homes, hanging out and talking,” said Jessica Ieremia, the director of Sitka’s library, which has a satellite unit that’s made it a hub for residents seeking internet. “We've been hearing that constantly from people, how nice it is. They're like, ‘If I could just figure out the finances part.’”  I've implemented Conway's Game Of Life,  earth’s programmers didn’t really consider in advance how the emergent behavior of rules that seem normal at temperate latitudes would get weird and glitchy towards the poles, but people seem to like it so they left it in @disconcision what's the url for the rewriting toy you showed me last night? I'd like to show @capital just a little bit of self promotion, as a treat: i think more people should read and cite my paper on my using multiset rewriting (secretly: linear logic) to represent game mechanics, showcasing my programming language ceptre: https://www.convivial.tools/PapersPublic/ceptre-tog.pdf there was a much earlier paper i wrote towards the end of my phd (2015) that described the language, but this one is a proper implementation-independent definition, meant to show how one could implement these ideas from scratch.  this could be relevant to you if: - you are working on anything involving linear logic and want more examples of applications. - you like thinking about games (video and/or tabletop) as rule systems and would like a way to prototype them at that level - you have thought about implementing a linear logic programming language but don't know where to start - you have a student or friend who is curious about linear logic and you want to point them to a beginner-friendly tutorial Every summer, as we make our way back south through the Gulf Islands, I get to hang out with some amazing FOC/Malleable folks who are passing through the Gradient retreat on Galiano. After months away from it all, it's so nice to just nerd out about computing late into the night. GO!GO!7188 瑠璃色 瑠璃色の炎燃やしながら星になるまで To make matters worse, these intimidating beasts always have very cutesy names. Like... Sapphire Princess. I drew these on our way to Alaska this summer, in my handwritten logbook, which I hope to share online very soon ^__^ In 1949, Claude Shannon was characterizing information loss, and needed a term for the degree to which information is scrambled. Visiting mathematical physicist John von Neumann, he received the following advice: "You should call it entropy... nobody knows what entropy really is, so in a debate you will always have the advantage."  Visiting mathematical physicist John von Neumann, he received the following advice: "You should call it entropy... nobody knows what entropy really is, so in a debate you will always have the advantage." @neauoire Von Neumann was a genius on many levels.  @neauoire I've been thinking about this lately. I have this theory that entropy is just time. That time is just things falling apart. Energy... dissipating. And that knowledge and information is a way that we fight against it, just as all life fights by reproducing and continuing to build things even as they wear away.  @neauoire in uni I took an information theory course right after statistical mechanics and it was mindblowing seeing the parallels It's quite interesting to me how Fractran programs are reversible, given an end state, I can step through the evaluation backward and return to the origin state. Trying to learn more about this, I stumbled on this excellent blog post that connects the reversibility of some functions and the P vs NP problem. @neauoire William Byrd has these two videos about reversible computing, pretty interesting subject! https://www.youtube.com/playlist?list=PLO4TbomOdn2cwmZhxns5Po_NzBvnxoLZx @neauoire Some forty years ago Henry Lieberman was working in a reversible debugger. I was very impressed when he gave a talk about it at our uni. There must be some papers about it on the MIT website or elsewhere. |
@neauoire https://llllllll.co seems ok for me.