Viewing profile — philix001

The spec might not even contain the level of detail necessary for that to be possible. That possibility is what makes modeling easier than implementing the spec. Through a process …

People that can write proofs in Coq and Isabelle might prefer that over the TLC approach of exhaustively checking all the possible states allowed by a TLA+ spec. But writing proofs…

Start looking for small opportunities to do something different and bold. Do that before you're asked to do it. Sooner or later you will get "hired" for the kind of job where you g…

You might want to follow the Rust developments in this area: https://areweguiyet.com/

Check my own B+-Tree implementation that I did as an exercise. It's clean and well-commented. https://gist.github.com/philix/236f82183bbb27bd01033f94fe42e... Real database systems …

Goetz Graefe [1] published interesting surveys on B-Trees, query optimization... The Red Book can give you many ideas [2]. Mark Callaghan has been published a lot of stuff related …

Enough material here to scare anyone about databases https://jepsen.io/talks

Check Regel. It's very flexible and allows you to generate code for different programming languages. It can also work with binary data. Its main application is generation of optimi…

They are. I avoided introducing an explanation of Curry-Howard isomorphism because I think that would not be very intuitive to many people because the most commonly used type syste…

I don't think it's common for programmers to have in depth opinions about type systems. And most of the ones who do may not really know what they're talking about.

And some neovim patches are merged upstream.

async plugins? true color support? If you have a 32-bit color capable terminal you can use any colorscheme and get real RGB colors.

People are free to fork open source projects. tarruda tried to merge the async job system before forking vim. Bram has the right to deny the patches, but the most successful projec…

"Tim Sweeney claims that Microsoft will remove Win32, destroy Steam" http://arstechnica.com/information-technology/2016/07/now-ti...