Logs: freenode/#haskell
| 2021-03-02 23:42:52 | × | mananamenos quits (~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) (Ping timeout: 276 seconds) |
| 2021-03-02 23:45:15 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-03-02 23:46:57 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-03-02 23:47:11 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-03-02 23:48:49 | × | elliott_ quits (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2021-03-02 23:48:56 | <monochrom> | oh w00t new ghcup version! |
| 2021-03-02 23:49:45 | <Uniaika> | woop woop |
| 2021-03-02 23:49:51 | <Axman6> | oh? |
| 2021-03-02 23:49:55 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-02 23:49:59 | <Uniaika> | nice |
| 2021-03-02 23:50:06 | <monochrom> | Now 0.1.13. I had 0.1.12 |
| 2021-03-02 23:50:14 | → | alx741 joins (~alx741@186.178.108.117) |
| 2021-03-02 23:51:15 | → | elliott_ joins (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-02 23:53:59 | <monochrom> | Also ghcup now knows about hls 1.0.0 |
| 2021-03-02 23:55:09 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-03-02 23:56:52 | <Uniaika> | yes it's p. rad |
| 2021-03-02 23:59:07 | × | fissureman quits (~quassel@c-73-201-159-163.hsd1.dc.comcast.net) (Ping timeout: 276 seconds) |
| 2021-03-03 00:06:18 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 245 seconds) |
| 2021-03-03 00:07:32 | <DigitalKiwi> | glguy: HELP |
| 2021-03-03 00:07:50 | <DigitalKiwi> | glguy: THERE IS A CHANNEL THAT EVERYONE IS TALKING LIKE THIS IN |
| 2021-03-03 00:08:08 | LASSULUS | is now known as lassulus |
| 2021-03-03 00:08:10 | <DigitalKiwi> | glguy: CAN I MAKE A GLIRC SCRIPT THAT LOWERCASES EVERYTHING? |
| 2021-03-03 00:09:00 | <monochrom> | They must be using 1970s uppercase terminals. |
| 2021-03-03 00:09:02 | <Axman6> | glirc | tr "[:upper:]" "[:lower:]" |
| 2021-03-03 00:09:15 | <glguy> | you could make a Hook, for sure |
| 2021-03-03 00:09:17 | <DigitalKiwi> | Axman6: lol i was trying to avoid that |
| 2021-03-03 00:09:22 | <monochrom> | Or Apple II. |
| 2021-03-03 00:10:04 | <glguy> | http://hackage.haskell.org/package/glirc-2.37/docs/Client-Hook.html#t:MessageHook |
| 2021-03-03 00:10:06 | <monochrom> | I have trouble believing that such a channel is good company in the first place. |
| 2021-03-03 00:10:16 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Ping timeout: 240 seconds) |
| 2021-03-03 00:12:01 | → | Tario joins (~Tario@200.119.187.170) |
| 2021-03-03 00:12:03 | × | elliott__ quits (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2021-03-03 00:12:21 | × | usr25 quits (~usr25@unaffiliated/usr25) (Quit: Leaving) |
| 2021-03-03 00:12:59 | <Axman6> | It's #SQL, so you are correct |
| 2021-03-03 00:13:23 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-03-03 00:15:08 | <DigitalKiwi> | Axman6: https://logs.nix.samueldr.com/nixos-chat/2021-03-02#1614727958-1614728056; |
| 2021-03-03 00:15:53 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 245 seconds) |
| 2021-03-03 00:16:50 | <Axman6> | It's worse than I imagined |
| 2021-03-03 00:17:56 | × | michaelpj quits (michaelpjm@gateway/shell/matrix.org/x-buxbodhkddveoaqd) (Ping timeout: 240 seconds) |
| 2021-03-03 00:18:08 | × | thunderrd quits (~thunderrd@183.182.112.145) (Ping timeout: 272 seconds) |
| 2021-03-03 00:18:26 | × | jeffcasavant[m] quits (jeffcasava@gateway/shell/matrix.org/x-lucppnoruohzhaik) (Ping timeout: 240 seconds) |
| 2021-03-03 00:18:26 | × | sm[m] quits (simonmicma@gateway/shell/matrix.org/x-olgzldwdbozcvmla) (Ping timeout: 240 seconds) |
| 2021-03-03 00:18:30 | × | freeman42x[m] quits (freeman42x@gateway/shell/matrix.org/x-ytrisqdmzrzpisst) (Ping timeout: 244 seconds) |
| 2021-03-03 00:18:55 | × | kadoban quits (kadobanemp@gateway/shell/matrix.org/x-ivqsxeohuglvlsqy) (Ping timeout: 258 seconds) |
| 2021-03-03 00:19:26 | → | jeffcasavant[m] joins (jeffcasava@gateway/shell/matrix.org/x-komviiuaffxezunv) |
| 2021-03-03 00:19:32 | × | alar[m] quits (alarmxalat@gateway/shell/matrix.org/x-ijjeysxxnkrgutme) (Ping timeout: 244 seconds) |
| 2021-03-03 00:19:32 | × | simara[m] quits (simaramatr@gateway/shell/matrix.org/x-yieaikiuesgqpxtf) (Ping timeout: 244 seconds) |
| 2021-03-03 00:19:32 | × | brightly-salty[m quits (brightly-s@gateway/shell/matrix.org/x-prtibkvrqqntdkpm) (Ping timeout: 244 seconds) |
| 2021-03-03 00:19:32 | × | jerin quits (jerinmatri@gateway/shell/matrix.org/x-tmtfndsdvjlsjrsi) (Ping timeout: 244 seconds) |
| 2021-03-03 00:19:39 | → | ddellacosta joins (~ddellacos@86.106.143.136) |
| 2021-03-03 00:19:56 | × | bitonic quits (bitonicmat@gateway/shell/matrix.org/x-plynbbjxllctgqmg) (Ping timeout: 240 seconds) |
| 2021-03-03 00:19:56 | × | PotatoHatsue quits (berbermanp@gateway/shell/matrix.org/x-rihddaeggjdzhxqs) (Ping timeout: 240 seconds) |
| 2021-03-03 00:20:01 | → | thunderrd joins (~thunderrd@183.182.112.145) |
| 2021-03-03 00:20:04 | × | alexfmpe quits (alexfmpema@gateway/shell/matrix.org/x-jgcuajimrxmycwph) (Ping timeout: 258 seconds) |
| 2021-03-03 00:20:32 | → | solomon` joins (4ca8078b@cpe-76-168-7-139.socal.res.rr.com) |
| 2021-03-03 00:20:43 | × | Hanma[m] quits (hanmamatri@gateway/shell/matrix.org/x-uvqceisbsyumooad) (Ping timeout: 272 seconds) |
| 2021-03-03 00:21:27 | <solomon`> | i'm getting this scary error from HLS: `COMMON symbol, size 96 name batch_point_buffer allocated at 0x401ad000` |
| 2021-03-03 00:21:48 | <solomon`> | oops wrong channel |
| 2021-03-03 00:22:04 | → | kadoban joins (kadobanemp@gateway/shell/matrix.org/x-psvjfqyhnjjfvaqu) |
| 2021-03-03 00:23:35 | × | ddellacosta quits (~ddellacos@86.106.143.136) (Ping timeout: 240 seconds) |
| 2021-03-03 00:24:08 | → | alar[m] joins (alarmxalat@gateway/shell/matrix.org/x-bpvylpwwtlcejjwj) |
| 2021-03-03 00:25:19 | → | alexfmpe joins (alexfmpema@gateway/shell/matrix.org/x-girzcdcudxbpysje) |
| 2021-03-03 00:25:21 | → | freeman42x[m] joins (freeman42x@gateway/shell/matrix.org/x-swjzfvecjjmfxmen) |
| 2021-03-03 00:25:33 | → | Hanma[m] joins (hanmamatri@gateway/shell/matrix.org/x-iwqqtahhpodcbjeb) |
| 2021-03-03 00:25:34 | → | meff[m]1 joins (meffsunado@gateway/shell/matrix.org/x-qllhwgzchqvotood) |
| 2021-03-03 00:26:12 | → | simara[m] joins (simaramatr@gateway/shell/matrix.org/x-ndigbuadzruuzard) |
| 2021-03-03 00:26:16 | → | sm[m] joins (simonmicma@gateway/shell/matrix.org/x-smorkrdiwycaaxbo) |
| 2021-03-03 00:26:39 | × | mputz quits (~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) (Ping timeout: 260 seconds) |
| 2021-03-03 00:26:40 | × | Tario quits (~Tario@200.119.187.170) (Read error: Connection reset by peer) |
| 2021-03-03 00:26:41 | → | elliott__ joins (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-03 00:26:54 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-03-03 00:27:43 | → | brightly-salty[m joins (brightly-s@gateway/shell/matrix.org/x-cporoyepggngxrys) |
| 2021-03-03 00:27:56 | → | jerin joins (jerinmatri@gateway/shell/matrix.org/x-uiruxsqbuirnuhcm) |
| 2021-03-03 00:28:38 | → | michaelpj joins (michaelpjm@gateway/shell/matrix.org/x-niomjibmmrgwzzyy) |
| 2021-03-03 00:28:53 | → | bitonic joins (bitonicmat@gateway/shell/matrix.org/x-tcjvcnippiduczse) |
| 2021-03-03 00:28:56 | → | PotatoHatsue joins (berbermanp@gateway/shell/matrix.org/x-eaqrdmjzoipzuify) |
| 2021-03-03 00:30:55 | → | mputz joins (~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) |
| 2021-03-03 00:31:52 | <DigitalKiwi> | Axman6: https://mostlyabsurd.com/files/2021-03-03-003039_2880x1800_scrot.png |
| 2021-03-03 00:32:07 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-03 00:32:18 | <zebrag> | :t (liftAp (Just (+3))) <*> (liftAp (Just 3)) -- And that is not `Just 6`? |
| 2021-03-03 00:32:19 | <lambdabot> | error: |
| 2021-03-03 00:32:20 | <lambdabot> | • Variable not in scope: liftAp :: Maybe (a1 -> a1) -> f (a0 -> b) |
| 2021-03-03 00:32:20 | <lambdabot> | • Perhaps you meant one of these: |
| 2021-03-03 00:33:01 | <zebrag> | (stack install free) |
| 2021-03-03 00:37:15 | → | bennofs_ joins (~quassel@dslb-188-103-040-158.188.103.pools.vodafone-ip.de) |
| 2021-03-03 00:38:33 | <Axman6> | DigitalKiwi: I think you dun flipped up |
| 2021-03-03 00:38:33 | × | sablib quits (~sablib@59.173.152.160) (Read error: Connection reset by peer) |
| 2021-03-03 00:39:00 | → | sablib joins (~sablib@171.113.165.91) |
| 2021-03-03 00:39:09 | <monochrom> | If you lowercase everything, you may butcher some youtube URLs. Watch over for that. |
| 2021-03-03 00:39:26 | × | mputz quits (~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) (Ping timeout: 240 seconds) |
| 2021-03-03 00:40:54 | × | bennofs__ quits (~quassel@dslb-094-222-091-028.094.222.pools.vodafone-ip.de) (Ping timeout: 245 seconds) |
| 2021-03-03 00:42:24 | → | conal joins (~conal@64.71.133.70) |
| 2021-03-03 00:43:34 | × | plutoniix quits (~q@node-ule.pool-125-24.dynamic.totinternet.net) (Quit: Leaving) |
| 2021-03-03 00:43:35 | → | rajivr joins (uid269651@gateway/web/irccloud.com/x-ayknupbaawowskzf) |
| 2021-03-03 00:45:45 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:cd5c:37fd:94ce:ea47) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-03 00:47:17 | <zebrag> | `case (Pure (+3) :: Ap Maybe (Int -> Int)) <*> (Pure 3) of {Pure x -> x; Ap _ _ -> undefined}` It's returning `6`, I'm a bit disappointed. I was expecting `undefined`, or at the very least `Just 6`. |
| 2021-03-03 00:47:40 | × | crobbins quits (~crobbins@2600:1700:48eb:8490:dd46:64cd:ab2e:66bc) (Remote host closed the connection) |
| 2021-03-03 00:49:16 | × | d34df00d quits (~d34df00d@104-14-27-213.lightspeed.austtx.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-03-03 00:50:16 | × | sablib quits (~sablib@171.113.165.91) (Ping timeout: 240 seconds) |
| 2021-03-03 00:52:19 | <monochrom> | Wait a second, I don't know Ap, but I would expect Pure is Ap's pure, so Pure f <*> Pure x = Pure (f x) no getting Maybe involved because you aren't even invoking the Ap case. |
All times are in UTC.