Logs: liberachat/#haskell
| 2021-06-01 17:24:52 | → | bmsk joins (~user@2001:19f0:5001:2f3b:5400:3ff:fe53:2d96) |
| 2021-06-01 17:24:53 | → | funsafe joins (~funsafe@2601:1c1:4200:938f:389d:16a4:ae2d:65aa) |
| 2021-06-01 17:24:54 | → | bor0 joins (~boro@46.217.54.116) |
| 2021-06-01 17:24:56 | → | jiribenes joins (~jiribenes@rosa.jiribenes.com) |
| 2021-06-01 17:25:00 | → | iphy joins (sid67735@2001:67c:2f08:4::1:897) |
| 2021-06-01 17:25:00 | → | NemesisD joins (sid24071@2001:67c:2f08:4::5e07) |
| 2021-06-01 17:25:01 | → | nitrix joins (~nitrix@ns569831.ip-51-79-81.net) |
| 2021-06-01 17:25:04 | → | immae joins (~immae@2a01:4f8:141:53e7::) |
| 2021-06-01 17:25:04 | → | edwardk joins (sid47016@2001:67c:2f08:3::b7a8) |
| 2021-06-01 17:25:10 | × | edwtjo quits (~edwtjo@h-79-136-7-145.A213.priv.bahnhof.se) (Changing host) |
| 2021-06-01 17:25:10 | → | edwtjo joins (~edwtjo@user/edwtjo) |
| 2021-06-01 17:25:14 | → | ivan joins (~ivan@static.38.6.217.95.clients.your-server.de) |
| 2021-06-01 17:25:36 | × | amir quits (sid22336@id-22336.stonehaven.irccloud.com) (Changing host) |
| 2021-06-01 17:25:36 | → | amir joins (sid22336@user/amir) |
| 2021-06-01 17:25:46 | × | edwardk quits (sid47016@2001:67c:2f08:3::b7a8) (Changing host) |
| 2021-06-01 17:25:46 | → | edwardk joins (sid47016@haskell/developer/edwardk) |
| 2021-06-01 17:25:52 | × | yushyin quits (exGFiU2tsp@karif.server-speed.net) (Client Quit) |
| 2021-06-01 17:25:53 | × | ivan quits (~ivan@static.38.6.217.95.clients.your-server.de) (Changing host) |
| 2021-06-01 17:25:53 | → | ivan joins (~ivan@user/ivan) |
| 2021-06-01 17:25:59 | bjfs | is now known as Guest6937 |
| 2021-06-01 17:26:02 | × | nitrix quits (~nitrix@ns569831.ip-51-79-81.net) (Changing host) |
| 2021-06-01 17:26:02 | → | nitrix joins (~nitrix@user/nitrix) |
| 2021-06-01 17:26:07 | bmsk | is now known as Guest7513 |
| 2021-06-01 17:26:11 | bor0 | is now known as Guest929 |
| 2021-06-01 17:26:14 | → | yushyin joins (iqIKChYq4t@karif.server-speed.net) |
| 2021-06-01 17:26:32 | → | sm2n joins (~sm2n@user/sm2n) |
| 2021-06-01 17:26:39 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-06-01 17:26:40 | → | statusbot joins (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) |
| 2021-06-01 17:26:42 | → | pie_bnc joins (~pie_bnc@user/pie/x-2818909) |
| 2021-06-01 17:26:44 | → | abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2021-06-01 17:26:45 | → | bsima joins (~bsima@simatime.com) |
| 2021-06-01 17:26:49 | → | ham joins (~ham4@user/ham) |
| 2021-06-01 17:26:56 | → | hexology joins (~hexology@user/hexology) |
| 2021-06-01 17:27:09 | × | yushyin quits (iqIKChYq4t@karif.server-speed.net) (Client Quit) |
| 2021-06-01 17:27:11 | → | haasn joins (~nand@haasn.dev) |
| 2021-06-01 17:27:17 | → | Adran joins (~adran@botters/adran) |
| 2021-06-01 17:27:19 | → | vjoki joins (~vjoki@2a00:d880:3:1::fea1:9ae) |
| 2021-06-01 17:27:23 | → | berberman joins (~berberman@user/berberman) |
| 2021-06-01 17:27:23 | → | yushyin joins (nrX1Axr00h@karif.server-speed.net) |
| 2021-06-01 17:27:54 | → | cheater joins (~Username@user/cheater) |
| 2021-06-01 17:28:04 | → | Guest31 joins (~textual@cpc146410-hari22-2-0-cust124.20-2.cable.virginm.net) |
| 2021-06-01 17:28:47 | × | liskin quits (~liskin@ackle.nomi.cz) (Client Quit) |
| 2021-06-01 17:28:56 | → | liskin joins (~liskin@ackle.nomi.cz) |
| 2021-06-01 17:29:20 | → | bcmiller joins (~bm3719@66.42.95.185) |
| 2021-06-01 17:29:24 | → | Megant joins (megant@user/megant) |
| 2021-06-01 17:29:47 | → | ku joins (~ku@2601:280:c780:7ea0:d1c6:52a:4bf2:1ff2) |
| 2021-06-01 17:30:55 | × | dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 244 seconds) |
| 2021-06-01 17:31:55 | → | sbmsr joins (~pi@2600:1700:63d0:4830:7dbf:92d8:fd42:235d) |
| 2021-06-01 17:32:48 | → | fabfianda[m] joins (~fabfianda@2001:470:69fc:105::6db) |
| 2021-06-01 17:34:22 | × | Pent quits (sid313808@id-313808.tooting.irccloud.com) () |
| 2021-06-01 17:34:34 | → | Pent joins (sid313808@id-313808.tooting.irccloud.com) |
| 2021-06-01 17:34:41 | → | Bartosz joins (~textual@24.35.90.211) |
| 2021-06-01 17:39:00 | × | geekosaur quits (~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 265 seconds) |
| 2021-06-01 17:40:29 | × | azeem quits (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) (Ping timeout: 264 seconds) |
| 2021-06-01 17:40:43 | → | myShoggoth joins (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 2021-06-01 17:42:17 | × | shryke quits (~shryke@91.103.43.254) (Ping timeout: 264 seconds) |
| 2021-06-01 17:42:57 | → | geekosaur joins (~geekosaur@069-135-003-034.biz.spectrum.com) |
| 2021-06-01 17:43:29 | × | xff0x quits (~xff0x@2001:1a81:52ca:4f00:7b0a:bab9:5836:8b3b) (Ping timeout: 252 seconds) |
| 2021-06-01 17:44:17 | → | xff0x joins (~xff0x@2001:1a81:52ca:4f00:7e41:f92f:ed4d:a7b5) |
| 2021-06-01 17:45:20 | → | learner-monad joins (~ehanneken@cpe-174-105-47-100.columbus.res.rr.com) |
| 2021-06-01 17:47:42 | <dminuoso> | Im using context to implement simple basic authentication in Servant. Im pondering whether there is a way to short circuit this process for local unix domain sockets. |
| 2021-06-01 17:47:59 | <dminuoso> | A way to have a cli tool talk to the local management socket skipping authentication |
| 2021-06-01 17:48:45 | → | mccoyb joins (~textual@2601:182:d000:3b50:74fc:67c:ef8b:8632) |
| 2021-06-01 17:48:49 | <monochrom> | ski: (A tangent from the conversation in freenode #haskell) I once had a student who used "show x == show y" for their (==) too. Except that their handwritten Show instance was wrong. And not just "disapproved by Haskell community" wrong. It downright bottomed out on some values. |
| 2021-06-01 17:48:52 | <Lycurgus> | only answer localhost? |
| 2021-06-01 17:49:12 | <Lycurgus> | (or whitelisted ip) |
| 2021-06-01 17:50:27 | <mccoyb> | Hi -- I'm looking for some FFI help with Haskell. In particular, I'm trying to link a `dylib` in for a wrapper package I'm writing to `MLIR`: https://github.com/femtomc/mlir-hs. I'm having trouble getting linking to work correctly. Does anyone have expertise with this? |
| 2021-06-01 17:50:33 | → | the-coot[m] joins (~the-cootm@2001:470:69fc:105::95f) |
| 2021-06-01 17:50:54 | → | a6a45081-2b83 joins (~aditya@106.212.79.20) |
| 2021-06-01 17:51:18 | × | a6a45081-2b83 quits (~aditya@106.212.79.20) (Remote host closed the connection) |
| 2021-06-01 17:51:46 | <dminuoso> | Lycurgus: I dont have access to that information when popping a context |
| 2021-06-01 17:52:26 | <dminuoso> | Or maybe I do.. let me dive into this |
| 2021-06-01 17:53:32 | <ski> | monochrom : ouch :/ |
| 2021-06-01 17:53:35 | <Lycurgus> | if its unix socket ... also unclear if local carried that already and exactly what context means if it was meant exactly |
| 2021-06-01 17:53:45 | <edwardk> | monochrom: FREX uses unsafePerformIO to show the result of `Q (TExp a)` as an Exp, so comparatively that is a minor sin ;) |
| 2021-06-01 17:54:30 | → | y04nn joins (~y04nn@193.32.127.220) |
| 2021-06-01 17:54:40 | <monochrom> | Yeah I wouldn't mind if their show implementation were total and injective. But it failed both. |
| 2021-06-01 17:54:42 | → | azeem joins (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) |
| 2021-06-01 17:54:48 | → | neceve joins (~quassel@2a02:c7f:607e:d600:a95a:ecd2:e57a:3130) |
| 2021-06-01 17:54:57 | <dminuoso> | Lycurgus: Im talking servant context. But it seems, that all the magic is in HasServer, and I can implement that for a custom context. |
| 2021-06-01 17:55:09 | <Lycurgus> | mccoyb, looks like you've stepped into llvm which is not mere linking |
| 2021-06-01 17:55:09 | <dminuoso> | So I guess I need to handroll the basic authentication hook for HasServer |
| 2021-06-01 17:55:20 | <monochrom> | If a person fails at recursion, they don't just fail at recursive (==), they fail at recursive show too. |
| 2021-06-01 17:55:43 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-01 17:56:16 | <mccoyb> | Lycurgus, interesting. But I have headers and a dylib, shouldn't I be able to link? |
| 2021-06-01 17:56:30 | <Lycurgus> | dminuoso, ah, well that pkgs comes with a number of auth suggestions |
| 2021-06-01 17:56:32 | → | ddellacosta joins (~ddellacos@89.45.224.79) |
| 2021-06-01 17:56:39 | <Lycurgus> | (fully implemented) |
| 2021-06-01 17:56:45 | <monochrom> | btw I saw accursedUnutterablePerformIO in Data.ByteString source code :) |
| 2021-06-01 17:56:45 | <Lycurgus> | *pkg |
| 2021-06-01 17:57:23 | <mccoyb> | This is a pure C API, I don't have to handle name mangling, etc. I'm just wrapping a C API (for more info). |
| 2021-06-01 17:57:38 | <monochrom> | Basically 50% of the functions there utter it. It's very utterable. |
| 2021-06-01 17:58:09 | <Lycurgus> | well linking with that should be straightforward, at least from the c side |
| 2021-06-01 17:58:41 | × | oxide quits (~lambda@61.0.149.238) (Changing host) |
| 2021-06-01 17:58:41 | → | oxide joins (~lambda@user/oxide) |
| 2021-06-01 17:58:52 | <Lycurgus> | i didn look at ur link but inferred llvm from the IR in MLIR |
| 2021-06-01 17:58:58 | → | vicfred joins (~vicfred@user/vicfred) |
| 2021-06-01 17:59:51 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 244 seconds) |
| 2021-06-01 18:00:22 | × | mccoyb quits (~textual@2601:182:d000:3b50:74fc:67c:ef8b:8632) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-01 18:00:35 | <Lycurgus> | confirmed, fortunately since that was an outrageous stretch |
All times are in UTC.