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'm the guy from RethinkDB who found and hired Jeroen!
I will say it's pretty rare, but when searching for a very particular skill set "Who wants to be hired" can totally work for finding new to mid-level devs.
Well, at the time something in the list of "C++ (Boost, STL), Python, SQL (PostgreSQL, SQLite), git" caught his eye.
Since it was RethinkDB I suspect the combination of C++ (which RethinkDB is written in), Python (one of the 4 languages for which there are/were "official" libraries), experience with 2 different DBMSs and an interest in "a challenge as a backend enginer to further hone my C++ skills" were probably all factors.
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
(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
