HN user

VeXocide

1,925 karma
Posts118
Comments27
View on HN
www.projectgus.com 4y ago

BMW F Series Gear Selector, Part Two: Breakthrough

VeXocide
186pts112
corporate.dukehealth.org 5y ago

New Vaccine Blocks Covid-19 and Variants, Plus Other Coronaviruses

VeXocide
3pts0
github.com 8y ago

Small C library for the PDP-10

VeXocide
1pts0
stripe.com 8y ago

Kicking off Stripe’s private beta in India

VeXocide
8pts0
www.bloomberg.com 9y ago

Apple Said to Work on Mac Chip That Would Lessen Intel Role

VeXocide
230pts257
blog.hackerrank.com 9y ago

Which Country Would Win in the Programming Olympics?

VeXocide
1pts0
jefftrull.github.io 10y ago

A gentle introduction to fuzzing C++ code with AFL and libFuzzer

VeXocide
28pts0
pdimov.com 11y ago

Simple C++11 metaprogramming

VeXocide
53pts10
www.issuestats.com 11y ago

Issue Stats -- compare how long it takes for Github issues to be closed

VeXocide
1pts0
zhengziying.com 11y ago

The Self-Link Nonsense in Azure DocumentDB

VeXocide
1pts0
www.wired.com 11y ago

Amazon Can Now Test Its Delivery Drones in the U.S

VeXocide
53pts47
waitbutwhy.com 11y ago

From 1M to Graham’s Number

VeXocide
1pts0
well.blogs.nytimes.com 11y ago

How Exercise Changes Our DNA

VeXocide
2pts0
waitbutwhy.com 12y ago

Why Procrastinators Procrastinate

VeXocide
7pts2
www.businessinsider.com 12y ago

25 Everyday Things Made Obsolete This Century

VeXocide
2pts0
www.spiegel.de 13y ago

Underwater: The Netherlands Falls Prey to Economic Crisis

VeXocide
2pts0
www.bgpmon.net 13y ago

Looking at the spamhouse DDOS from a BGP perspective

VeXocide
2pts0
www.independent.ie 13y ago

Trinity students blag way around globe for ‘jailbreak’ charity stunt

VeXocide
1pts0
stellar.cct.lsu.edu 13y ago

Solving Combination Puzzles – An example HPX application

VeXocide
2pts0
www.wolframalpha.com 13y ago

The PSY curve

VeXocide
3pts0
blog.digitalliberalism.eu 13y ago

Looking with Evil Eyes: an Introduction to the Security Mindset

VeXocide
1pts0
blog.notdot.net 13y ago

Build your own FPGA

VeXocide
112pts39
noiseandheat.com 13y ago

OS X Lion Terminal Colours

VeXocide
4pts1
tech.yipit.com 13y ago

Parsible: Straightforward Log Parsing

VeXocide
1pts0
jacquesmattheij.com 13y ago

Fix the bugs and do not forget to fix the class of bug and the process too

VeXocide
4pts0
blogs.technet.com 13y ago

Weaknesses in MS-CHAPv2 authentication

VeXocide
1pts0
puffthemutantdragon.wordpress.com 13y ago

Science on crack: the chemistry of illegal drugs

VeXocide
3pts0
www.evolutionoftheweb.com 14y ago

The Evolution of the Web

VeXocide
3pts0
stackoverflow.com 14y ago

Why is processing a sorted array faster than an unsorted array?

VeXocide
2pts0
www.guardian.co.uk 14y ago

Kremlin chemicals induced storm to rain on anti-Putin parade, says MP

VeXocide
1pts0

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

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

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.

Unix tricks 13 years ago

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.

You are right in that

    31 c0             xor %eax, %eax
is shorter than
    b8 00 00 00 00    mov $0, %eax
but that's not the main reason it's often used in shellcode. The xor reg, reg is preferred because it means the resulting shellcode will not contain a null byte. This is desirable since the null-byte is often used as a string terminator, in environment variables for example.
ReactOS 16 years ago

For others like me who are unfamiliar with the word tenacity: "The state or quality of being tenacious", which in turn is "Holding or tending to hold persistently to something, such as a point of view" or "Tending to retain; retentive".