Gregory's Server
all these software people obsessed with “shipping” and “deliverables” and “package managers” should consider the possibility that postal work might be their true calling
|
10 posts total
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 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  @chrisamaphone @terry I am laughing with tears coming out of my eyes, what a delightful treat on Friday afternoon. the neverending quest for some way to explain "what i've been working on lately" that doesn't amount to a memoir of my entire career to date  one of the few “good endings” i can imagine for the future of LLMs is that they get people to see the value of information retrieval, indexing, and archival — i.e., library sciences — and we start funding that community to translate their work to similar applications, but with proper attribution and dataset transparency.
Show previous comments
 @chrisamaphone I think Larry Page and Sergey Brin closed the door on that when they transformed a breakthrough in information retrieval into an advertising channel so many years ago.  @chrisamaphone man, I hope you're right. I'm a librarian and a big portion of my work in the next year is going to be exactly this. @chrisamaphone this is one aspect of the world that Neal Stephenson explores in "Anathem". All people who work directly with "syntactic devices" (see: computer) are almost entirely dedicated to sorting bad information from good. this video is making a lot of things about how conversation work click into place for me for the first time also, why responding to long emails is hard ...also it makes computer science brain happy because the explanation is that if you have a tree with infinite breadth but every branch is finite, depth first search is gonna be a better strategy than BFS i'm coining the term "attention gauntlets" to explain why my email inbox and similar digital environments are so unmanageable for me. https://docs.google.com/document/d/18hQIzl2aeolAVJiuaNXDtOZhQPZQ_wU-p6cb4Id6Uxw/edit?usp=sharing relatedly: i feel like people who can ignore the little badges with a number on them (that look like they're saying "you have this many notifications", whether or not they are lies) have actual magic powers. it feels like a law of physics that i click on those if i see them. there's no conscious choice involved. |
@chrisamaphone flora is unironically looking into if she may switch to logistics instead of doing software dev
@chrisamaphone I have actually considered applying to a job on my country's postal service.