paul
1 Followers · 0 Following
Repositories
19
 Projects Packages Public Activity Starred Repositories
paul pushed to main at paul/yore 2025-09-22 19:04:58 +02:00
0bf734730b Move Accept HTML in Yore.Servant
paul pushed to main at paul/yore 2025-09-22 18:04:23 +02:00
f2a136d27c Implement HasServer instead of using Raw
85bbc8516a Make doIndex a loop
ac8e8a404a Add dbmate message about database version to schema
fa60291779 Bump nixpkgs
Compare 4 commits »
paul pushed to main at paul/yore 2025-09-22 11:58:51 +02:00
dbea1c549f Factor out doIndex
82d8ce63d8 Remove Yore.Repl and Yore.Index, only run indexer at 3 AM
67127fd28d Add schedule module move some ExceptTs around
368bbb0124 Index current day in main
Compare 4 commits »
paul pushed to main at paul/yore 2025-09-19 08:56:03 +02:00
22867bc229 Improve scripts
paul pushed to main at paul/yore 2025-09-17 19:57:34 +02:00
78d317c7bd Make gFromEnv return Either String (...)
cf57a24497 Use envy in Main.hs
01acb5b0e9 Support Text and Int in Envy
c69a1114b8 Provide type operator based envy API
Compare 4 commits »
paul pushed to main at paul/opium 2025-08-24 21:46:12 +02:00
af16429d82 Also expose ConnectionError in main module
paul pushed to main at paul/opium 2025-08-24 21:40:21 +02:00
42398e71bb Expose ConnectionError constructors
paul pushed to main at paul/opium 2025-08-20 22:22:35 +02:00
1c32e4244e Add actual row number to row number errors
paul pushed to main at paul/opium 2025-07-28 08:57:12 +02:00
9e9e0204bb Add ToField Day
paul opened issue paul/pbrinkmeier.de#3 2025-07-25 10:24:33 +02:00
gyro: Add some whitespace/general style
paul opened issue paul/pbrinkmeier.de#2 2025-07-25 10:23:57 +02:00
gyro: Don't build two tracks for overlapping play
paul opened issue paul/pbrinkmeier.de#1 2025-07-25 10:23:19 +02:00
gyro: Add hint to unmute on iPhone
paul pushed to master at paul/pbrinkmeier.de 2025-07-23 23:25:49 +02:00
a3ad633087 Switch main tracks
paul pushed to master at paul/pbrinkmeier.de 2025-07-22 23:57:55 +02:00
c689d1d048 Set up gyroscope before audio stuff
paul pushed to master at paul/pbrinkmeier.de 2025-07-22 23:36:47 +02:00
729d140243 First audio draft
26c35b27b4 Add working translation to sphere coordinates
Compare 2 commits »
paul pushed to master at paul/pbrinkmeier.de 2025-07-21 08:32:30 +02:00
1635eb9ede Add gyro and webgl demo
paul pushed to main at paul/infrastructure 2025-07-20 18:18:26 +02:00
232306b1b6 Add vorschlagzumklangvongeschichtsschreibendenprozessen.de
paul pushed tag 1.1.0.0 to paul/opium 2025-07-20 02:49:11 +02:00
paul pushed to main at paul/opium 2025-07-20 02:49:06 +02:00
b39da29d13 Bump version
3379fa9df7 Check whether connection succeeded and set encoding in connect
Compare 2 commits »
paul opened issue paul/opium#3 2025-07-16 02:52:31 +02:00
Fix Readme