@metagorgon And even more notably for our purpose here, Kleene specifically says
"""
"Regular events" defined: We shall presently describe a class of events which we will call "regular events."
(We would welcome an suggestions as to a more descriptive term.)
"""
(Although there's a footnote that implies it might possibly only be talking about the "regular", not the "events". But still.)
Notices by Gadfly (-booq-) (gaditb@icosahedron.website), page 14
-
Gadfly (-booq-) (gaditb@icosahedron.website)'s status on Tuesday, 26-Feb-2019 14:57:25 EST 
Gadfly (-booq-)
-
Gadfly (-booq-) (gaditb@icosahedron.website)'s status on Tuesday, 26-Feb-2019 14:56:07 EST
Gadfly (-booq-)
@metagorgon !!
Notably for our purposes here: Kegler talks about "1951: Kleene's regular languages", but in Kleene's paper he calls them "Regular Events". -
Gadfly (-booq-) (gaditb@icosahedron.website)'s status on Tuesday, 26-Feb-2019 12:27:53 EST
Gadfly (-booq-)
Who called them programming "language"s? (/When?)
What other ideas for that term were there? -
Gadfly (-booq-) (gaditb@icosahedron.website)'s status on Sunday, 27-Jan-2019 14:30:33 EST
Gadfly (-booq-)
@dotUser Yeah, you're right, I'm probably thinking too big of a deal over it..
-
Gadfly (-booq-) (gaditb@icosahedron.website)'s status on Sunday, 27-Jan-2019 14:27:45 EST
Gadfly (-booq-)
@dotUser Like, I'd want to suggest that they be removed from the Federated, but because it's not a "they are causing harm" I don't want to shout over anyone who is enjoying something from them...
-
Gadfly (-booq-) (gaditb@icosahedron.website)'s status on Sunday, 27-Jan-2019 14:27:30 EST
Gadfly (-booq-)
@dotUser No they haven't been being awful -- I don't remember any of them reaching interacting with me at all --
just, I don't think I've ever seen anything that... anyONE would want in the Federated Timeline from them.
Like, a Youtube bot, a Trump Parody account, a fricking 9GAG bot... -
Gadfly (-booq-) (gaditb@icosahedron.website)'s status on Sunday, 27-Jan-2019 14:18:27 EST
Gadfly (-booq-)
Okay so having gotten that a "yes" -- I don't want to overrepresent my opinion as "everyone else's", but does anyone (primarily asking my Local, here) have, aNYThing good to say about the Quey.org instance?
(I'm being a bit snippy here, but, not, much?)
-
Gadfly (-booq-) (gaditb@icosahedron.website)'s status on Sunday, 27-Jan-2019 13:58:58 EST
Gadfly (-booq-)
General question but with a followup for my fellow Icosofolk -- can Mastodon kick certain instances off of the Federated Timeline, or is that just a Pleroma feature?
-
Gadfly (-booq-) (gaditb@icosahedron.website)'s status on Sunday, 27-Jan-2019 13:53:11 EST
Gadfly (-booq-)
@Robby There were flesh-eating snails living in the environment.
Shakespeare just never mentioned them, because they weren't relevant to Hamlet's story,
-
Gadfly (-booq-) (gaditb@icosahedron.website)'s status on Sunday, 27-Jan-2019 13:49:57 EST
Gadfly (-booq-)
@alexl @cwebber Is there no room/desire for:
?
(That is to say, instance-specific Client-to-Server APIs, that are not intended to federate out, alongside the federating ActivityPub ones?)
-
Gadfly (-booq-) (gaditb@icosahedron.website)'s status on Sunday, 27-Jan-2019 13:38:18 EST
Gadfly (-booq-)
@nightpool also, *happysquirm!*
-
Gadfly (-booq-) (gaditb@icosahedron.website)'s status on Sunday, 27-Jan-2019 13:38:12 EST
Gadfly (-booq-)
@nightpool The irony of this being, while I'm strongly appreciative of the protocol, I'm pretty sure I've yet to ever actually have the self-awareness to REALIZE that I'm going on a Thread and to actually USE it myself,,
-
Press 'F' for 'Ferret' (ferretsyndicate@radical.town)'s status on Sunday, 27-Jan-2019 10:31:06 EST 
Press 'F' for 'Ferret'
Just wanna remind ppl that La Guardia Air Traffic controllers refusing to show up for unpaid work is what ended the shutdown.
Trump caved within hours of this happening.
And, as a union worker, this is poetic justice for what Reagan did in the 80's when he fired all the striking air traffic controllers--something that's haunted unions & their membership ever since.
-
made out of flesh or wood (nightpool@cybre.space)'s status on Sunday, 27-Jan-2019 13:17:34 EST 
made out of flesh or wood
Later evolutions of the protocol omitted the requirement for a "thread length" field, and instead allowed clients to denote the completion of a thread using a special "end of thread" signifier or by including the length field on the last post 2/2"
- nightpool, The Social Contract Protocol: Evolutions in Early-Mid-Internet Orthography, forthcoming 2024
-
made out of flesh or wood (nightpool@cybre.space)'s status on Sunday, 27-Jan-2019 13:16:38 EST
made out of flesh or wood
"... while early implementations of the Thread Context Protocol required clients to plan out their entire message ahead of time and include the total number of posts in each message, many developers found this restriction onerous, and disliked that they weren't able to take advantage of stream-of-consciousness optimizations for better performance and memory management. 1/
-
Gadfly (-booq-) (gaditb@icosahedron.website)'s status on Sunday, 27-Jan-2019 13:04:37 EST
Gadfly (-booq-)
... Why did nobody TELL me that #CANWC updaded?
-
Gadfly (-booq-) (gaditb@icosahedron.website)'s status on Sunday, 27-Jan-2019 12:57:38 EST
Gadfly (-booq-)
@feld @href Yeah, sorry, I just saw Kaniini's post about how it was a mistake and is already fixed.
-
Gadfly (-booq-) (gaditb@icosahedron.website)'s status on Sunday, 27-Jan-2019 12:49:18 EST
Gadfly (-booq-)
(... When your emotionally-hedging CW gets to 166 characters, is THAT the point where you should re-evaluate if you want to post the snippy comment?)
(Or should you hold off until it hits a solid 250 characters?)
-
Gadfly (-booq-) (gaditb@icosahedron.website)'s status on Sunday, 27-Jan-2019 12:45:59 EST
Gadfly (-booq-)
-
Gadfly (-booq-) (gaditb@icosahedron.website)'s status on Sunday, 27-Jan-2019 12:40:54 EST
Gadfly (-booq-)
@djsundog If it's a BASH oneliner, as pointed out by @rysiek a bit ago on an unrelated topic, you could maybe even dispense with netcat and just use bash's /dev/tcp FDs...
https://www.linuxjournal.com/content/more-using-bashs-built-devtcp-file-tcpip
All Jonkman Microblog content and data are available under the