Vincent Hanquez's adventures Zola 2021-01-17T00:00:00+00:00 https://vincenthz.github.io/atom.xml 2021-01-17T00:00:00+00:00 2021-01-17T00:00:00+00:00 Unknown https://vincenthz.github.io/cryptoxide-performance/

<p>Related to some engine rewrite and SSE, AVX, AVX2 cpu optimisation I did last year on <a rel="external" href="https://github.com/typed-io/cryptoxide/">cryptoxide</a> :</p> <ul> <li><a rel="external" href="https://github.com/typed-io/cryptoxide/pull/8">SHA2 optimisation</a></li> <li><a rel="external" href="https://github.com/typed-io/cryptoxide/pull/9">Blake2 optimisation</a></li> </ul>

2020-01-26T00:00:00+00:00 2020-01-26T00:00:00+00:00 Unknown https://vincenthz.github.io/ouroboros-vrf-explanation/

<p>Verifiable Random Function (VRF) are one of the key cryptographic primitive for <a rel="external" href="https://eprint.iacr.org/2017/573.pdf">Ouroboros Praos</a>, that allows to participate in the block creation lottery. Let's dig in the detail of the tech</p>

2017-07-20T00:00:00+00:00 2017-07-20T00:00:00+00:00 Unknown https://vincenthz.github.io/ghc-stack/

<p>While Stack is really good at magically summoning all the compilers you need, adding your own compiled compiler is not quite documented. For testing specific version that doesn't have a release, or testing your own compiler modification, it's useful to add your own compiler in a build tool that by default works in a multi compiler settings.</p>

2017-03-20T00:00:00+00:00 2017-03-20T00:00:00+00:00 Unknown https://vincenthz.github.io/compilation-cstruct/

<p>Dealing with complex C-structure-like data in haskell often force the developer to have to deal with C files, and create a system that is usually a tradeoff between efficiency, modularity and safety.</p> <p>The <code>Foreign</code> class doesn't quite cut it, external program needs C files, binary parsers (binary, cereal) are not efficient or modular.</p> <p>Let's see if we can do better using the advanced haskell type system.</p>

2016-09-09T00:00:00+00:00 2016-09-09T00:00:00+00:00 Unknown https://vincenthz.github.io/foundation/

<p>A new hope. Foundation is a new library that tries to define a new modern Haskell framework. It is also trying to be more than a library: A common place for the community to improve things and define new things</p>

2015-09-28T00:00:00+00:00 2015-09-28T00:00:00+00:00 Unknown https://vincenthz.github.io/rust-with-haskell/

<p>Rust is a pretty interesting language, in the area of C++ but more modern / better. The stated goal of rust are: "a systems programming language focused on three goals: safety, speed, and concurrency". Combining Rust with Haskell could create some interesting use cases, and could replace use of C in some projects while providing a more high level and safer approach where Haskell cannot be used.</p>

2015-06-02T00:00:00+00:00 2015-06-02T00:00:00+00:00 Unknown https://vincenthz.github.io/announcing-cryptonite/

<p>For the last 5 years, I've worked intermittently on cryptographic related packages for Haskell. Lately, I've consolidated it all in one single package. Announcing <a rel="external" href="http://hackage.haskell.org/package/cryptonite">cryptonite</a></p>

2015-05-30T00:00:00+00:00 2015-05-30T00:00:00+00:00 Unknown https://vincenthz.github.io/downloading-safely/

<p>All too often, things are downloaded without safety from hosts and mirrors. Here's a practical guide to know where you stand and improve the situation.</p>

2014-05-05T00:00:00+00:00 2014-05-05T00:00:00+00:00 Unknown https://vincenthz.github.io/hourglass-simpler-time/

<p>Each time, I've used the <a rel="external" href="http://hackage.haskell.org/package/time">time</a> API in Haskell, I'm left with the distinct feeling that the API is not what I want it to be. After one time too many searching the API to do some basic thing, I've decided to look at the design space and just try implementing what I want to use.</p>

2014-03-29T00:00:00+00:00 2014-03-29T00:00:00+00:00 Unknown https://vincenthz.github.io/cabal-db-license/

<p>Following discussions with fellow haskellers, regarding the need to be careful with adding packages that could depends on GPL or proprietary licenses, it turns out it's not easy to get your dependencies's licenses listed.</p>

2014-02-25T00:00:00+00:00 2014-02-25T00:00:00+00:00 Unknown https://vincenthz.github.io/unix-memory/

<p>On unix system, we get access to syscalls that maps files or devices into memory. The main syscall is mmap, but there's also some others syscalls in the same family to handle mapped memories like mlock, munlock, mprotect, madvise, msync.</p>

2014-02-14T00:00:00+00:00 2014-02-14T00:00:00+00:00 Unknown https://vincenthz.github.io/announce-tls12/

<p>One year ago, I've started some big changes on the <a rel="external" href="http://hackage.haskell.org/package/tls">tls</a> package. I've finally manage to wrap it up in something that people can use straight out of hackage.</p>

2013-10-25T00:00:00+00:00 2013-10-25T00:00:00+00:00 Unknown https://vincenthz.github.io/haskell-crypto-platform/

<p>One of my side projects that has been running for couple of years now, was to get Cryptography up to scratch in haskell. Back when I started <a rel="external" href="http://hackage.haskell.org/package/tls">TLS</a>, there were many various cryptography related projects and libraries. Many were not easy to use, none were consistent, many had performance problems.</p>

2013-04-22T00:00:00+00:00 2013-04-22T00:00:00+00:00 Unknown https://vincenthz.github.io/ghc-core-html/

<p>After reading one too many time ghc core's output, i've been itching to have a more interactive output.</p>

2013-03-13T00:00:00+00:00 2013-03-13T00:00:00+00:00 Unknown https://vincenthz.github.io/cabal-db/

<p>Following previous experiment with Cabal library and querying the state of the hackage world <a rel="external" href="http://tab.snarc.org/posts/haskell/2013-03-03-playing-with-cabal-lib.html">here</a>, I've extended and wrapped the tool into a cabal package.</p>