VeXocide

std::endl flushes which isn't cheap, you're generally better off simply steaming in a newline.

Here's the actual filing: https://www.sec.gov/litigation/complaints/2018/comp-pr2018-2...

Here's my personal favorite, GMT +0h 19m 32.13s, which was used in the Netherlands until July 1, 1937: https://en.wikipedia.org/wiki/UTC%2B00:20

It causes a 500 Internal Service Error when passed to the W3C validator: https://validator.w3.org/check?uri=http%3A%2F%2Flcamtuf.core...

Two years ago when the "Ask HN: Who wants to be hired?" thread appeared for the first time I wasn't quite happy where I was at, and posted my details. I was located in the Netherlands at the time and literally one of hundreds posting, thus I didn't have too high a hopes, but why not.

A few local companies reached out, and I interviewed with one or two, but for whatever reason neither ended up working out. At that point I wrote it off and went on with life.

Two months after the post someone from RethinkDB reached out explicitly mentioning it. It later turned out he had gone back through all the posts. After two phone interviews they flew me in, had a the hardest interview in my life to date, but ended up with an offer which I happily accepted.

The rest is history as they say. I had a great time at RethinkDB until about two months ago when we unfortunately had to shut down.

I fully expect a write-up on why RethinkDB failed in the coming months, we're going to have to deal with the practical consequences first.

RethinkDB is production stable as shown by a number of users running it in production, this won't change that. I'm optimistic that it'll do just fine as an open-source project.

Jeroen / VeXocide here, one of the RethinkDB engineers

If a coating of plasti-dip is an option check whether it's possible to add glitter to it as tamper-proofing, similar to https://www.wired.com/2013/12/better-data-security-nail-poli...

A solution using the Yices SMT solver which can be found at http://yices.csl.sri.com/yices2-documentation.html:

    (define d::int)
    (define e::int)
    (define m::int)
    (define n::int)
    (define o::int)
    (define r::int)
    (define s::int)
    (define y::int)

    (assert
       (and
          (and (>= d 0) (<= d 9))
          (and (>= e 0) (<= e 9))
          (and (>= m 0) (<= m 9))
          (and (>= n 0) (<= n 9))
          (and (>= o 0) (<= o 9))
          (and (>= r 0) (<= r 9))
          (and (>= s 0) (<= s 9))
          (and (>= y 0) (<= y 9))
          (and (/= d e) (/= d m) (/= d n) (/= d o) (/= d r) (/= d s) (/= d y))
          (and (/= e m) (/= e n) (/= e o) (/= e r) (/= e s) (/= e y))
          (and (/= m n) (/= m o) (/= m r) (/= m s) (/= m y))
          (and (/= n o) (/= n r) (/= n s) (/= n y))
          (and (/= o r) (/= o s) (/= o y))
          (and (/= r s) (/= r y))
          (/= s y)
          (=
             (+
                (+ (* s 1000) (* e 100) (* n 10) d)
                (+ (* m 1000) (* o 100) (* r 10) e)
             )
             (+ (* m 10000) (* o 1000) (* n 100) (* e 10) y)
          )
       )
    )

    (check)
    (show-model)

which gives

    sat
    (= m 1)
    (= r 8)
    (= y 2)
    (= o 0)
    (= s 9)
    (= n 6)
    (= d 7)
    (= e 5)
    ./bin/yices money.ys  0.01s user 0.00s system 76% cpu 0.012 total

There is Kitematic for Macs, but it requires VirtualBox: https://kitematic.com

Eindhoven (The Netherlands), Relocation | Local, Full Time

Stack: C++ (Boost, STL), Python, SQL (PostgreSQL, SQLite), git

Resume: https://linkedin.com/in/jeroenhabraken

Contact: <username> at gmail.com

I'm looking for a challenge as a backend enginer to further hone my C++ skills, preferably in a small team or startup where I get to wear a few more hats.

Instead of

    ProxyCommand ssh -T host1 'nc %h %p'

you can use

    ProxyCommand ssh -W %h:%p host1

which uses ssh itself and therefor also works on machines where netcat isn't installed.