25 years of experience developing and managing large scale systems and systems that cannot fail.

I backed a Boaty kickstarter (https://www.kickstarter.com/projects/boaty/the-boaty-kit-a-n...) a few years ago; though those close friends of mine use regular (though _clearly_ marked) washcloths.

I also happen to be a guy, so what I'm about to say applies only to my #2 process -- so no direct experience with ladies' #1 or any concern about cross-contamination by water running to the frontal anatomy (though my research back then mentioned that shouldn't be a bigger concern than without these items).

1. Within a few attempts you get very good at aiming (blind) and keeping only the inside of your bum cheeks wet. With the handheld want it's "all in the wrist", with the integrated system you get to do a silly little hip dance for 5 seconds and move on your with life.

2. It immediately joins and is flushed with the rest of your deposit. I do dry my cheeks with the boaty towels, and find it particularly pleasant and clean, at least comparatively to the previous decades of my life. So "with the spraying water?" yes, overwhelmingly, and "into the laundry machine?" trace amounts for sure, but emphasis on trace amounts.

Hope this helps, I'm also a _fanatical convert_ of this new process.

It was a gigantic pain in the ass to attach to the toilet, mostly because said toilet is in a recessed alcove in my bathroom.

Though it's been a delight to use ever since.

At 3Box Labs we are on a mission to usher in a new era for the web, where data is secure, interactions are trustworthy, and relationships are the basis of connection. We're enabling online experiences that are delightful and integrated while also bolstering privacy and freeing innovation. Our first product, Ceramic, is the building block for composable data on the web and is powering thousands of the world's most ambitious applications.

We're backed by an incredible community and the best investors in the space (USV, Placeholder, Variant, Multicoin) who have deep conviction in our mission. We are a lean, voraciously curious team from across the globe, with 5 years of expert remote work experience and frequent (and awesome) team retreats to spend time together. We have founded tech startups, written books, won product awards, authored patents, created Ethereum standards, and advised F100 CEOs.

Come help us tackle novel challenges and reinvent how data is managed online. Every one of our roles is remote first (retreat often!). We are committed to building a diverse and inclusive team because we cannot succeed in our mission without it. People that identify with groups traditionally underrepresented in tech are particularly encouraged to apply.

Apply at https://jobs.lever.co/3box/d2709760-cceb-4a16-badc-8e95569b6...

    Location: Montreal, Canada
    Remote: Yes
    Willing to relocate: No
    Services provided:
      * Cloud Infrastructure setup and administration for startups and medium-sized companies (10+ years of experience)
      * Technical Due Diligence for angels and VCs (5+ years of experience)
      * Fractional CTO for startups (5+ years of experience)
      * Business processes and software systems modeling (eg: TLA+ and CVC5/Z3; 2+ years experience)
    Website: https://www.sandreckoning.com
    LinkedIn: https://www.linkedin.com/in/christianlavoie/

Each level had an increasing level of what you needed to do, with the first level being to buy some stock (which you could do from the UI).

Most levels had you operating some kind of marketing making system, where you had to constantly update passive positions that made money as bots traded against them, and the prices shifted.

The last level required you to "hack" the system to get info you weren't supposed to have, in order to identify the insider trader in the middle of 50 other bots. It was quite different from all the other levels.

Here was the level solving code from my second run through:

https://gist.github.com/DanielVF/d43e079050d1cf3c05d6

    Location: Montreal, Canada
    Remote: Yes
    Willing to relocate: No
    Services provided:
      * Cloud Infrastructure setup and administration for startups and medium-sized companies (10+ years of experience)
      * Technical Due Diligence for angels and VCs (5+ years of experience)
      * Fractional CTO for startups (5+ years of experience)
      * Business processes and software systems modeling (eg: TLA+ and CVC5/Z3; 2+ years experience)
    Website: https://sandreckoning.eb-sites.com/5815312728981504
    LinkedIn: https://www.linkedin.com/in/christianlavoie/

    Location: Montreal, Canada
    Remote: Yes
    Willing to relocate: No
    Services provided:
      * Cloud Infrastructure setup and administration for startups and medium-sized companies (10+ years of experience)
      * Technical Due Diligence for angels and VCs (5+ years of experience)
      * Fractional CTO for startups (5+ years of experience)
      * Business processes and software systems modeling (eg: TLA+ and CVC5/Z3; 2+ years experience)
    Website: https://sandreckoning.eb-sites.com/5815312728981504
    LinkedIn: https://www.linkedin.com/in/christianlavoie/

This is probably best thought of from the Erlang perspective; where an OS level thread is called a "scheduler" and what as an Erlang programmer you think of as a thread (called an "erlang process") of which you can have quite literally hundreds of thousands or millions in a large enough app.

Interestingly you can think of it as the counterpoint to the (IIRC) early 2000s Java migration from M:N threading model (where M java threads would map on N OS threads) to 1:1 threading model (where the JVM finally gave up the belief it knew better than the OS and just mapped them 1:1).

On the other hand, there's also lots to be said about async style APIs (eg: goroutines in Go, or the recent async work in Rust; admittedly neither are managed languages) creating lots and lots of very short lived threads where in a managed language context, the JIT would be able to prove interesting properties (eg: it's extremely short-lived, blocks the "parent" thread until it finishes and uses no memory shared with concurrent threads) and treat it in a way that bypasses the whole "save CPU state in the OS" context switch.

  Location: Montreal, Canada
  Remote: yes (for the last 13 years)
  Willing to relocate: No
  Technologies: TLA+, Terraform, SQL, Haskell, Python, Java (and many, many others)
  CV: https://www.linkedin.com/in/christianlavoie/
  Email: please contact through linkedin.

I'm not blind, so this shouldn't be something that'll take away from someone with a real need; this is just one nerd's attempt at learning another (practically speaking, useless to me) skill for the sake of learning. I've already glued braille stickers on my normal keyboard, but they don't last, on that side I'm already considering DIY keys, maybe from a 3d printing shop online.

I've looked at a few online and the prices are in the range where I can't justify it just a fun learning experience, so I'm considering a DIY approach, but that seems equally if not more fraught with difficulties. Thoughts?

For computers, there’s a third step: learning how your screen reader works.

The first is hard on its own, and may be effectively unachievable for elderly persons (the sensitivity of your fingers goes down with age)

The second and third you can exercise without hardware with some (¿most?) screen readers. For example, Apples voiceover has a braille panel (https://support.apple.com/en-gb/guide/voiceover/vo15603/mac)

Enable that and cover the rest of the screen to force yourself to not cheat by looking at the screen, and you’ve a cheap testing setup.

Maybe my experience will be useful to you. Do it for the plasticity.

a high level writeup is here: https://github.com/whacked/cow/blob/main/learning%20braille....

can talk separately in more detail, although for my purposes the code parts are pretty minimal. Brltty does a good job, and so did eBay for me when I started.

For example, at the moment you can get one for less than 500€: https://www.kleinanzeigen.de/s-braillezeile/k0

I bought a couple of them and sent them to a friend in France who is himself blind and active in an association to help people with learning braille. Interestingly, France has not that many second-hand braille tablets. I suppose that it is because in Germany you can get them paid by the health insurance, this makes it easier for people to get access to them.