This is really neat: an online collection of programs that can pass the type checker but fail at runtime, in a bunch of languages (Java, Scala, OCaml, Haskell, Rust): https://counterexamples.org/runtime-misinformation.html
It also discusses the design tradeoffs that led to these behaviours.
free speech vs. punching nazis (1/x)
if you walk around with swastikas and Identitäre T-shirts and etc., the *action* you're doing is not "speaking". the action is "trying to intimidate minorities".
a lot of these free speech nerds accept that the bully who called them fat in school wasn't just "freely speaking", he was bullying, harassing, humiliating someone. but the same nerds grow into privilege and, when they see minorities being targeted, conveniently forget that words *do* actions.
For people who are sad about Freenode, I am too.
I want everyone to take courage, though, because picking up and moving our crap elsewhere is freedom. It's the freedom given to us by IRC, by federated services, and by FLOSS software in general.
We only have this freedom because IRC isn't *owned*. This was and is the best thing about the open internet, and it's worth preserving as much as we can.
Can someone explain to me why a new protocol like #gemini has continued to enshrine CRLF as a protocol-meaningful sequence instead of using just LF?
These were printer control codes, fer cryin out loud.
I love language. Image source https://i.redd.it/7syim1p0e6n61.jpg, no idea what thread, I don't use Reddit.
If you consider using Markdown for some kind of formatted document, you'd be well served by taking a look at Asciidoc.
Markdown is a stupid format that cannot be reliably parsed. Asciidoc is not only consistent, but is also provides a lot of features one needs. How about the ability to do tables, as an example.
If you're in a situation where you need to have a simple markup format and you cannot use org-mode for various reasons, take a look at Asciidoc. I'm quite pleasantly surprised.
@phoe list-named-class was recently highlighted in CLPotD (https://twitter.com/svetlyak40wt/status/1299806884493393926) and it got me curious, what is the use case for naming classes as a list? From the Gateway example it seems to be used as a tagging mechanism?
@emacsomancer idk if this is related to your field, but would you happen to know a good 'weekend hack'-sized algorithm for generating natural language? Is syntactic tree templates aproach shown in PAIP still the best bang per buck?
@phoe Did anything ever come out of your reddit call to action? I've been meaning to send you an email w/ my thoughts about the matter but haven't gotten around to it yet.
Next Tuesday at 13:00 CEST online-lisp-meets with
⭐️ Jan Moringen about the new and improved version of Clouseau, the McCLIM inspector facility
⭐️ Hayley Patton about ideas from developing the Netfarm distributed object system in common-lisp (concurrency)
links, titles, and abstracts: https://reddit.com/r/lisp/comments/i05dr1/online_lisp_meeting_6/
Thanks to @phoe for organising this wonderful series!
The original server operated by the Mastodon gGmbH non-profit