PuercoPop @PuercoPop@mastodon.social

Más #torrents
Menos netflix

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.

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.

The correct response to command line tools which spy on users is not to introduce a ‘DO_NOT_TRACK’ environment variable; it is to stop using those command line tools.

tired: "we love monorepos so much, we keep 20 of them"

wired: "plentyrepos"

ah yeah, system administration documentation or how I like to call it "~/.bash_history"

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.

In retrospect, browser developers getting tired of waiting on the W3C and beginning to standardise their implementations — rather than implementing standards — was an inflection point which would move control of the Web to whichever sponsor could gain a large majority share of the market.

Translation:
-remember, daughter: destroy authority, not the planet.
-yes, mom.

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!
🥳

@lisp @commonlisp

#Programming #Lisp #CommonLisp @lisp

My upcoming Common Lisp book, "The Common Lisp Condition System", was officially announced by Apress. It'll be available in paper and electronic formats at the end of the year.

HN discussion: https://news.ycombinator.com/item?id=23843525