Logs: liberachat/#haskell
| 2021-06-01 16:18:11 | <boxscape> | (the State monad would make sense if you only used step1 for step2, only used step2 for step3, etc.) |
| 2021-06-01 16:22:08 | × | jakzale quits (uid499518@id-499518.charlton.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-06-01 16:22:28 | → | Bartosz joins (~textual@24.35.90.211) |
| 2021-06-01 16:23:29 | × | niflce quits (~IceChat95@user/niflce) (Ping timeout: 272 seconds) |
| 2021-06-01 16:23:31 | × | Bartosz quits (~textual@24.35.90.211) (Client Quit) |
| 2021-06-01 16:24:48 | → | niflce joins (~IceChat95@user/niflce) |
| 2021-06-01 16:26:10 | <gentauro> | I find this hilariously funny: https://twitter.com/vamchale/status/1399390668754198532 (it's funny cos it's true) |
| 2021-06-01 16:26:35 | <gentauro> | as a "freelance clownsultant" you see some of the most horrible things created by humans |
| 2021-06-01 16:27:05 | <boxscape> | oh wow I thought that was automatically minified javascript or something but no |
| 2021-06-01 16:27:17 | × | nschoe quits (~quassel@178.251.84.79) (Ping timeout: 264 seconds) |
| 2021-06-01 16:27:19 | <gentauro> | for example, 5000 lines methods, with if statements as wide as a 1000 characters |
| 2021-06-01 16:27:48 | <gentauro> | all kind of logic (and side-effects) hidden everywhere |
| 2021-06-01 16:27:53 | lbseale__ | is now known as lbseale |
| 2021-06-01 16:28:11 | <gentauro> | we must be doing something wrong in this field, since Haskell is not the norm :( |
| 2021-06-01 16:28:24 | <boxscape> | and column 876 of the if statement accidentally has a `=` instead of a `==` ;) |
| 2021-06-01 16:28:45 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-01 16:29:16 | <gentauro> | boxscape: I see you also have these nightmares |
| 2021-06-01 16:31:16 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-01 16:31:45 | <gentauro> | as well |
| 2021-06-01 16:32:10 | <boxscape> | mhm |
| 2021-06-01 16:33:17 | × | azeem quits (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) (Ping timeout: 264 seconds) |
| 2021-06-01 16:33:49 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-06-01 16:35:56 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-01 16:37:30 | × | chddr quits (~Thunderbi@31.148.23.125) (Ping timeout: 264 seconds) |
| 2021-06-01 16:43:08 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:5878:fcfd:e07b:ffd9) (Remote host closed the connection) |
| 2021-06-01 16:43:31 | × | v01d4lph4 quits (~v01d4lph4@user/v01d4lph4) (Remote host closed the connection) |
| 2021-06-01 16:43:54 | × | neceve quits (~quassel@2a02:c7f:607e:d600:a95a:ecd2:e57a:3130) (Ping timeout: 244 seconds) |
| 2021-06-01 16:44:46 | → | sm2n joins (~sm2n@user/sm2n) |
| 2021-06-01 16:47:21 | <ski> | gentauro : how about an `if' condition that's some 77 lines ? |
| 2021-06-01 16:47:49 | <yin> | libera |
| 2021-06-01 16:48:01 | <yin> | ignore this pls |
| 2021-06-01 16:48:22 | ski | glances around nervously |
| 2021-06-01 16:48:52 | → | Bartosz joins (~textual@67.135.32.118) |
| 2021-06-01 16:49:19 | → | motherfsck joins (~motherfsc@68.235.43.102) |
| 2021-06-01 16:49:24 | → | dpl_ joins (~dpl@77-121-78-163.chn.volia.net) |
| 2021-06-01 16:49:38 | × | motherfsck quits (~motherfsc@68.235.43.102) (Quit: quit) |
| 2021-06-01 16:50:38 | → | motherfsck joins (~motherfsc@68.235.43.102) |
| 2021-06-01 16:50:56 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:5878:fcfd:e07b:ffd9) |
| 2021-06-01 16:51:15 | → | beka joins (~beka@104.193.170-254.PUBLIC.monkeybrains.net) |
| 2021-06-01 16:51:35 | × | leeb_ quits (~leeb@KD111239153130.au-net.ne.jp) (Quit: WeeChat 3.1) |
| 2021-06-01 16:52:03 | × | motherfsck quits (~motherfsc@68.235.43.102) (Client Quit) |
| 2021-06-01 16:53:19 | <gentauro> | ski: "some 77 lines"? |
| 2021-06-01 16:53:32 | × | haltux quits (~lbigas@a89-154-181-47.cpe.netcabo.pt) (Quit: Leaving) |
| 2021-06-01 16:53:32 | <ski> | yes |
| 2021-06-01 16:53:42 | <gentauro> | :| |
| 2021-06-01 16:53:44 | <gentauro> | jaiks |
| 2021-06-01 16:53:45 | × | keutoi quits (~keutoi@157.48.91.62) (Quit: leaving) |
| 2021-06-01 16:54:05 | <ski> | it was a fun experiment of writing Prolog in C, i suppose you could say |
| 2021-06-01 16:54:58 | → | motherfsck joins (~motherfsc@68.235.43.102) |
| 2021-06-01 16:55:23 | → | vjoki joins (~vjoki@2a00:d880:3:1::fea1:9ae) |
| 2021-06-01 16:55:37 | <ski> | bor0 : anyway .. i'm a bit suspicious about `ruleGeneralize' |
| 2021-06-01 16:55:52 | → | haskman joins (~haskman@106.201.8.96) |
| 2021-06-01 16:56:10 | × | motherfsck quits (~motherfsc@68.235.43.102) (Changing host) |
| 2021-06-01 16:56:10 | → | motherfsck joins (~motherfsc@user/motherfsck) |
| 2021-06-01 16:57:00 | → | haltux joins (~haltux@a89-154-181-47.cpe.netcabo.pt) |
| 2021-06-01 16:57:27 | <ski> | (also, personally, i'm continually confused by each intermediate conclusion comment preceding the step that effects it, rather than succeding it) |
| 2021-06-01 16:57:48 | ← | novasenco parts (novasenco@user/nova) (♥☺) |
| 2021-06-01 16:59:21 | → | pavonia joins (~user@user/siracusa) |
| 2021-06-01 17:00:52 | <monochrom> | Once again "what I'm going to do next" vs "what I just did". |
| 2021-06-01 17:02:26 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2021-06-01 17:02:34 | <monochrom> | This can run deep as the fundamental philosophical divide between "this is what's happening, oh btw here is computer code" vs "this is computer code, oh btw here is what's happening" |
| 2021-06-01 17:04:09 | → | benin joins (~benin@183.82.205.186) |
| 2021-06-01 17:04:47 | → | Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-06-01 17:04:51 | → | qbt joins (~edun@user/edun) |
| 2021-06-01 17:06:40 | → | Ariakenom joins (~Ariakenom@2001:9b1:efb:fc00:d9c3:69a3:f97b:be95) |
| 2021-06-01 17:06:40 | × | kmein quits (~weechat@user/kmein) (Quit: ciao kakao) |
| 2021-06-01 17:07:05 | → | kmein joins (~weechat@user/kmein) |
| 2021-06-01 17:08:31 | × | Bartosz quits (~textual@67.135.32.118) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-01 17:09:06 | <ski> | bor0 : part of the point of `ruleFantasy' is that you should be able to nest it. iow, there may be more than one hypothetical assumption, in force, at the same time, and so it seems inappropriate for `ruleGeneralize' to only `Maybe' take a hypothesis |
| 2021-06-01 17:09:53 | → | azeem joins (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) |
| 2021-06-01 17:10:11 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2021-06-01 17:10:16 | <ski> | (and, it's possible that you've already nested it like this, without realizing it, if you've, from inside a `ruleFantasy', used a lemma that used `ruleFantasy' in its proof |
| 2021-06-01 17:10:19 | <ski> | ) |
| 2021-06-01 17:12:06 | × | ec quits (~ec@gateway/tor-sasl/ec) (Client Quit) |
| 2021-06-01 17:12:17 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2021-06-01 17:12:42 | → | bfrk joins (~Thunderbi@200116b84593d400e083e41adfb91d63.dip.versatel-1u1.de) |
| 2021-06-01 17:12:54 | <monochrom> | I don't know whether ruleFantasy is a cute name or a horrible name :) |
| 2021-06-01 17:14:38 | × | motherfsck quits (~motherfsc@user/motherfsck) (Quit: quit) |
| 2021-06-01 17:17:16 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-01 17:18:28 | → | novasenco joins (novasenco@user/nova) |
| 2021-06-01 17:18:48 | ski | . o O ( maybe both ? ) |
| 2021-06-01 17:18:56 | × | hseg quits (~gesh@185.120.126.41) (Quit: WeeChat 3.1) |
| 2021-06-01 17:19:17 | × | myShoggoth quits (~myShoggot@97-120-89-117.ptld.qwest.net) (Ping timeout: 252 seconds) |
| 2021-06-01 17:19:22 | <novasenco> | cabal install alsa-mixer -> http://ix.io/3ov9/ |
| 2021-06-01 17:19:32 | <monochrom> | i/sqrt(2) |cute> - i/sqrt(2) |horrible> |
| 2021-06-01 17:19:36 | × | jumper149 quits (~jumper149@80.240.31.34) (Quit: WeeChat 3.1) |
| 2021-06-01 17:19:45 | → | bitmapper joins (uid464869@id-464869.tooting.irccloud.com) |
| 2021-06-01 17:20:26 | <novasenco> | 07dist/build/Sound/ALSA/Mixer/Internal.i:1: (column 1) [ERROR] >>> Lexical error ! The character '#' does not fit here. |
| 2021-06-01 17:20:56 | <monochrom> | probably gcc vs clang in terms of CPP things |
| 2021-06-01 17:21:33 | <novasenco> | I have both installed. I have no idea how to tell it to prefer one or the other |
| 2021-06-01 17:22:19 | → | motherfsck joins (~motherfsc@user/motherfsck) |
| 2021-06-01 17:24:17 | × | sm2n quits (~sm2n@user/sm2n) (*.net *.split) |
| 2021-06-01 17:24:17 | × | oxide quits (~lambda@user/oxide) (*.net *.split) |
| 2021-06-01 17:24:17 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (*.net *.split) |
| 2021-06-01 17:24:17 | × | pbrisbin quits (~patrick@pool-72-92-38-164.phlapa.fios.verizon.net) (*.net *.split) |
| 2021-06-01 17:24:17 | × | berberman quits (~berberman@user/berberman) (*.net *.split) |
| 2021-06-01 17:24:17 | × | bor0 quits (~boro@user/bor0) (*.net *.split) |
| 2021-06-01 17:24:17 | × | cheater quits (~Username@user/cheater) (*.net *.split) |
| 2021-06-01 17:24:17 | × | leif quits (uid501722@id-501722.stonehaven.irccloud.com) (*.net *.split) |
| 2021-06-01 17:24:17 | × | joel135 quits (sid136450@id-136450.stonehaven.irccloud.com) (*.net *.split) |
All times are in UTC.