Logs: liberachat/#haskell
| 2021-08-24 13:28:38 | → | whez joins (sid470288@tooting.irccloud.com) |
| 2021-08-24 13:28:38 | → | cbarrett joins (sid192934@brockwell.irccloud.com) |
| 2021-08-24 13:28:38 | → | edwardk joins (sid47016@haskell/developer/edwardk) |
| 2021-08-24 13:28:38 | → | cross joins (~cross@spitfire.i.gajendra.net) |
| 2021-08-24 13:28:38 | → | shredder joins (~user@user/shredder) |
| 2021-08-24 13:28:38 | → | sm2n joins (~sm2n@user/sm2n) |
| 2021-08-24 13:28:38 | → | fjmorazan joins (~quassel@user/fjmorazan) |
| 2021-08-24 13:28:38 | → | energizer joins (~energizer@user/energizer) |
| 2021-08-24 13:28:38 | → | gabiruh joins (~gabiruh@vps19177.publiccloud.com.br) |
| 2021-08-24 13:28:38 | → | hays joins (~rootveget@fsf/member/hays) |
| 2021-08-24 13:28:38 | → | Clint joins (~Clint@user/clint) |
| 2021-08-24 13:28:38 | → | finsternis joins (~X@23.226.237.192) |
| 2021-08-24 13:28:38 | → | wanko joins (~wanko@51.15.4.226) |
| 2021-08-24 13:28:38 | → | cods joins (~fred@82-65-232-44.subs.proxad.net) |
| 2021-08-24 13:28:38 | → | remexre joins (~nathan@user/remexre) |
| 2021-08-24 13:28:38 | → | Patternmaster joins (~georg@li1192-118.members.linode.com) |
| 2021-08-24 13:28:38 | → | vk3wtf joins (~doc@220-245-2-190.tpgi.com.au) |
| 2021-08-24 13:28:38 | → | typedfern__ joins (~Typedfern@28.red-83-57-142.dynamicip.rima-tde.net) |
| 2021-08-24 13:28:38 | → | jackhill joins (~jackhill@kalessin.dragonsnail.net) |
| 2021-08-24 13:28:38 | → | EvanR joins (~evan@mail.evanr.info) |
| 2021-08-24 13:28:38 | → | ridcully_ joins (~ridcully@p508ac428.dip0.t-ipconnect.de) |
| 2021-08-24 13:28:38 | → | spoonm joins (spoonm@inaba.spoonm.org) |
| 2021-08-24 13:28:38 | → | natechan joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-24 13:28:38 | → | drewr joins (~drew@user/drewr) |
| 2021-08-24 13:28:42 | × | finsternis quits (~X@23.226.237.192) (Max SendQ exceeded) |
| 2021-08-24 13:28:59 | → | finsternis joins (~X@23.226.237.192) |
| 2021-08-24 13:32:14 | → | neo joins (~neo3@cpe-292712.ip.primehome.com) |
| 2021-08-24 13:32:39 | × | haykam quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-08-24 13:32:53 | → | haykam joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-08-24 13:34:24 | <maerwald> | yeah, must be import foo |
| 2021-08-24 13:41:10 | → | Tuplanolla joins (~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) |
| 2021-08-24 13:44:25 | <merijn> | maerwald: Is there TH involved? |
| 2021-08-24 13:44:27 | × | keutoi quits (~keutoi@157.48.189.217) (Ping timeout: 240 seconds) |
| 2021-08-24 13:44:37 | <maerwald> | ya |
| 2021-08-24 13:44:41 | → | keutoi joins (~keutoi@157.48.189.217) |
| 2021-08-24 13:45:02 | <maerwald> | I fiddled around until it worked, now I'm pretending this never happened |
| 2021-08-24 13:45:06 | <merijn> | TH splices introduce grouping |
| 2021-08-24 13:45:17 | <merijn> | Code can't see definitions *below* a TH splice |
| 2021-08-24 13:45:53 | <merijn> | so if you have "foo <TH splice 1> bar <TH splice 2> quux" then code in 'foo' can't see any definitions in bar/quux |
| 2021-08-24 13:46:16 | <merijn> | bar can't see quux and quux can see everything |
| 2021-08-24 13:46:39 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2021-08-24 13:47:01 | <merijn> | This is so that it's unambiguous what is/isn't in scope for the splices (i.e. only things above it) |
| 2021-08-24 13:51:35 | × | acidjnk_new3 quits (~acidjnk@p200300d0c72b9534e4a445cd6b407eb5.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-08-24 13:52:33 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 2021-08-24 13:53:00 | × | markpythonicbtc quits (~textual@50.228.44.6) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-08-24 13:56:21 | × | fendor quits (~fendor@77.119.197.208.wireless.dyn.drei.com) (Ping timeout: 250 seconds) |
| 2021-08-24 13:56:49 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Ping timeout: 248 seconds) |
| 2021-08-24 14:02:58 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2021-08-24 14:11:11 | × | chisui quits (~chisui@200116b868760900d980a481ca884939.dip.versatel-1u1.de) (Quit: Client closed) |
| 2021-08-24 14:12:46 | <kuribas> | has any work been done on enforcing permissions using types? I saw something recently using liquid haskell I remember... |
| 2021-08-24 14:13:18 | <kuribas> | For example, carrying a typelevel proof that someone can access a resource... |
| 2021-08-24 14:14:06 | <kuribas> | As long as you don't use (undefined :: HasPermission UserFoo ResourceBar)... |
| 2021-08-24 14:16:20 | → | fendor joins (~fendor@91.141.62.188.wireless.dyn.drei.com) |
| 2021-08-24 14:16:32 | <maerwald> | https://hackage.haskell.org/package/mac |
| 2021-08-24 14:16:44 | × | Guest3531 quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-08-24 14:16:54 | <maerwald> | there are 3+ implementations of data flow control in haskell |
| 2021-08-24 14:17:05 | <maerwald> | the first one used arrows afair |
| 2021-08-24 14:17:05 | × | haykam quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-08-24 14:17:16 | → | chris joins (~chris@81.96.113.213) |
| 2021-08-24 14:17:19 | → | haykam joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-08-24 14:17:21 | chris | is now known as Guest2329 |
| 2021-08-24 14:17:28 | <maerwald> | there are also papers, I'm too lazy to find them |
| 2021-08-24 14:18:25 | <kuribas> | maerwald: that looks very interesting, but maybe not quite what I look for. |
| 2021-08-24 14:18:54 | <kuribas> | maerwald: It's not really about untrusted code, more like ensuring our trusted code works correctly. |
| 2021-08-24 14:19:21 | <kuribas> | more like an aid to the developers than as a security guard. |
| 2021-08-24 14:21:05 | → | slack1256 joins (~slack1256@191.125.33.180) |
| 2021-08-24 14:21:40 | × | Guest2329 quits (~chris@81.96.113.213) (Ping timeout: 240 seconds) |
| 2021-08-24 14:22:30 | → | slowButPresent joins (~slowButPr@user/slowbutpresent) |
| 2021-08-24 14:25:04 | <kuribas> | Maybe using a free variable, like in the St Monad as proof of permission... |
| 2021-08-24 14:26:40 | <kuribas> | So you have a low level library which stores permission in the database. |
| 2021-08-24 14:27:06 | <kuribas> | And the logic to process those is kept in a small part of the code. |
| 2021-08-24 14:27:31 | <kuribas> | This code also propagates a phantom variable "proof" of permission. |
| 2021-08-24 14:28:02 | <maerwald> | https://blog.b123400.net/type-level-permission-checking/ |
| 2021-08-24 14:29:13 | → | markpythonicbtc joins (~textual@2601:647:5a00:35:999f:46ac:3d0f:19d0) |
| 2021-08-24 14:29:29 | → | arjun joins (~Srain@user/arjun) |
| 2021-08-24 14:29:30 | → | hnOsmium0001 joins (uid453710@id-453710.stonehaven.irccloud.com) |
| 2021-08-24 14:29:51 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:a8c1:f34:41fc:ef3d) |
| 2021-08-24 14:30:03 | × | carter quits (sid14827@brockwell.irccloud.com) () |
| 2021-08-24 14:30:40 | → | carter joins (sid14827@id-14827.helmsley.irccloud.com) |
| 2021-08-24 14:30:57 | <kuribas> | something like that. |
| 2021-08-24 14:31:07 | × | Franciman quits (~francesco@openglass.it) (Quit: WeeChat 2.3) |
| 2021-08-24 14:31:29 | <kuribas> | I think the free phantom variable is necessary because confidential information shouldn't *escape* from the user context. |
| 2021-08-24 14:31:41 | <kuribas> | So a monad which cannot be escaped. |
| 2021-08-24 14:32:13 | <jippiedoe> | Maybe you want to look for 'information flow control' libraries? |
| 2021-08-24 14:32:57 | <maerwald> | I already linked one :p |
| 2021-08-24 14:33:24 | → | zebrag joins (~chris@user/zebrag) |
| 2021-08-24 14:34:03 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:a8c1:f34:41fc:ef3d) (Ping timeout: 250 seconds) |
| 2021-08-24 14:34:26 | <kuribas> | jippiedoe: indeed... |
| 2021-08-24 14:35:38 | <maerwald> | java has better stuff there |
| 2021-08-24 14:35:48 | <maerwald> | https://www.cs.cornell.edu/jif/ |
| 2021-08-24 14:36:14 | × | meinside_ quits (uid24933@id-24933.brockwell.irccloud.com) () |
| 2021-08-24 14:36:29 | → | meinside_ joins (uid24933@id-24933.helmsley.irccloud.com) |
| 2021-08-24 14:37:17 | <maerwald> | but don't think anyone really uses that |
| 2021-08-24 14:37:21 | <maerwald> | in any language |
| 2021-08-24 14:38:35 | <kuribas> | they should, it's so easy to get a security breach... |
| 2021-08-24 14:38:51 | <maerwald> | no one reads langsec anymore |
| 2021-08-24 14:39:45 | × | feepo quits (sid28508@id-28508.brockwell.irccloud.com) () |
| 2021-08-24 14:39:59 | → | feepo joins (sid28508@id-28508.helmsley.irccloud.com) |
| 2021-08-24 14:45:35 | → | lbseale joins (~lbseale@user/ep1ctetus) |
| 2021-08-24 14:46:40 | × | kimjetwav quits (~user@2607:fea8:235f:9730:b47e:9266:a80c:4549) (Ping timeout: 240 seconds) |
All times are in UTC.