Commit graph

167 commits

Author SHA1 Message Date
625ee85df7 Update CV 2023-04-08 08:13:03 +02:00
67ac538a51 Update CV 2023-02-12 17:39:59 +01:00
374a758027 Fix broken image links 2022-08-15 16:26:12 +02:00
0186a14db3 Transition to Cabal
To build the site executable:

    cabal build

To run it and build the site:

    cabal run site build

Idem for `site watch`, `site clean`, etc.
2022-08-15 16:25:04 +02:00
1592c1abcf Update post on HROs 2022-06-03 19:16:16 +02:00
9a5b8b90af Add post on high reliability organizations 2022-06-02 07:24:05 +02:00
3c48e9317d Add post on "How to train your differentiable filter" 2022-05-20 22:14:32 +02:00
a5d75b49cb Update CV 2022-05-16 22:47:23 +02:00
82299f9479 Add link to Mastodon 2022-05-02 12:33:37 +02:00
97bfc57b86 Merge branch 'mumford' 2022-03-24 22:09:05 +01:00
d4c1f12c25 Update post on the dawning of the age of stochasticity 2022-03-24 22:07:24 +01:00
a909af6223 Add post on the dawning of the age of stochasticity 2022-03-23 19:12:18 +01:00
cbf9ee89b0 Merge branch 'update-lts-19' 2022-03-23 19:07:10 +01:00
2f264b3b4b Add CSS for better-looking bibliography entries 2022-03-23 19:06:16 +01:00
3408e55747 Fix some sidenotes with a single image 2022-03-22 18:44:01 +01:00
f0a827c635 Fix bibliography generation 2022-03-22 18:43:43 +01:00
e8f84412d0 Update to LTS 19.0 2022-03-22 18:17:39 +01:00
cf3152d36a Update favicon 2021-11-15 23:23:34 +01:00
5a3db7cf27 Add Uniplot to the list of projects 2021-05-02 16:29:59 +02:00
4c9a78744b Add post on planning and scheduling for project management
Improve introduction and add problem description

Add description of the classification scheme for scheduling problems

Add description of the general project management workflow

Add references

Add section on algorithms

Add conclusion and final edits
2021-04-13 22:07:52 +02:00
1e5e508901 Add post on MILP problem from IBM Ponder This (March 2021) 2021-04-02 20:52:52 +02:00
d7b9ef5d11 Fix language issues from proselint 2021-03-31 17:04:18 +02:00
f71366e0b2 Add missing sentence in Git post 2021-03-09 09:59:41 +01:00
8bb6daa2f8 Shorten introduction of Git post 2021-03-09 09:24:44 +01:00
cd514004d3 Add new project: ShaderTool 2021-03-08 20:12:00 +01:00
77e2ac287d Update post on Git from graphs 2021-03-08 20:11:02 +01:00
f7aae0452f Add a draft introduction to Git from graphs 2021-03-01 20:01:38 +01:00
822d0f1ae0 Add some projects (2006 ICFP and Synacor) 2021-02-04 21:07:13 +01:00
b6609b3380 Switch to dark mode 2021-02-04 21:07:13 +01:00
e4aab38353 Add tags
https://javran.github.io/posts/2014-03-01-add-tags-to-your-hakyll-blog.html
2021-01-05 21:16:22 +01:00
32b144db4e Small modifications to the contact page and others 2021-01-04 18:32:17 +01:00
af5d04e54f Add a new projects page 2021-01-04 18:31:22 +01:00
cd8fff45ff Add post on Online Analysis of Medical Time Series 2020-11-17 18:20:23 +01:00
72b7241b73 Merge branch 'lie-theory' 2020-11-14 17:35:54 +01:00
1200079874 Update date 2020-11-14 17:35:30 +01:00
2f51fde497 Add a link in the quaternions post 2020-11-14 17:32:31 +01:00
85cf5b13b6 Final update to the post 2020-11-14 17:28:39 +01:00
4070eaadc5 Add references and improve text 2020-11-13 18:41:23 +01:00
4a7520d400 Expand on motivation 2020-11-12 19:40:07 +01:00
309f3110ff Update post 2020-11-12 18:20:30 +01:00
91920faa2d Add post on Lie theory 2020-11-10 14:24:23 +01:00
343ceabdcd Remove GitHub actions workflow
Now I can deploy manually using Netlify CLI:

    yarn add netlify-cli
    netlify login  # login to Netlify
    netlify link  # link the directory to the site
    # deploy, omit "--prod" if you want to preview
    netlify deploy --dir=_site --prod
2020-11-10 09:13:45 +01:00
bac177d458 Add post on quaternions 2020-11-09 21:03:52 +01:00
a80c305a6f Merge branch 'ci' 2020-10-27 22:36:21 +01:00
ade1bddfe8 Avoid installing GHC and Cabal globally 2020-10-27 22:30:41 +01:00
0f877311f7 Add action to deploy on Netlify 2020-10-27 22:26:21 +01:00
b056e06c77 Add cache 2020-10-27 21:31:01 +01:00
8f127843ac Add GitHub Action to build the site 2020-10-27 21:11:36 +01:00
734df439a1 Remove built site files 2020-10-27 21:10:38 +01:00
ef62fdf361 Update PDF CV 2020-09-30 20:59:32 +02:00