Coder Social home page Coder Social logo

Hello 👋 My name is Clément and I live in the beautiful city of Nancy, France 🇫🇷

I started my career with a Ph.D thesis on Verification of object-oriented programs with linear logic. Then I was on the engineering team when Prove & Run started. At Prove & Run, I co-authored a compiler and prover for a C-like functional programming language (yes! Think C without pointer and where = is deep copy 🤯). This was the time I discovered that I am a software engineering leader: I inspire people and create teams and processes that deliver.

I love writing technical content and talking about it. For example, I'm still pretty proud of this paper on parallelizing programs by rewriting their linear proofs. At Tweag my job allowed me to talk publicly about my professional interests, for example I wrote about:

  1. Building Haskell programs with Bazel
  2. Monads in OCaml
  3. Python Monorepos. This one is #1 for Google's search for "python monorepo" 👑

I pitch the technologies I love to C-levels, for example with this case study of my work for a healthcare scale-up or when I presented at Modus Create's Developer Productivity Days. I love contributing to the company's strategy, understanding its constraints and trajectory, to drive the product and energize the teams accordingly.

At Modus Create (the company that acquired Tweag), I am the Director of the Functional Engineering Department. I participate in hiring, consultants allocation, career paths, salary reviews, and sales activities. I oversee the growth of the software engineers in my department and support the tech leads on client projects. In parallel, I still work part-time as a Principal Software Engineer for clients 🧑‍💻

Clément Hurlin's Projects

copybara-deploy icon copybara-deploy

copybara deployment - contains releases of Google's copybara uberjar

dolmen icon dolmen

A parser generator for the Java language

exdown icon exdown

Extract code blocks from markdown files

gdx-gamejolt icon gdx-gamejolt

An implementation of GameJolt's API (http://gamejolt.com/api/doc/game) that uses libgdx to send HTTP requests.

hgamesgdx icon hgamesgdx

Library I use for my games, depends on libgdx, hgamesrhogue and my fork of SquidLib; GWT compliant

hgameslib icon hgameslib

A library that I use in my roguelikes (Dungeon Mercenary and Rogue vs Evil). Only depends on the Java library. This library doesn't contain any roguelike-oriented code.

hgamesrhogue icon hgamesrhogue

A library that I use in my roguelikes (Dungeon Mercenary and Rogue vs Evil). Only depends on the Java library, on my fork of SquidLib, and on hgameslib. This library contains roguelike-oriented code.

kcg icon kcg

Trial at a strategy card game using Kotlin and korge

myconfig icon myconfig

Personal configuration files such as .vimrc

papageorges icon papageorges

A program to make each person in a group give a Christmas gift to exactly one other person in this group.

pass-to-txt icon pass-to-txt

Export your pass (https://www.passwordstore.org) content to stdout/text

proverif.vim icon proverif.vim

A vim mode for proverif's .pv files (http://prosecco.gforge.inria.fr/personal/bblanche/proverif/)

squidlib icon squidlib

My fork of SquidLib where a LOT of stuff has been removed

srtcheck icon srtcheck

Syntax checker for srt files (subtitles). Useful, for example, to catch decoding errors when transforming a utf-8 file to iso-8859-15 with gnome-subtitles (to put subtitles on the freebox HD).

zkm.vim icon zkm.vim

A vim mode for zkm script files (www.zelix.com/klassmaster/)

zzbot icon zzbot

flexible shell commands executor

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.