paul
0 Followers · 0 Following
Projects Packages Public Activity Starred Repositories
154 contributions in the last 12 months
MayJunJulAugSepOctNovDecJanFebMarAprMonWedFri
Less
More
paul pushed to main at paul/infrastructure 2024-07-02 18:53:15 +02:00
36d2dc8371 fixup! fixup! Bump ansible and ansible-lint versions in CI
paul pushed to main at paul/infrastructure 2024-07-02 18:52:04 +02:00
1fe1eaaa35 fixup! Bump ansible and ansible-lint versions in CI
paul pushed to main at paul/infrastructure 2024-07-02 18:39:11 +02:00
824e96091f Bump ansible and ansible-lint versions in CI
681fc0f781 Remove obsolute VERSION clause from docker-compose configs
0aeebb5d98 Bump hackmd version, migrate to docker compose v2 ansible module
e2a4506f94 Update nixpkgs
9a46b316df Make Ansible pull up-to-date containers when starting docker compose
Compare 5 commits »
paul pushed to main at paul/opium 2024-06-25 22:36:55 +02:00
ef52bd9235 Bump nixpkgs
paul pushed to main at paul/opium 2024-06-25 22:30:20 +02:00
5a36ec328f Use cabal2nix for flake expression
19a1aa26e4 Minor fixes
Compare 2 commits »
paul pushed to main at paul/opium 2024-06-20 20:07:43 +02:00
2caa00c06a Move record member counting out of FromRow' into its own type family
e8ccecc8c7 Cull language pragmas in main module
Compare 2 commits »
paul commented on issue paul/opium#1 2024-06-20 19:37:10 +02:00
Named placeholders

Suggested Solution

Support named parameters by simple string interpolation. Suggested format:

%(<name>), where <name> may contain Haskell identifier characters (or more). %% to…

paul opened issue paul/opium#1 2024-06-20 19:32:01 +02:00
Named placeholders
paul pushed to main at paul/opium 2024-06-17 12:52:07 +02:00
ab9fac6a55 Use void
paul pushed to main at paul/opium 2024-06-10 21:10:24 +02:00
b371cdf725 Add some todos
paul pushed to main at paul/opium 2024-06-10 21:08:37 +02:00
fea11b5f24 Remove ugly IORef from fromRow and replace it by ugly compile time calculation :)
301e20e7e8 Add some comments, execute and execute_
20d150d12c Replace ad-hoc isLeft by import from Data.Either
Compare 3 commits »
paul pushed to feature/better-report at paul/jon 2024-05-14 16:43:13 +02:00
91157f970d Improve entry flow a little
paul pushed to feature/better-report at paul/jon 2024-05-14 00:14:32 +02:00
63ffd98ae8 Rework report
paul created branch feature/better-report in paul/jon 2024-05-14 00:14:32 +02:00
paul pushed to main at paul/jon 2024-05-13 19:32:56 +02:00
e6471070a6 Merge branch 'feature/consumption-graphs'
c6544f29c8 Add todo
bd3ca2f413 Add temporary table with index for speeding up consumption graph query
87366336c5 Add inline SVG consumption graphs
Compare 4 commits »
paul pushed to feature/consumption-graphs at paul/jon 2024-05-13 19:32:01 +02:00
ab53b31ec0 Add todo
a201ce00b6 Add temporary table with index for speeding up consumption graph query
Compare 2 commits »
paul pushed to main at paul/opium 2024-04-11 18:32:19 +02:00
3a5488c89d Add ToField and ToParamList modules, fix warning in spec
paul pushed to main at paul/opium 2024-04-11 18:29:00 +02:00
e68bc65576 Tick off fetch implementation
cd7b334ae5 Add fetch and toParamList for passing parameters
c2c6c6eec2 Turn members of Oid module into constants
f8904ccc01 Add timestamp todo
Compare 4 commits »
paul pushed to master at paul/ma 2024-03-11 07:01:15 +01:00
dee3c87c66 Add strong scaling GPU actions table
3ba78c5f11 Add timing script for investigating action contribution
Compare 2 commits »
paul pushed to master at paul/ma 2024-03-11 01:45:34 +01:00
dac08095c4 Add weak timings