HNHacker News
TopNewBestAskShowJobs

mboekhoff

4 karma · joined February 26, 2019

Hey there. My name's Michiel and I'm a software engineer working in London. If you want to reach out, my email is michielalexanderb (at) gmail.com.

[ my public key: https://keybase.io/michielboekhoff; my proof: https://keybase.io/michielboekhoff/sigs/PetIJ2iVv-joJeIHuUSdM5XrysEbjJ_h7_aIO9GPNbY ]

submissionscomments
mboekhoff··on Prusti: Static Analyzer for Rust
This really reminds me of design by contract, which I find absolutely fascinating.

Another library that implements this, albeit at runtime (and optionally using MIRAI is https://docs.rs/contracts/latest/contracts/

mboekhoff··on Ask HN: Who wants to collaborate?
This sounds very, very cool. Sadly I'm not much of a gamedev, otherwise I would take part, but I really would love this come to fruition!
mboekhoff··on Amazon CEO unveils 55k tech jobs in his first hiring push
Got to cull the bottom 10% every year! I wonder how many people rejoin at a later point of their career, otherwise surely these sorts of practices would be unsustainable (without hiring lots of labour from abroad?).
mboekhoff··on Ask HN: What have the past 12 months taught you?
I lost my mum just slightly over a year ago, so I know the feeling. And all I really can say is that I'm truly sorry for your loss and that I hope you can one day look back and remember the good things. I guess that's all that one can ask for when presented with situations like these.

Good luck with everything.

mboekhoff··on Ask HN: How to cope with job hunting and depression?
I'm so sorry to hear you're going through this.

I can't say I've ever been in your shoes, but I've had experiences with depression, particularly in those around me. Suicide, or any form of self-harm for that matter, is never the answer. There is a way out of this without hurting yourself.

There is always a demand for experienced software engineers such as yourself. If you live in the UK, I'd be more than happy to set you up with some people I know.

That being said, if you would like a chat about anything, anything whatsoever, I'd be happy to. I put my email on my profile so you can hit me up there.