Playing with Typed Racket in my spare time. It's pretty cool, though takes a bit time to get used to. With every day getting a bit more fluent.
A union type like (U my-struct-foo my-struct-bar) serves as an algebraic data type with cases Foo and Bar.
It takes a bit of time and has rough edges, e.g. there is no "standard" dictionary (Map[A,B]) type, but I think I'll be fine writing wrappers for those things. A very fine tool for prototyping.
You can use Mastodon to add comments to your static blog engine.
If you're stopped by a cop:
I went to a seminar put on by the Seattle Chapter of the National Lawyers Guild. If police stop you outside a car, this is what you should do:
ask: "Am I free to go?" Persist until you get a yes or no
-if yes, leave ASAP
-If no, say this:
"I'd like to speak to a lawyer"
"I don't consent to a search"
"I am exercising my right to remain silent"
Simply being silent doesn't invoke that right. You have to invoke the right to remain silent directly. Being more precise can only help, but it is not necessary. "I'm invoking my right to remain silent" is also valid.
You must request a lawyer clearly and directly. It may be true that a cop could claim ignorance of what someone means when they say "I want a lawyer" or "I'd like to talk to a lawyer," but the meaning in the context of an interaction with police should be obvious and claimed ignorance would not hold up in any court that isn't rigged, like small town courts.
The lawyers that hosted the seminar relayed the story of someone who was in the process of being arrested and said "I want a lawyer, dawg." The police and state successfully argued to the court that the meaning of what the person said was unclear, and they thought he was requesting a "lawyer dog." Be concise and precise in your wording.
Even if police hassle you about not consenting to a search, and even if they proceed with a search anyway, directly stating you don't consent to a search ensures that if they search you and find anything, that evidence could be dismissed as invalid due to being unlawfully obtained.
@sir C++ is what you get when you start designing a language and you realise you're digging too much deep, and you decide to climb out of the hole by digging through the earth.
A reminder that the "hashtables" package in Haskell should be avoided for the foreseeable future because it loses data: https://github.com/gregorycollins/hashtables/issues/55
😂 best explanation of "container" I ever saw http://blog.z3bra.org/2016/03/hand-crafted-containers.html#
The involuntary cyberpunk godfather, William Gibson, has released a new book, that I'll be combing through for high-frequency reality-rigging trillionaire artifacts. The alt-timeline 2016 election jumps out, immediately.
I did finally install FreeBSD, something I wanted to do for ages but put off for later. Finally got to it, thanks to kvm and virt-install and the ready-made image. Now, what should I do with it? #freebsd
Mastodon ist ein soziales Netzwerk. Es basiert auf offenen Web-Protokollen und freier, quelloffener Software. Es ist dezentral (so wie E-Mail!).