Logs: liberachat/#haskell
| 2021-08-24 14:47:04 | × | haykam quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-08-24 14:47:15 | → | lbseale_ joins (~lbseale@user/ep1ctetus) |
| 2021-08-24 14:47:19 | → | haykam joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-08-24 14:47:29 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds) |
| 2021-08-24 14:48:29 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-24 14:50:27 | × | lbseale quits (~lbseale@user/ep1ctetus) (Ping timeout: 240 seconds) |
| 2021-08-24 14:53:34 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-08-24 14:54:41 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-24 14:57:31 | → | chris joins (~chris@81.96.113.213) |
| 2021-08-24 14:57:35 | chris | is now known as Guest1613 |
| 2021-08-24 14:59:55 | × | lightandlight quits (sid135476@id-135476.brockwell.irccloud.com) () |
| 2021-08-24 15:00:09 | → | lightandlight joins (sid135476@id-135476.helmsley.irccloud.com) |
| 2021-08-24 15:00:49 | × | d0ku quits (~d0ku@178.43.56.75.ipv4.supernova.orange.pl) (Ping timeout: 248 seconds) |
| 2021-08-24 15:02:49 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-24 15:02:49 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-08-24 15:02:49 | → | wroathe joins (~wroathe@user/wroathe) |
| 2021-08-24 15:04:01 | × | hannessteffenhag quits (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2021-08-24 15:04:47 | × | haykam quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-08-24 15:04:50 | meejah_ | is now known as meejah |
| 2021-08-24 15:04:59 | → | haykam joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-08-24 15:05:25 | <tdammers> | I think the main reason type-level permissions aren't used more widely is because in most practical systems where it matters and enough budget is available to build something like that, permissions pretty much need to be runtime-configurable |
| 2021-08-24 15:05:38 | × | haykam quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-08-24 15:05:52 | → | haykam joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-08-24 15:07:51 | × | haykam quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-08-24 15:08:05 | → | haykam joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-08-24 15:12:47 | → | lbseale__ joins (~lbseale@user/ep1ctetus) |
| 2021-08-24 15:14:32 | × | bjs quits (sid190364@user/bjs) () |
| 2021-08-24 15:14:50 | → | bjs joins (sid190364@user/bjs) |
| 2021-08-24 15:16:25 | → | drd joins (~drd@93-39-151-19.ip76.fastwebnet.it) |
| 2021-08-24 15:16:25 | × | cbarrett quits (sid192934@brockwell.irccloud.com) () |
| 2021-08-24 15:16:27 | × | lbseale_ quits (~lbseale@user/ep1ctetus) (Ping timeout: 240 seconds) |
| 2021-08-24 15:16:39 | × | dpratt_ quits (sid193493@id-193493.brockwell.irccloud.com) () |
| 2021-08-24 15:16:41 | → | cbarrett joins (sid192934@id-192934.helmsley.irccloud.com) |
| 2021-08-24 15:16:58 | → | dpratt_ joins (sid193493@id-193493.helmsley.irccloud.com) |
| 2021-08-24 15:21:27 | × | keutoi quits (~keutoi@157.48.189.217) (Ping timeout: 240 seconds) |
| 2021-08-24 15:21:55 | → | skykanin joins (~skykanin@115.81-166-221.customer.lyse.net) |
| 2021-08-24 15:23:27 | → | keutoi joins (~keutoi@157.48.189.217) |
| 2021-08-24 15:23:38 | × | dajoer quits (~david@user/gvx) (Quit: leaving) |
| 2021-08-24 15:24:42 | × | skykanin quits (~skykanin@115.81-166-221.customer.lyse.net) (Client Quit) |
| 2021-08-24 15:25:25 | × | slack1256 quits (~slack1256@191.125.33.180) (Remote host closed the connection) |
| 2021-08-24 15:25:27 | × | hyiltiz quits (~quassel@31.220.5.250) (Ping timeout: 240 seconds) |
| 2021-08-24 15:25:31 | → | skykanin joins (~skykanin@115.81-166-221.customer.lyse.net) |
| 2021-08-24 15:25:47 | × | azeem quits (~azeem@dynamic-adsl-94-34-33-6.clienti.tiscali.it) (Ping timeout: 240 seconds) |
| 2021-08-24 15:25:54 | → | hyiltiz joins (~quassel@31.220.5.250) |
| 2021-08-24 15:26:48 | × | mouseghost quits (~draco@user/mouseghost) (Quit: mew wew) |
| 2021-08-24 15:26:59 | × | hendursaga quits (~weechat@user/hendursaga) (Remote host closed the connection) |
| 2021-08-24 15:27:23 | → | hendursaga joins (~weechat@user/hendursaga) |
| 2021-08-24 15:29:40 | → | chisui joins (~chisui@200116b868760900d980a481ca884939.dip.versatel-1u1.de) |
| 2021-08-24 15:30:19 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.2) |
| 2021-08-24 15:30:20 | → | slack1256 joins (~slack1256@191.125.33.180) |
| 2021-08-24 15:30:28 | <chisui> | Hey, is there any documentation of the dark art of writing compiler plugins? |
| 2021-08-24 15:30:40 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.2) |
| 2021-08-24 15:31:21 | × | vs^ quits (~vs@12.16.129.111) (Remote host closed the connection) |
| 2021-08-24 15:32:25 | × | edmundnoble quits (sid229620@id-229620.brockwell.irccloud.com) () |
| 2021-08-24 15:32:40 | → | edmundnoble joins (sid229620@id-229620.helmsley.irccloud.com) |
| 2021-08-24 15:33:53 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 248 seconds) |
| 2021-08-24 15:34:00 | <tomsmeding> | chisui: there are some notes here, not sure how extensive they are https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/extending_ghc.html |
| 2021-08-24 15:34:52 | → | shapr joins (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
| 2021-08-24 15:35:52 | <chisui> | thanks |
| 2021-08-24 15:36:53 | × | arjun quits (~Srain@user/arjun) (Ping timeout: 250 seconds) |
| 2021-08-24 15:37:09 | <kuribas> | tdammers: is it that expensive though? |
| 2021-08-24 15:37:41 | <kuribas> | tdammers: would it be harder than using any monad library? |
| 2021-08-24 15:38:23 | × | flukiluke quits (~flukiluke@2603:c023:c000:6c7e:8945:ad24:9113:a962) (Remote host closed the connection) |
| 2021-08-24 15:39:10 | → | buggymcbugfix joins (~buggymcbu@p4fcaa0a6.dip0.t-ipconnect.de) |
| 2021-08-24 15:39:20 | → | flukiluke joins (~flukiluke@2603:c023:c000:6c7e:8945:ad24:9113:a962) |
| 2021-08-24 15:41:13 | × | Boomerang quits (~Boomerang@xd520f68c.cust.hiper.dk) (Ping timeout: 250 seconds) |
| 2021-08-24 15:43:19 | × | juhp quits (~juhp@128.106.188.220) (Quit: juhp) |
| 2021-08-24 15:43:33 | → | juhp joins (~juhp@128.106.188.220) |
| 2021-08-24 15:45:47 | × | farn quits (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) (Ping timeout: 240 seconds) |
| 2021-08-24 15:46:11 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:a8c1:f34:41fc:ef3d) |
| 2021-08-24 15:46:40 | × | oxytocat quits (~alloca@user/suppi) (Ping timeout: 240 seconds) |
| 2021-08-24 15:47:05 | → | farn joins (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) |
| 2021-08-24 15:47:52 | → | oxytocat joins (~alloca@user/suppi) |
| 2021-08-24 15:50:06 | → | dsrt^ joins (~dsrt@12.16.129.111) |
| 2021-08-24 15:50:32 | × | buggymcbugfix quits (~buggymcbu@p4fcaa0a6.dip0.t-ipconnect.de) (Quit: Connection closed) |
| 2021-08-24 15:51:49 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 244 seconds) |
| 2021-08-24 15:52:59 | → | buggymcbugfix joins (~buggymcbu@p4fcaa0a6.dip0.t-ipconnect.de) |
| 2021-08-24 15:53:00 | × | lortabac quits (~lortabac@62.98.34.238) (Quit: WeeChat 2.8) |
| 2021-08-24 15:53:53 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 2021-08-24 15:54:20 | → | econo joins (uid147250@user/econo) |
| 2021-08-24 15:56:27 | × | jippiedoe quits (~david@2a02-a44c-e14e-1-d8c8-4f7-e34-193e.fixed6.kpn.net) (Ping timeout: 240 seconds) |
| 2021-08-24 15:58:33 | × | buggymcbugfix quits (~buggymcbu@p4fcaa0a6.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-08-24 16:00:10 | × | jonathanx quits (~jonathan@dyn-8-sc.cdg.chalmers.se) (Remote host closed the connection) |
| 2021-08-24 16:01:02 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-24 16:02:26 | × | zaquest quits (~notzaques@5.128.210.178) (Remote host closed the connection) |
| 2021-08-24 16:03:25 | × | kaychaks__ quits (sid236345@id-236345.brockwell.irccloud.com) () |
| 2021-08-24 16:03:45 | → | kaychaks__ joins (sid236345@id-236345.helmsley.irccloud.com) |
| 2021-08-24 16:04:52 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-08-24 16:05:02 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) |
| 2021-08-24 16:05:06 | × | elvishjerricco quits (sid237756@brockwell.irccloud.com) () |
| 2021-08-24 16:05:21 | → | elvishjerricco joins (sid237756@id-237756.helmsley.irccloud.com) |
| 2021-08-24 16:06:22 | × | parseval quits (sid239098@id-239098.brockwell.irccloud.com) () |
| 2021-08-24 16:06:36 | → | parseval joins (sid239098@id-239098.helmsley.irccloud.com) |
| 2021-08-24 16:06:55 | × | lbseale__ quits (~lbseale@user/ep1ctetus) (Remote host closed the connection) |
| 2021-08-24 16:08:01 | × | zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2021-08-24 16:08:05 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds) |
| 2021-08-24 16:11:57 | <kuribas> | hmm, but for a web service it probably doesn't matter, because each request will run in one user context... |
| 2021-08-24 16:12:37 | <kuribas> | So you need to just enforce that all resources are going through the permission checker... |
| 2021-08-24 16:12:53 | → | alicebudda joins (~alicebudd@cold.passenger.volia.net) |
| 2021-08-24 16:13:44 | → | azeem joins (~azeem@176.201.15.223) |
All times are in UTC.