paul
1 Followers · 0 Following
Repositories
19
 Projects Packages Public Activity Starred Repositories
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
paul pushed to master at paul/ma 2024-03-11 00:14:30 +01:00
79227e93d9 Add weak scaling config generation script
d41d8b564b Add booster strong scaling configs
59d5935567 Add more...
Compare 3 commits »
paul pushed to master at paul/ma 2024-03-09 18:49:18 +01:00
075d11b948 Add GPU strong scaling measurement files
1696d72a6f Add pgf generation scripts
6de64dd5d0 Add stuff for eval
b36d8a748d Check in stuff
Compare 4 commits »
paul pushed to master at paul/pbrinkmeier.de 2024-03-07 00:35:38 +01:00
8d867e4d13 Add 18xx.games bookmarklet page