Logs on 2025-01-19 (liberachat/#haskell)
| 00:00:03 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 00:00:42 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 276 seconds) |
| 00:02:33 | × | Eoco quits (~ian@128.101.131.218) (Quit: WeeChat 4.4.2) |
| 00:13:01 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:19:20 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 00:21:41 | <monochrom> | Given that people will pay you extra to fix the bugs you created in the first place, there is every incentive to use languages that are easy to create bugs and hard to fix bugs. |
| 00:22:16 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 00:22:17 | <monochrom> | If you think I'm secretly saying that programmers are scammers and frauds, YES. |
| 00:25:38 | ColinRobinson | is now known as JuanDaugherty |
| 00:26:13 | <c_wraith> | I don't think you're *secretly* saying it |
| 00:26:27 | <monochrom> | >:) |
| 00:29:09 | × | dtman34 quits (~dtman34@c-174-53-203-90.hsd1.mn.comcast.net) (Ping timeout: 248 seconds) |
| 00:30:14 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:31:36 | <monochrom> | Relatedly: https://danluu.com/algorithms-interviews/ (tl;dr why programmers are performance experts when applying for jobs but total dummies after: after getting hired, there is no reason to care anymore, you don't get paid more) |
| 00:33:37 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 00:34:29 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 00:40:49 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 00:41:42 | × | acidjnk quits (~acidjnk@p200300d6e7283f4440b553cdf075f952.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 00:44:19 | × | Midjak quits (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
| 00:45:05 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 248 seconds) |
| 00:45:34 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:51:14 | × | sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 265 seconds) |
| 00:52:34 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 01:03:38 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:04:52 | JuanDaugherty | is now known as ColinRobinson |
| 01:05:19 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 01:05:59 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 01:07:41 | → | ngali joins (~ngali@2601:18e:c780:8530:5976:21:5509:9476) |
| 01:08:05 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 01:08:57 | × | ngali quits (~ngali@2601:18e:c780:8530:5976:21:5509:9476) (Client Quit) |
| 01:10:43 | × | anpad quits (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 01:12:57 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:18:49 | <haskellbridge> | <sm> Haskell taken as a whole isn't that boring and easy. The syntax, tools, ecosystem, docs and support are complex and crufty |
| 01:19:15 | <haskellbridge> | <sm> relatively speaking |
| 01:20:14 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 01:20:25 | <haskellbridge> | <sm> you get a lot for that but I still wouldn't call it easy |
| 01:21:19 | × | Fijxu quits (~Fijxu@user/fijxu) (Read error: Connection reset by peer) |
| 01:21:24 | → | anpad joins (~pandeyan@user/anpad) |
| 01:24:12 | ColinRobinson | is now known as JuanDaugherty |
| 01:27:33 | × | sprotte24 quits (~sprotte24@p200300d16f495900956dd031c8d9206e.dip0.t-ipconnect.de) (Quit: Leaving) |
| 01:28:00 | → | sidbendu joins (~nikola@188.252.199.180) |
| 01:28:37 | × | sidbendu quits (~nikola@188.252.199.180) (Client Quit) |
| 01:30:57 | × | otto_s quits (~user@p4ff27ba5.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 01:31:25 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:32:40 | → | otto_s joins (~user@p4ff277d7.dip0.t-ipconnect.de) |
| 01:36:11 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 01:37:28 | JuanDaugherty | is now known as ColinRobinson |
| 01:40:51 | <apache> | hellwolf: I found "press enter, oh shit my program now does something else because the editor changed the indentation" more annoying than lack of curly brackets, re: blocks :) |
| 01:46:47 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:51:21 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 01:57:57 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 01:59:36 | → | In3f4bl3 joins (~dv0@user/In3f4bl3) |
| 02:02:12 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:02:12 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 246 seconds) |
| 02:05:11 | × | notzmv quits (~umar@user/notzmv) (Ping timeout: 265 seconds) |
| 02:06:29 | → | Eoco joins (~ian@128.101.131.218) |
| 02:06:45 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 02:14:45 | × | dsrt^ quits (~dsrt@108.192.66.114) (Ping timeout: 248 seconds) |
| 02:15:17 | → | dsrt^ joins (~dsrt@108.192.66.114) |
| 02:15:18 | × | dnerdhm^ quits (~dnerdhm@108.192.66.114) (Ping timeout: 252 seconds) |
| 02:15:48 | → | dnerdhm^ joins (~dnerdhm@108.192.66.114) |
| 02:17:34 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:23:47 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 02:29:33 | → | califax_ joins (~califax@user/califx) |
| 02:29:36 | × | califax quits (~califax@user/califx) (Ping timeout: 264 seconds) |
| 02:30:44 | califax_ | is now known as califax |
| 02:33:45 | <Angelz> | programmers ? |
| 02:34:21 | <geekosaur> | you can use braces if you want |
| 02:34:36 | <Angelz> | *.* |
| 02:34:37 | <geekosaur> | (in fact, you have to with lambdabot) |
| 02:35:00 | <geekosaur> | at least if you nest things that normally use layout, such as a let inside a do) |
| 02:36:36 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 02:38:21 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:41:44 | × | euleritian quits (~euleritia@77.23.250.232) (Ping timeout: 260 seconds) |
| 02:42:48 | → | euleritian joins (~euleritia@dynamic-176-006-133-115.176.6.pool.telefonica.de) |
| 02:43:01 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 02:44:50 | <In3f4bl3> | Haskell: where you can have your cake and eat it too--just don't forget to define your cake as a monad first! |
| 02:53:55 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:58:18 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 03:05:03 | × | op_4 quits (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 03:05:33 | → | op_4 joins (~tslil@user/op-4/x-9116473) |
| 03:08:12 | × | ColinRobinson quits (~juan@user/JuanDaugherty) (Quit: ColinRobinson) |
| 03:09:18 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:09:45 | × | alp quits (~alp@2001:861:8ca0:4940:88c9:4a0c:8072:846f) (Ping timeout: 246 seconds) |
| 03:13:52 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 03:15:27 | × | euleritian quits (~euleritia@dynamic-176-006-133-115.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 03:15:44 | → | euleritian joins (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 03:16:26 | <monochrom> | or, just don't forget to add "build-depends: cake" and wait for an hour to build. |
| 03:17:19 | <In3f4bl3> | Why wait an hour when you can just "cake" it easy and let the compiler do the baking? |
| 03:18:07 | <In3f4bl3> | Just add "cake" to the build-depends, and watch as your project rises faster than my patience for bad dependencies. |
| 03:18:10 | <In3f4bl3> | :P |
| 03:19:23 | <monochrom> | Yeah the compiler does the baking, that's why you wait. Just look at those people stuck in laundry shops precisely because the machines are doing the washing! |
| 03:19:29 | <In3f4bl3> | Why did the Haskell programmer bring a ladder to the build? Because they heard the compilation times were sky-high and wanted to reach for the stars while waiting! |
| 03:21:26 | <In3f4bl3> | Why do Haskell developers make terrible chefs? Because by the time they finish compiling their code, the soufflé has already collapsed, and they're still stuck in a monadic state of waiting! |
| 03:24:41 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:28:53 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 03:40:03 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:42:13 | × | terrorjack45 quits (~terrorjac@2a01:4f8:c17:a66e::) (Quit: The Lounge - https://thelounge.chat) |
| 03:42:44 | → | ensyde joins (~ensyde@2601:5c6:c200:6dc0::95d2) |
| 03:42:50 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 03:43:54 | → | terrorjack45 joins (~terrorjac@2a01:4f8:c17:a66e::) |
| 03:45:43 | × | ft quits (~ft@p4fc2a354.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 03:45:51 | → | xff0x_ joins (~xff0x@2405:6580:b080:900:1e1c:692f:68bb:bafe) |
| 03:46:01 | → | Fijxu joins (~Fijxu@user/fijxu) |
| 03:46:42 | → | tallcatparade joins (~tallcatpa@2600:8801:9801:d600::c83b) |
| 03:46:52 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 03:47:10 | × | xff0x quits (~xff0x@2405:6580:b080:900:d98:5c1a:a689:d0b8) (Ping timeout: 265 seconds) |
| 03:52:01 | → | ft joins (~ft@p4fc2ad26.dip0.t-ipconnect.de) |
| 03:58:07 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:59:24 | × | In3f4bl3 quits (~dv0@user/In3f4bl3) (Quit: Leaving) |
| 04:03:07 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 04:05:35 | × | fmira quits (~user@user/fmira) (Remote host closed the connection) |
| 04:05:58 | → | fmira joins (~user@user/fmira) |
| 04:11:49 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 04:13:30 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:15:30 | × | OftenFaded quits (~OftenFade@user/tisktisk) (Quit: OftenFaded) |
| 04:15:48 | → | OftenFaded joins (~OftenFade@user/tisktisk) |
| 04:16:11 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 04:18:00 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 04:24:12 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:25:09 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 04:28:19 | → | r-sta joins (~r-sta@sgyl-37-b2-v4wan-168528-cust2421.vm6.cable.virginm.net) |
| 04:28:36 | <r-sta> | anyone online can talk about maintaining a library? |
| 04:30:17 | <r-sta> | idea is to collect together a bunch of function definitions of type (Vec -> Double) -> s -> Vec -> (s,Vec) |
| 04:30:32 | <r-sta> | problem is ML |
| 04:30:57 | <r-sta> | s can be eg a matrix or net that is parametric, and theres some helper functions for parametric things |
| 04:31:24 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 04:31:28 | <r-sta> | or like, it can be a really complicated sampling object like a monte carlo distribution or something |
| 04:31:46 | <r-sta> | theres a large class of problems that fall under this category |
| 04:35:18 | <r-sta> | .... |
| 04:35:31 | <r-sta> | appart from merijn logging in and out this channel seems inactive |
| 04:35:53 | <r-sta> | clear sign somethings up in the carbon/nitrogen cycle |
| 04:40:01 | → | Alexey joins (~user@95.165.71.104) |
| 04:40:11 | ← | Alexey parts (~user@95.165.71.104) (Global Advanced Direct Connect Hub http://global.net.ru) |
| 04:42:16 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:46:38 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 04:53:57 | × | r-sta quits (~r-sta@sgyl-37-b2-v4wan-168528-cust2421.vm6.cable.virginm.net) (Quit: Client closed) |
| 04:57:39 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:00:20 | → | homo joins (~homo@user/homo) |
| 05:02:45 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 05:07:58 | <chiselfuse> | where is the latest haskell spec? i read it's the 2010 report but also prime.haskell.org but that one doesn't load |
| 05:11:07 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 05:12:28 | <monochrom> | Apart from 2010 we don't have one. |
| 05:14:02 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:16:09 | <chiselfuse> | what happened to prime.haskell.org? |
| 05:20:49 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 05:26:55 | → | tnt2 joins (~Thunderbi@user/tnt1) |
| 05:28:04 | × | tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 05:30:33 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 05:30:49 | → | tnt1 joins (~Thunderbi@user/tnt1) |
| 05:31:29 | × | tnt2 quits (~Thunderbi@user/tnt1) (Ping timeout: 248 seconds) |
| 05:35:25 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 265 seconds) |
| 05:44:48 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:45:47 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 05:47:23 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 05:49:08 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 05:56:40 | → | dtman34 joins (~dtman34@2601:447:d000:1f5e:6419:a0b3:3809:d46f) |
| 05:57:50 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 06:00:11 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:05:21 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 06:15:33 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:20:08 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 06:22:02 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 06:23:49 | × | dtman34 quits (~dtman34@2601:447:d000:1f5e:6419:a0b3:3809:d46f) (Ping timeout: 248 seconds) |
| 06:26:12 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:26:22 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 06:30:46 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 06:30:56 | <EvanR> | cease and desisted by amazon |
| 06:31:17 | <EvanR> | (probably joking) |
| 06:34:37 | → | dtman34 joins (~dtman34@2601:447:d000:1f5e:6419:a0b3:3809:d46f) |
| 06:46:26 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:46:44 | × | tallcatparade quits (~tallcatpa@2600:8801:9801:d600::c83b) (Ping timeout: 260 seconds) |
| 06:47:56 | × | tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds) |
| 06:48:04 | → | tnt2 joins (~Thunderbi@user/tnt1) |
| 06:50:57 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 06:51:45 | → | tnt1 joins (~Thunderbi@user/tnt1) |
| 06:52:33 | × | tnt2 quits (~Thunderbi@user/tnt1) (Ping timeout: 248 seconds) |
| 06:59:46 | → | Square joins (~Square@user/square) |
| 07:01:49 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:03:15 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 07:04:20 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 07:05:09 | × | euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 07:05:49 | → | euleritian joins (~euleritia@dynamic-176-006-130-067.176.6.pool.telefonica.de) |
| 07:08:27 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 07:08:48 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 07:11:08 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 07:13:18 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 245 seconds) |
| 07:13:21 | → | tnt2 joins (~Thunderbi@user/tnt1) |
| 07:13:21 | × | tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 248 seconds) |
| 07:13:22 | tnt2 | is now known as tnt1 |
| 07:18:19 | <chiselfuse> | lmao |
| 07:19:52 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:19:58 | × | tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 245 seconds) |
| 07:20:08 | → | tnt2 joins (~Thunderbi@user/tnt1) |
| 07:22:25 | tnt2 | is now known as tnt1 |
| 07:24:39 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 07:27:16 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:29:31 | × | ft quits (~ft@p4fc2ad26.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 07:31:33 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 07:31:36 | → | ft joins (~ft@p3e9bcbb4.dip0.t-ipconnect.de) |
| 07:32:53 | × | tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 245 seconds) |
| 07:33:37 | → | tnt1 joins (~Thunderbi@user/tnt1) |
| 07:37:28 | → | tnt2 joins (~Thunderbi@user/tnt1) |
| 07:38:09 | × | tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 07:47:32 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:52:10 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 08:00:00 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 08:00:02 | × | tt12310978324354 quits (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: The Lounge - https://thelounge.chat) |
| 08:00:39 | → | caconym joins (~caconym@user/caconym) |
| 08:02:55 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 08:03:54 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 08:03:56 | → | tt12310978324354 joins (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) |
| 08:07:50 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 08:18:17 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 08:18:35 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 08:22:58 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 08:23:09 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 08:32:21 | × | ft quits (~ft@p3e9bcbb4.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 08:33:07 | × | ensyde quits (~ensyde@2601:5c6:c200:6dc0::95d2) (Ping timeout: 264 seconds) |
| 08:39:09 | → | tnt1 joins (~Thunderbi@user/tnt1) |
| 08:39:16 | → | ft joins (~ft@p3e9bc727.dip0.t-ipconnect.de) |
| 08:41:02 | × | tnt2 quits (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds) |
| 08:43:57 | → | meinside joins (uid24933@id-24933.helmsley.irccloud.com) |
| 08:44:35 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 08:45:54 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 08:47:40 | × | tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 08:47:59 | → | tnt1 joins (~Thunderbi@user/tnt1) |
| 08:48:56 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 08:56:18 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 09:00:31 | → | tnt2 joins (~Thunderbi@user/tnt1) |
| 09:02:04 | × | tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 260 seconds) |
| 09:02:04 | tnt2 | is now known as tnt1 |
| 09:04:55 | × | ft quits (~ft@p3e9bc727.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 09:06:58 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 09:11:00 | × | tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 09:11:13 | → | tnt1 joins (~Thunderbi@user/tnt1) |
| 09:11:20 | → | ft joins (~ft@p508db21c.dip0.t-ipconnect.de) |
| 09:11:22 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 09:11:51 | → | acidjnk joins (~acidjnk@p200300d6e7283f1580889f7f61b9a6ee.dip0.t-ipconnect.de) |
| 09:22:21 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 09:25:46 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 09:29:58 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 245 seconds) |
| 09:29:58 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 09:30:49 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 09:31:50 | → | sawilagar joins (~sawilagar@user/sawilagar) |
| 09:36:14 | → | tnt2 joins (~Thunderbi@user/tnt1) |
| 09:37:46 | × | tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 09:37:46 | tnt2 | is now known as tnt1 |
| 09:38:53 | → | Digitteknohippie joins (~user@user/digit) |
| 09:39:58 | × | Digit quits (~user@user/digit) (Ping timeout: 252 seconds) |
| 09:40:20 | → | Smiles joins (uid551636@id-551636.lymington.irccloud.com) |
| 09:44:24 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 09:49:03 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 09:59:48 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 10:04:10 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 10:15:11 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 10:20:34 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 10:28:25 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 10:30:12 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 10:33:05 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 10:35:47 | → | alexherbo2 joins (~alexherbo@2a02-8440-350c-3cce-5404-af38-dfc6-106c.rev.sfr.net) |
| 10:37:06 | × | Square quits (~Square@user/square) (Ping timeout: 248 seconds) |
| 10:37:09 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 10:37:12 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds) |
| 10:37:58 | → | alp joins (~alp@2001:861:8ca0:4940:885e:f93c:1500:2237) |
| 10:39:08 | → | mesaoptimizer0 joins (~mesaoptim@user/PapuaHardyNet) |
| 10:46:30 | × | euleritian quits (~euleritia@dynamic-176-006-130-067.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 10:46:42 | × | TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Ping timeout: 252 seconds) |
| 10:47:05 | → | euleritian joins (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 10:48:15 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 10:51:13 | × | euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 10:51:24 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 10:52:59 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 10:53:10 | → | euleritian joins (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 10:56:24 | × | srk quits (~sorki@user/srk) (Ping timeout: 260 seconds) |
| 10:57:15 | → | srk joins (~sorki@user/srk) |
| 11:03:37 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 11:04:05 | → | sprotte24 joins (~sprotte24@p200300d16f4f2e00b0312921636c686d.dip0.t-ipconnect.de) |
| 11:07:58 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 11:17:51 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 11:18:59 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 11:24:10 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 11:25:25 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 11:30:12 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 265 seconds) |
| 11:31:12 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 11:35:02 | × | alexherbo2 quits (~alexherbo@2a02-8440-350c-3cce-5404-af38-dfc6-106c.rev.sfr.net) (Remote host closed the connection) |
| 11:35:49 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 11:36:55 | × | euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 11:37:08 | <haskellbridge> | <magic_rb> i was reading up on how SIGINT is handled by GHC and now im wondering if i can get the threadid of the main thread from other threads? |
| 11:37:26 | <haskellbridge> | <magic_rb> couldnt find it in Control.Concurrent or with hoogle |
| 11:37:31 | → | euleritian joins (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 11:46:34 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 11:46:45 | Digitteknohippie | is now known as Digit |
| 11:50:54 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 11:52:23 | <tomsmeding> | magic_rb: There's GHC.Conc.listThreads but no clue whether that returns a predictable order |
| 11:52:39 | × | euphores quits (~SASL_euph@user/euphores) (Ping timeout: 246 seconds) |
| 11:58:02 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 11:58:56 | × | euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 11:59:54 | → | euleritian joins (~euleritia@dynamic-176-002-190-000.176.2.pool.telefonica.de) |
| 12:00:12 | × | euleritian quits (~euleritia@dynamic-176-002-190-000.176.2.pool.telefonica.de) (Read error: Connection reset by peer) |
| 12:00:25 | → | euphores joins (~SASL_euph@user/euphores) |
| 12:00:31 | → | euleritian joins (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 12:01:56 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 12:02:28 | × | sprotte24 quits (~sprotte24@p200300d16f4f2e00b0312921636c686d.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 12:02:45 | → | sprotte24 joins (~sprotte24@p200300d16f4f2e00b0312921636c686d.dip0.t-ipconnect.de) |
| 12:03:01 | × | mrmr155334346318 quits (~mrmr@user/mrmr) (Quit: Bye, See ya later!) |
| 12:05:27 | × | Goodbye_Vincent1 quits (cyvahl@freakshells.net) (Remote host closed the connection) |
| 12:05:29 | × | sprotte24 quits (~sprotte24@p200300d16f4f2e00b0312921636c686d.dip0.t-ipconnect.de) (Client Quit) |
| 12:06:14 | → | Goodbye_Vincent1 joins (cyvahl@freakshells.net) |
| 12:06:15 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 12:17:12 | → | Midjak joins (~MarciZ@82.66.147.146) |
| 12:17:20 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 12:20:17 | → | Feuermagier joins (~Feuermagi@user/feuermagier) |
| 12:21:04 | → | mrmr155334346318 joins (~mrmr@user/mrmr) |
| 12:23:29 | × | poscat quits (~poscat@user/poscat) (Ping timeout: 252 seconds) |
| 12:24:57 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 12:27:36 | → | Guest79 joins (~Guest79@107.204.16.206) |
| 12:29:27 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 12:32:12 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 12:32:45 | × | Guest79 quits (~Guest79@107.204.16.206) (Quit: Client closed) |
| 12:36:20 | × | euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 12:36:24 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 12:36:38 | → | euleritian joins (~euleritia@dynamic-176-002-190-000.176.2.pool.telefonica.de) |
| 12:38:55 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 12:45:56 | → | gmg joins (~user@user/gehmehgeh) |
| 12:46:09 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 12:46:34 | × | Sciencentistguy quits (~sciencent@hacksoc/ordinary-member) (Ping timeout: 265 seconds) |
| 12:47:35 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 12:50:55 | → | poscat joins (~poscat@user/poscat) |
| 12:52:03 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 12:55:48 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 12:56:17 | × | euleritian quits (~euleritia@dynamic-176-002-190-000.176.2.pool.telefonica.de) (Read error: Connection reset by peer) |
| 12:56:34 | → | euleritian joins (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 12:58:58 | → | Sciencentistguy joins (~sciencent@hacksoc/ordinary-member) |
| 13:02:58 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 13:06:14 | → | __monty__ joins (~toonn@user/toonn) |
| 13:07:28 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 13:07:35 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 13:08:46 | → | tnt2 joins (~Thunderbi@user/tnt1) |
| 13:09:09 | × | tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 276 seconds) |
| 13:09:09 | tnt2 | is now known as tnt1 |
| 13:14:22 | → | poscat0x04 joins (~poscat@user/poscat) |
| 13:16:20 | × | poscat quits (~poscat@user/poscat) (Ping timeout: 244 seconds) |
| 13:17:04 | × | poscat0x04 quits (~poscat@user/poscat) (Remote host closed the connection) |
| 13:18:20 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 13:20:21 | → | poscat joins (~poscat@user/poscat) |
| 13:22:39 | → | sprotte24 joins (~sprotte24@p200300d16f4f2e00b0312921636c686d.dip0.t-ipconnect.de) |
| 13:23:05 | → | Square joins (~Square@user/square) |
| 13:23:27 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 13:24:27 | × | poscat quits (~poscat@user/poscat) (Read error: Connection reset by peer) |
| 13:26:24 | × | euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 13:26:49 | → | poscat joins (~poscat@user/poscat) |
| 13:27:02 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 13:27:17 | → | euleritian joins (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 13:29:37 | × | euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 13:30:02 | → | euleritian joins (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 13:33:12 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 13:37:34 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 13:43:21 | × | euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 13:44:05 | → | euleritian joins (~euleritia@dynamic-176-007-128-130.176.7.pool.telefonica.de) |
| 13:44:50 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 13:45:32 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 13:46:10 | × | poscat quits (~poscat@user/poscat) (Read error: Connection reset by peer) |
| 13:48:34 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 13:49:06 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds) |
| 13:50:51 | → | poscat joins (~poscat@user/poscat) |
| 13:53:38 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 13:54:20 | → | gmg joins (~user@user/gehmehgeh) |
| 13:55:29 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 14:06:37 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 14:08:00 | × | euleritian quits (~euleritia@dynamic-176-007-128-130.176.7.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 14:08:17 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 14:11:01 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 14:18:29 | × | acidjnk quits (~acidjnk@p200300d6e7283f1580889f7f61b9a6ee.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 14:22:01 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 14:23:02 | × | tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 14:23:18 | → | tnt1 joins (~Thunderbi@user/tnt1) |
| 14:26:25 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 14:27:27 | → | tnt2 joins (~Thunderbi@user/tnt1) |
| 14:27:48 | × | tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 14:27:48 | tnt2 | is now known as tnt1 |
| 14:28:19 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 14:30:29 | → | acidjnk joins (~acidjnk@p200300d6e7283f15ed484691a69a5d41.dip0.t-ipconnect.de) |
| 14:31:53 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 14:32:51 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 14:34:12 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 14:38:48 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 252 seconds) |
| 14:39:30 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 14:48:41 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 14:49:34 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 14:52:27 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 14:55:04 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 15:05:40 | × | acidjnk quits (~acidjnk@p200300d6e7283f15ed484691a69a5d41.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 15:05:47 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 15:05:58 | → | acidjnk joins (~acidjnk@p200300d6e7283f15ed484691a69a5d41.dip0.t-ipconnect.de) |
| 15:10:35 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 15:12:45 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 15:16:36 | × | kuribas quits (~user@ptr-17d51em29rh3rcpebxw.18120a2.ip6.access.telenet.be) (Ping timeout: 272 seconds) |
| 15:21:11 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 15:21:15 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 15:24:32 | → | euleritian joins (~euleritia@dynamic-176-007-128-130.176.7.pool.telefonica.de) |
| 15:25:43 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 15:25:44 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 15:35:12 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 15:36:33 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 15:39:56 | → | TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker) |
| 15:41:11 | × | TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Read error: Connection reset by peer) |
| 15:41:56 | × | euleritian quits (~euleritia@dynamic-176-007-128-130.176.7.pool.telefonica.de) (Read error: Connection reset by peer) |
| 15:42:09 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 15:42:19 | → | euleritian joins (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 15:44:35 | → | TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker) |
| 15:46:55 | × | euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 15:47:44 | → | euleritian joins (~euleritia@dynamic-176-007-128-130.176.7.pool.telefonica.de) |
| 15:53:15 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 15:53:21 | × | euleritian quits (~euleritia@dynamic-176-007-128-130.176.7.pool.telefonica.de) (Read error: Connection reset by peer) |
| 15:53:22 | → | dyniec joins (~dyniec@dybiec.info) |
| 15:53:43 | → | euleritian joins (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 15:55:59 | × | euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 15:56:43 | → | euleritian joins (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 15:57:28 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 16:00:17 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 248 seconds) |
| 16:02:07 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 16:05:19 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 16:06:09 | × | YoungFrog quits (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Ping timeout: 260 seconds) |
| 16:07:03 | × | euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 16:07:45 | → | euleritian joins (~euleritia@dynamic-176-007-128-130.176.7.pool.telefonica.de) |
| 16:08:21 | × | driib318 quits (~driib@vmi931078.contaboserver.net) (Ping timeout: 248 seconds) |
| 16:08:30 | → | YoungFrog joins (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) |
| 16:08:38 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:08:40 | × | euleritian quits (~euleritia@dynamic-176-007-128-130.176.7.pool.telefonica.de) (Read error: Connection reset by peer) |
| 16:08:56 | → | euleritian joins (~euleritia@77.23.250.232) |
| 16:09:25 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds) |
| 16:13:02 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 16:15:08 | → | driib318 joins (~driib@vmi931078.contaboserver.net) |
| 16:24:00 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:24:35 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 16:26:57 | × | alp quits (~alp@2001:861:8ca0:4940:885e:f93c:1500:2237) (Ping timeout: 252 seconds) |
| 16:28:48 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 16:31:02 | → | weary-traveler joins (~user@user/user363627) |
| 16:36:12 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:40:31 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 16:40:53 | × | driib318 quits (~driib@vmi931078.contaboserver.net) (Ping timeout: 248 seconds) |
| 16:41:44 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 16:43:28 | → | weary-traveler joins (~user@user/user363627) |
| 16:52:18 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:54:06 | → | notzmv joins (~umar@user/notzmv) |
| 16:58:08 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 16:58:08 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 16:58:49 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 16:59:50 | × | hellwolf quits (~user@83f6-cc01-1ebf-4324-0f00-4d40-07d0-2001.sta.estpak.ee) (Ping timeout: 272 seconds) |
| 17:03:17 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 248 seconds) |
| 17:03:45 | → | hellwolf joins (~user@6d8d-4b75-5649-c595-0f00-4d40-07d0-2001.sta.estpak.ee) |
| 17:06:31 | × | anpad quits (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 17:09:04 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 17:09:24 | × | acidjnk quits (~acidjnk@p200300d6e7283f15ed484691a69a5d41.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 17:09:40 | → | driib318 joins (~driib@vmi931078.contaboserver.net) |
| 17:13:40 | × | remedan quits (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 17:14:53 | → | remedan joins (~remedan@ip-62-245-108-153.bb.vodafone.cz) |
| 17:15:46 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 17:17:19 | × | driib318 quits (~driib@vmi931078.contaboserver.net) (Ping timeout: 244 seconds) |
| 17:18:24 | × | euleritian quits (~euleritia@77.23.250.232) (Read error: Connection reset by peer) |
| 17:19:08 | → | euleritian joins (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 17:19:14 | <lxsameer> | when using Gadts, e.g. `data Foo x y where ....` is it possible to set contraints for y? |
| 17:21:03 | → | anpad joins (~pandeyan@user/anpad) |
| 17:24:18 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 17:27:07 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 17:31:29 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 17:32:05 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 17:33:53 | <Leary> | lxsameer: Put a constraint in a constructor's type signature and find out. |
| 17:34:02 | <lxsameer> | Leary: cheers |
| 17:37:13 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 17:39:18 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 17:42:56 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 17:43:51 | <probie> | If you also need to be polymorphic in the constraint, you can do something like `data Foo c x y where { Foo :: c y => x -> y -> Foo c x y }` |
| 17:44:06 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 276 seconds) |
| 17:47:28 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:53:26 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 17:54:48 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 17:59:45 | × | euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 17:59:56 | → | euleritian joins (~euleritia@dynamic-176-007-128-130.176.7.pool.telefonica.de) |
| 18:00:15 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 18:02:01 | × | euleritian quits (~euleritia@dynamic-176-007-128-130.176.7.pool.telefonica.de) (Read error: Connection reset by peer) |
| 18:02:23 | → | euleritian joins (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 18:02:36 | → | ystael joins (~ystael@user/ystael) |
| 18:06:47 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 18:07:00 | × | euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds) |
| 18:08:12 | → | euleritian joins (~euleritia@dynamic-176-006-145-137.176.6.pool.telefonica.de) |
| 18:11:03 | → | alp joins (~alp@2001:861:8ca0:4940:604c:d3ad:b92c:bc11) |
| 18:11:10 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:15:39 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 18:25:27 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 18:26:33 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:28:46 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 265 seconds) |
| 18:32:21 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 18:33:43 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 245 seconds) |
| 18:35:43 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 18:36:46 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 18:37:31 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 18:38:19 | × | robertm quits (robertm@lattice.rojoma.com) (Quit: ...) |
| 18:41:53 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 18:43:32 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:43:33 | → | robertm joins (robertm@lattice.rojoma.com) |
| 18:45:55 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 18:46:12 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 18:46:52 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 272 seconds) |
| 18:48:43 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 245 seconds) |
| 18:48:46 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 18:50:29 | × | taleseeker quits (~taleseeke@user/taleseeker) (Ping timeout: 248 seconds) |
| 18:58:54 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:05:48 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 19:08:20 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 19:12:50 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds) |
| 19:16:58 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:21:19 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 19:32:20 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:33:12 | → | acidjnk joins (~acidjnk@p200300d6e7283f1558eeea12d8956a76.dip0.t-ipconnect.de) |
| 19:36:54 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 19:38:36 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 19:39:25 | × | Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 19:43:11 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 265 seconds) |
| 19:47:42 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:52:06 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 20:00:02 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 20:00:42 | → | caconym joins (~caconym@user/caconym) |
| 20:00:48 | → | alx741 joins (~alx741@186.33.188.229) |
| 20:01:03 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Read error: Connection reset by peer) |
| 20:01:57 | → | michalz joins (~michalz@185.246.207.205) |
| 20:03:05 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:04:12 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Quit: leaving) |
| 20:07:33 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 20:12:47 | → | driib318 joins (~driib@vmi931078.contaboserver.net) |
| 20:18:27 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:23:06 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 20:27:50 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 20:30:31 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 20:32:06 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds) |
| 20:33:44 | → | ss4 joins (~wootehfoo@user/wootehfoot) |
| 20:33:49 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:34:28 | × | TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Ping timeout: 244 seconds) |
| 20:35:33 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 20:36:33 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 248 seconds) |
| 20:39:32 | × | hgolden quits (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection) |
| 20:40:15 | × | acidjnk quits (~acidjnk@p200300d6e7283f1558eeea12d8956a76.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 20:40:22 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 20:41:02 | → | acidjnk joins (~acidjnk@p200300d6e7283f1558eeea12d8956a76.dip0.t-ipconnect.de) |
| 20:41:26 | → | hgolden joins (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) |
| 20:42:57 | × | hgolden quits (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection) |
| 20:43:54 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 20:44:36 | → | hgolden joins (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) |
| 20:45:12 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 20:51:33 | × | michalz quits (~michalz@185.246.207.205) (Remote host closed the connection) |
| 20:51:53 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:56:28 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 20:58:31 | × | ss4 quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 20:59:59 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 21:01:36 | × | lyxia quits (~lyxia@poisson.chat) (Quit: WeeChat 4.4.2) |
| 21:07:14 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:08:02 | × | remedan quits (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 21:09:26 | → | remedan joins (~remedan@ip-62-245-108-153.bb.vodafone.cz) |
| 21:12:07 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 21:15:59 | × | sam113101 quits (~sam@modemcable220.199-203-24.mc.videotron.ca) (Quit: WeeChat 4.5.1) |
| 21:17:27 | × | dtman34 quits (~dtman34@2601:447:d000:1f5e:6419:a0b3:3809:d46f) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in) |
| 21:17:49 | → | dtman34 joins (~dtman34@c-75-72-179-251.hsd1.mn.comcast.net) |
| 21:18:11 | → | sam113101 joins (~sam@modemcable220.199-203-24.mc.videotron.ca) |
| 21:22:37 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:26:55 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 21:27:35 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 21:35:00 | → | Everything joins (~Everythin@195.138.86.118) |
| 21:37:45 | × | Square quits (~Square@user/square) (Ping timeout: 265 seconds) |
| 21:38:01 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:38:38 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Remote host closed the connection) |
| 21:42:24 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 21:53:25 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:55:27 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 21:55:48 | × | monochrom quits (trebla@216.138.220.146) (Ping timeout: 244 seconds) |
| 21:56:27 | × | euleritian quits (~euleritia@dynamic-176-006-145-137.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 21:56:45 | → | euleritian joins (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 21:58:03 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 21:58:38 | → | monochrom joins (trebla@216.138.220.146) |
| 22:03:45 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 22:05:51 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 246 seconds) |
| 22:08:47 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:15:49 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 22:21:55 | → | taleseeker joins (~taleseeke@185.107.44.16) |
| 22:26:50 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:27:09 | → | Taneb joins (~Taneb@runciman.hacksoc.org) |
| 22:32:03 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 22:42:11 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:42:33 | × | euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 22:42:51 | → | euleritian joins (~euleritia@77.23.250.232) |
| 22:46:52 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 22:55:49 | × | alp quits (~alp@2001:861:8ca0:4940:604c:d3ad:b92c:bc11) (Ping timeout: 248 seconds) |
| 22:57:10 | → | mange joins (~user@user/mange) |
| 22:57:36 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:01:56 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 23:05:10 | × | ftzm quits (~ftzm@085081033150.dynamic.telenor.dk) (Ping timeout: 252 seconds) |
| 23:07:19 | × | xff0x_ quits (~xff0x@2405:6580:b080:900:1e1c:692f:68bb:bafe) (Ping timeout: 264 seconds) |
| 23:12:28 | → | ftzm joins (~ftzm@085081061247.dynamic.telenor.dk) |
| 23:12:59 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:15:29 | × | Everything quits (~Everythin@195.138.86.118) (Quit: Lost terminal) |
| 23:17:48 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 23:28:09 | × | taleseeker quits (~taleseeke@185.107.44.16) (Quit: irc: cannot access '/proc/taleseeker': No such file or directory) |
| 23:28:22 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:30:24 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 23:32:39 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 23:42:40 | → | taleseeker joins (~taleseeke@185.107.44.16) |
| 23:42:47 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 23:43:01 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 23:43:47 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:44:14 | → | caconym joins (~caconym@user/caconym) |
| 23:50:23 | × | sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 245 seconds) |
| 23:50:39 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
All times are in UTC on 2025-01-19.