Logs on 2021-03-14 (freenode/#haskell)
| 00:00:29 | <dmwit> | Huh. You can use . in module aliases when you import. I guess it makes sense, I just never thought to try it before. |
| 00:00:42 | <dmwit> | i.e. import qualified Data.ByteString.Lazy as BS.L |
| 00:01:25 | × | SupaYoshii quits (~supayoshi@213-10-140-13.fixed.kpn.net) (Quit: Goodbye!) |
| 00:01:28 | sorki | is now known as srk |
| 00:02:23 | <dmwit> | mpickering: Sounds to me like you have a package database that believes it contains unix-2.7.2.2, but somebody has deleted the directory that database is pointing to. Perhaps you have recently been bumping about inside your cabal store? |
| 00:03:30 | <dmwit> | koz_: You can usually test this kind of thing yourself using `undefined`. |
| 00:03:47 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 00:03:54 | <koz_> | dmwit: Yeah, but it's easier to ask the nice folks in here. |
| 00:03:55 | <dmwit> | > let f x = if x then y else () where y = undefined in (f False, f True) |
| 00:03:57 | <lambdabot> | ((),*Exception: Prelude.undefined |
| 00:04:18 | <dmwit> | Is it actually easier? I think my \bot query is actually shorter than your English query. ^_^ |
| 00:04:26 | <koz_> | dmwit: To each their own. |
| 00:04:39 | <koz_> | Maybe I'm just too daft to magic up code to test my English-language queries. |
| 00:04:50 | dmwit | nods gravely |
| 00:05:22 | → | elliott_ joins (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) |
| 00:07:04 | → | egwor joins (520bc907@cpc110777-lewi20-2-0-cust262.2-4.cable.virginm.net) |
| 00:08:51 | → | SupaYoshi joins (~supayoshi@213-10-140-13.fixed.kpn.net) |
| 00:09:14 | <hpc> | it's easy to forget sometimes that you can just write haskell |
| 00:09:20 | <hpc> | it's not so easy in most other languages |
| 00:10:28 | <egwor> | are there chat logs stored? I can't seem to get the tunes.org link to work |
| 00:11:57 | × | motherfsck quits (~motherfsc@unaffiliated/motherfsck) (Ping timeout: 264 seconds) |
| 00:14:13 | → | motherfsck joins (~motherfsc@unaffiliated/motherfsck) |
| 00:14:28 | <egwor> | I wanted to find a chat I was involved in back on May 13th 2020 |
| 00:16:21 | → | LotteM joins (54bd53e9@p54bd53e9.dip0.t-ipconnect.de) |
| 00:16:51 | <koz_> | I wanna read the Core produced from a particular module. What do I need to call 'cabal build' with to get this? |
| 00:18:24 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 00:19:38 | → | xsperry joins (~as@unaffiliated/xsperry) |
| 00:22:14 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 00:24:27 | → | bennofs__ joins (~quassel@dslb-188-103-037-063.188.103.pools.vodafone-ip.de) |
| 00:25:19 | × | egwor quits (520bc907@cpc110777-lewi20-2-0-cust262.2-4.cable.virginm.net) (Quit: Connection closed) |
| 00:28:45 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:c79:3d13:d977:c947) (Remote host closed the connection) |
| 00:28:52 | × | bennofs_ quits (~quassel@dslb-188-106-240-148.188.106.pools.vodafone-ip.de) (Ping timeout: 276 seconds) |
| 00:29:30 | × | SupaYoshi quits (~supayoshi@213-10-140-13.fixed.kpn.net) (Quit: Goodbye!) |
| 00:31:11 | hackage | normalization-insensitive 2.0.2 - Normalization insensitive string comparison https://hackage.haskell.org/package/normalization-insensitive-2.0.2 (ppelleti) |
| 00:31:12 | × | frozenErebus quits (~frozenEre@94.128.82.20) (Ping timeout: 256 seconds) |
| 00:33:29 | <koz_> | OK, figured that out. Now a bigger problem - figuring out wtf the dumped core _means_. |
| 00:35:12 | → | SupaYoshi joins (~supayoshi@213-10-140-13.fixed.kpn.net) |
| 00:36:00 | <slack1256> | koz_: The general tips of `let` bindings doing allocation and `case` driving evaluation are good guides. |
| 00:36:27 | <slack1256> | I am no expert but I only read Core to check if my intuition for fusions triggered or not. |
| 00:37:02 | <koz_> | slack1256: I have a case of mysterious allocs in some code, would appreciate the oversight of someone who has a clue. |
| 00:37:09 | <koz_> | (which I do not) |
| 00:37:57 | × | hodapp quits (~hodapp@react-ams-119225.antiddos.solutions) (Ping timeout: 256 seconds) |
| 00:38:09 | <slack1256> | I have only done analisys on a per function case. You could post a paste so I could see?. |
| 00:38:38 | <koz_> | Sure, one sec. |
| 00:40:06 | × | SupaYoshi quits (~supayoshi@213-10-140-13.fixed.kpn.net) (Quit: Goodbye!) |
| 00:40:36 | × | mirrorbird quits (dwsjeid911@gateway/vpn/mullvad/dwsjeid911) (Quit: Leaving) |
| 00:40:57 | <koz_> | slack1256: https://gist.github.com/kozross/ce6c1bff17a1c82f58da1bbdc4d0dc66 |
| 00:43:23 | <koz_> | This _should_ be zero-alloc, but it's still allocating somewhat. |
| 00:43:33 | <koz_> | I have a profile if you want (with those cost centres) if that'd help. |
| 00:44:53 | <slack1256> | Let me read a sec |
| 00:45:31 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 00:47:47 | → | elliott__ joins (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 00:49:06 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 246 seconds) |
| 00:51:58 | <slack1256> | koz_: Can you upload the profile somewhere? |
| 00:52:07 | <slack1256> | I got the core output if you want. |
| 00:52:31 | → | elusive joins (~Jeanne-Ka@static-198-54-134-155.cust.tzulo.com) |
| 00:52:33 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 00:53:51 | <slack1256> | I create them with following ghci alias called ghci-core `ghci -ddump-simpl -dsuppress-idinfo -dsuppress-coercions -dsuppress-type-applications -dsuppress-uniques -dsuppress-module-prefixes` |
| 00:56:08 | × | pera quits (~pera@unaffiliated/pera) (Ping timeout: 256 seconds) |
| 00:58:22 | <koz_> | slack1256: Updated the gist with the profile. |
| 00:58:34 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 00:58:42 | <slack1256> | Nice |
| 00:58:42 | <koz_> | I have the core output. |
| 00:58:47 | <koz_> | (I just can't make much sense of it) |
| 00:58:52 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) |
| 01:01:34 | → | SupaYoshi joins (~supayoshi@213-10-140-13.fixed.kpn.net) |
| 01:01:55 | <slack1256> | koz_: On the profile, there isn't an entry for the `indices` function. |
| 01:02:14 | <koz_> | I didn't set a cost centre for it. |
| 01:02:25 | <koz_> | I can add one and re-run? |
| 01:02:30 | <slack1256> | yeah, sure |
| 01:02:31 | × | Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 01:04:24 | <koz_> | Updated gist with new profile having 'indices' as a cost centre. |
| 01:04:31 | <slack1256> | Cool |
| 01:06:45 | × | elliott__ quits (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 01:06:46 | → | fosterite joins (~fosterite@071-082-136-216.res.spectrum.com) |
| 01:07:12 | → | elliott__ joins (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 01:07:49 | → | monadmatt joins (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) |
| 01:09:09 | → | rajivr joins (uid269651@gateway/web/irccloud.com/x-ucvijfuheygbyqkt) |
| 01:09:12 | → | elliott_1 joins (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 01:09:15 | × | elliott__ quits (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 01:12:42 | × | monadmatt quits (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) (Ping timeout: 260 seconds) |
| 01:12:59 | × | fosterite quits (~fosterite@071-082-136-216.res.spectrum.com) () |
| 01:14:41 | × | elliott_1 quits (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 01:17:54 | × | plutoniix quits (~q@node-uj8.pool-125-24.dynamic.totinternet.net) (Quit: Leaving) |
| 01:22:51 | <slack1256> | That allocation only attributable to `go` is weird. We have 829 entries to that SCC, but it is recursive. The first case on the `go` function also has the attributed memory of evaluating its argument (elemIndices). |
| 01:22:57 | <slack1256> | I just thinking outloud. |
| 01:28:08 | → | lewky joins (4cba4096@cpe-76-186-64-150.tx.res.rr.com) |
| 01:29:05 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 01:29:13 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:c79:3d13:d977:c947) |
| 01:29:26 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 01:29:28 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 01:31:33 | → | luke joins (~luke@bitnomial/staff/luke) |
| 01:34:50 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:c79:3d13:d977:c947) (Ping timeout: 264 seconds) |
| 01:36:53 | × | joebobjoe quits (~joebobjoe@unaffiliated/joebobjoe) (Ping timeout: 256 seconds) |
| 01:37:08 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 245 seconds) |
| 01:37:25 | → | joebobjoe joins (~joebobjoe@unaffiliated/joebobjoe) |
| 01:37:56 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:c79:3d13:d977:c947) |
| 01:38:08 | → | Tario joins (~Tario@200.119.185.246) |
| 01:40:05 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 01:40:27 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 01:42:24 | → | monadmatt joins (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) |
| 01:42:46 | → | stree joins (~stree@68.36.8.116) |
| 01:43:45 | → | lewky_ joins (~lewky@159.65.37.240) |
| 01:43:52 | → | elliott__ joins (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 01:45:54 | × | elliott__ quits (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Client Quit) |
| 01:45:58 | × | lewky_ quits (~lewky@159.65.37.240) (Client Quit) |
| 01:46:20 | → | lewky_ joins (~lewky@159.65.37.240) |
| 01:46:32 | → | elliott__ joins (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 01:48:15 | × | monadmatt quits (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 01:52:47 | <koz_> | slack1256: This is why I'm confused. |
| 01:53:58 | <koz_> | I assume strictness isn't killing me somehow? |
| 01:54:05 | <koz_> | (or lack thereof) |
| 01:56:13 | → | monadmatt joins (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) |
| 01:57:14 | → | lambda-11235 joins (~lambda-11@2600:1700:7c70:4600:f419:51eb:6249:5266) |
| 01:58:32 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 01:58:52 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) |
| 02:00:28 | × | monadmatt quits (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 02:01:42 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 02:03:15 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 02:09:49 | × | Tario quits (~Tario@200.119.185.246) (Read error: Connection reset by peer) |
| 02:10:34 | → | Tario joins (~Tario@201.192.165.173) |
| 02:12:31 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 02:12:39 | <slack1256> | I don't think the strictness is affecting. |
| 02:12:51 | <koz_> | Me neither, but figured I'd ask. |
| 02:14:12 | → | monadmatt joins (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) |
| 02:14:47 | × | elliott__ quits (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 265 seconds) |
| 02:15:46 | <slack1256> | you can also profile expressions with SCC annotations |
| 02:16:07 | <slack1256> | you could put one inside the case and see what the memory only from the case statement it is. |
| 02:16:35 | <koz_> | Wait, so where would it go? |
| 02:21:04 | × | monadmatt quits (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) (Ping timeout: 265 seconds) |
| 02:21:11 | × | _bin quits (~bin@75-54-107-59.lightspeed.hstntx.sbcglobal.net) (Quit: ZNC - https://znc.in) |
| 02:21:35 | → | _bin joins (~bin@2600:1700:10a1:38d0:a1bb:96d6:a6dd:43f2) |
| 02:22:02 | <slack1256> | "go sd = case ({-# SCC "inside |
| 02:22:26 | <slack1256> | "go sd = case ({-# SCC "insideCase" #-} sd) of" |
| 02:24:12 | <koz_> | Ah, OK. |
| 02:24:18 | <koz_> | Let me try and see what I get. |
| 02:25:04 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:41fd:e964:f33c:bb7f) |
| 02:27:08 | <koz_> | Doesn't even show up. |
| 02:27:09 | × | Aquazi quits (uid312403@gateway/web/irccloud.com/x-tmzskshpdqzcnhax) (Quit: Connection closed for inactivity) |
| 02:28:26 | × | lewky quits (4cba4096@cpe-76-186-64-150.tx.res.rr.com) (Quit: Connection closed) |
| 02:32:55 | × | luke quits (~luke@bitnomial/staff/luke) (Quit: sleep) |
| 02:33:03 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 246 seconds) |
| 02:34:54 | × | elusive quits (~Jeanne-Ka@static-198-54-134-155.cust.tzulo.com) (Quit: Leaving) |
| 02:38:32 | → | drbean joins (~drbean@TC210-63-209-28.static.apol.com.tw) |
| 02:41:51 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 02:44:35 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 02:44:51 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 02:46:03 | × | xff0x quits (~xff0x@2001:1a81:5243:ae00:5e7b:1781:48fd:8ee9) (Ping timeout: 272 seconds) |
| 02:46:15 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 02:47:00 | <koz_> | I think I'm gonna leave it for now. Maybe someone might spot the issue. |
| 02:47:08 | <koz_> | Thanks for the help slack1256! |
| 02:47:22 | → | xff0x joins (~xff0x@2001:1a81:527c:ad00:48ed:9caa:8d1f:c9c7) |
| 02:47:29 | → | Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 02:47:47 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 256 seconds) |
| 02:48:51 | Lord_of_Life_ | is now known as Lord_of_Life |
| 02:49:02 | → | monadmatt joins (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) |
| 02:49:07 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 02:50:54 | × | minoru_shiraeesh quits (~shiraeesh@109.166.56.131) (Ping timeout: 246 seconds) |
| 02:54:03 | × | monadmatt quits (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) (Ping timeout: 260 seconds) |
| 02:55:13 | × | ephemera_ quits (~E@122.34.1.187) (Ping timeout: 260 seconds) |
| 02:55:37 | → | ephemera_ joins (~E@122.34.1.187) |
| 02:58:32 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 02:58:52 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) |
| 02:59:01 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 276 seconds) |
| 03:00:44 | <ntkr> | writing a RIO app and wondering why a `logInfo "Running Server"` will typecheck but `logInfo ("Running " ++ "Server")` fails with `Expected Utf8Builder got [Char]` (or thereabouts) |
| 03:02:04 | × | CrazyPython quits (~crazypyth@98.122.164.118) (Read error: Connection reset by peer) |
| 03:02:23 | <dmj`> | ntkr: {-# LANGUAGE OverloadedStrings #-} |
| 03:02:41 | <dmj`> | ntkr: and use <>, not ++ |
| 03:04:36 | <ntkr> | wow, i have a lot to learn. I assumed that OverloadedStrings would convert the String that i constructed to the right of the `$` before checking it as an arg of logInfo. |
| 03:05:00 | <ntkr> | i'm assuming <> is part of the builder api? |
| 03:06:38 | ← | LotteM parts (54bd53e9@p54bd53e9.dip0.t-ipconnect.de) () |
| 03:07:19 | <ntkr> | dmj`: monoid api, cool. Thanks for the quick response! |
| 03:07:53 | → | FinnElija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 03:07:53 | finn_elija | is now known as Guest95420 |
| 03:07:53 | FinnElija | is now known as finn_elija |
| 03:11:42 | × | joebobjoe quits (~joebobjoe@unaffiliated/joebobjoe) (Ping timeout: 260 seconds) |
| 03:12:15 | × | Guest95420 quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 268 seconds) |
| 03:12:52 | → | CrazyPython joins (~crazypyth@98.122.164.118) |
| 03:13:54 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 03:19:58 | × | m0rphism quits (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Quit: WeeChat 2.9) |
| 03:21:27 | → | elliott__ joins (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 03:23:23 | × | CrazyPython quits (~crazypyth@98.122.164.118) (Read error: Connection reset by peer) |
| 03:23:50 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 03:26:35 | × | alx741 quits (~alx741@181.196.69.27) (Quit: alx741) |
| 03:34:07 | × | theDon quits (~td@muedsl-82-207-238-134.citykom.de) (Ping timeout: 276 seconds) |
| 03:34:08 | × | elliott__ quits (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Quit: WeeChat 3.1) |
| 03:35:14 | → | theDon joins (~td@94.134.91.134) |
| 03:37:00 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 03:37:56 | → | joebobjoe joins (~joebobjoe@unaffiliated/joebobjoe) |
| 03:38:12 | → | elliott__ joins (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 03:41:02 | × | raehik1 quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 03:42:42 | × | joebobjoe quits (~joebobjoe@unaffiliated/joebobjoe) (Ping timeout: 246 seconds) |
| 03:42:45 | → | soft-warm joins (44695313@ip68-105-83-19.sd.sd.cox.net) |
| 03:43:03 | → | joebobjoe joins (~joebobjoe@unaffiliated/joebobjoe) |
| 03:47:42 | × | soft-warm quits (44695313@ip68-105-83-19.sd.sd.cox.net) (Ping timeout: 240 seconds) |
| 03:47:50 | × | joebobjoe quits (~joebobjoe@unaffiliated/joebobjoe) (Ping timeout: 256 seconds) |
| 03:50:54 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 03:51:41 | → | gnumonic joins (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) |
| 03:56:56 | → | gitgoood joins (~gitgood@80-44-12-39.dynamic.dsl.as9105.com) |
| 03:58:33 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 03:58:53 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) |
| 03:59:58 | × | gitgood quits (~gitgood@80-44-12-84.dynamic.dsl.as9105.com) (Ping timeout: 260 seconds) |
| 04:00:08 | → | cortexman joins (4ba3f30c@75-163-243-12.clsp.qwest.net) |
| 04:00:13 | → | joebobjoe joins (~joebobjoe@unaffiliated/joebobjoe) |
| 04:02:18 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 246 seconds) |
| 04:03:39 | → | stree joins (~stree@68.36.8.116) |
| 04:04:09 | × | SaitamaPlus quits (uid272474@gateway/web/irccloud.com/x-jbfyoygjgujgyaip) (Quit: Connection closed for inactivity) |
| 04:08:51 | → | mirrorbird joins (dwsjeid911@gateway/vpn/mullvad/dwsjeid911) |
| 04:11:39 | → | rocket_man joins (~rocket_ma@165.166.32.50) |
| 04:14:33 | × | joebobjoe quits (~joebobjoe@unaffiliated/joebobjoe) (Ping timeout: 260 seconds) |
| 04:16:41 | × | vicfred quits (vicfred@gateway/vpn/mullvad/vicfred) (Quit: Leaving) |
| 04:17:38 | → | remal joins (~remal@d24-57-234-201.home.cgocable.net) |
| 04:18:40 | <remal> | [haskell language server question] hello, I was wondering if hie.yaml can be setup as a fallback when it is not present. |
| 04:21:51 | × | remal quits (~remal@d24-57-234-201.home.cgocable.net) (Quit: Lost terminal) |
| 04:22:13 | → | remal joins (~remal@d24-57-234-201.home.cgocable.net) |
| 04:25:54 | × | remal quits (~remal@d24-57-234-201.home.cgocable.net) (Client Quit) |
| 04:33:27 | → | Lycurgus joins (~niemand@98.4.114.199) |
| 04:33:30 | × | loli quits (~loli@024-171-017-003.res.spectrum.com) (Quit: WeeChat 3.0.1) |
| 04:37:37 | × | sz0 quits (uid110435@gateway/web/irccloud.com/x-iwavjdaunpjxrjlx) (Quit: Connection closed for inactivity) |
| 04:38:02 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 04:38:16 | <dmj`> | ntkr: when you have a string literal defined top-level, using (<>) is best because (++) is specialized to String (afaik), so GHC should pick up the right instance (be it Text, String, or what have you) |
| 04:40:11 | → | soft-warm joins (44695313@ip68-105-83-19.sd.sd.cox.net) |
| 04:41:07 | → | DirefulSalt joins (~DirefulSa@109.201.152.181) |
| 04:44:28 | <cortexman> | yes i was able to prove it https://github.com/chalice-dev/awesome-chalice |
| 04:46:21 | × | cortexman quits (4ba3f30c@75-163-243-12.clsp.qwest.net) (K-Lined) |
| 04:47:53 | → | m2rrorbird joins (dwsjeid911@gateway/vpn/mullvad/dwsjeid911) |
| 04:49:48 | → | monadmatt joins (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) |
| 04:50:57 | × | mirrorbird quits (dwsjeid911@gateway/vpn/mullvad/dwsjeid911) (Ping timeout: 246 seconds) |
| 04:54:00 | <nitrix> | They posted the same spam on all the channels I'm on. |
| 04:54:35 | <dmj`> | will father Musk bless us |
| 04:54:42 | × | monadmatt quits (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) (Ping timeout: 256 seconds) |
| 04:57:07 | × | Wuzzy quits (~Wuzzy@p57a2ecf2.dip0.t-ipconnect.de) (Quit: Wuzzy) |
| 05:00:03 | × | Maxdamantus quits (~Maxdamant@unaffiliated/maxdamantus) (Ping timeout: 260 seconds) |
| 05:00:53 | → | Maxdamantus joins (~Maxdamant@unaffiliated/maxdamantus) |
| 05:01:05 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 05:01:25 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 05:03:42 | × | m2rrorbird quits (dwsjeid911@gateway/vpn/mullvad/dwsjeid911) (Quit: Leaving) |
| 05:09:33 | → | joebobjoe joins (~joebobjoe@unaffiliated/joebobjoe) |
| 05:14:38 | × | joebobjoe quits (~joebobjoe@unaffiliated/joebobjoe) (Ping timeout: 260 seconds) |
| 05:16:08 | × | thunderrd quits (~thunderrd@183.182.115.72) (Ping timeout: 272 seconds) |
| 05:16:47 | × | justan0theruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 272 seconds) |
| 05:19:40 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 05:20:41 | hackage | cabal-cache 1.0.3.0 - CI Assistant for Haskell projects https://hackage.haskell.org/package/cabal-cache-1.0.3.0 (haskellworks) |
| 05:20:42 | × | soft-warm quits (44695313@ip68-105-83-19.sd.sd.cox.net) (Ping timeout: 240 seconds) |
| 05:22:48 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 05:23:18 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 05:26:52 | × | Lycurgus quits (~niemand@98.4.114.199) (Quit: Exeunt) |
| 05:28:19 | → | jespada joins (~jespada@90.254.243.187) |
| 05:29:24 | → | thunderrd joins (~thunderrd@183.182.111.238) |
| 05:34:42 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 05:36:25 | → | joebobjoe joins (~joebobjoe@unaffiliated/joebobjoe) |
| 05:39:15 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
| 05:39:15 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 05:39:34 | → | Tario joins (~Tario@201.192.165.173) |
| 05:40:40 | → | minoru_shiraeesh joins (~shiraeesh@109.166.57.186) |
| 05:40:44 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:41fd:e964:f33c:bb7f) (Remote host closed the connection) |
| 05:43:40 | heck-to-the-gnom | < https://matrix.org/_matrix/media/r0/download/matrix.org/tmqdYKWbcaWbWvfIefeRmIYv/message.txt > |
| 05:43:45 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 05:43:59 | × | lambda-11235 quits (~lambda-11@2600:1700:7c70:4600:f419:51eb:6249:5266) (Max SendQ exceeded) |
| 05:44:35 | <heck-to-the-gnom> | well, I guess you could remove 8 whitespace from the first, while only 5 from the second, if code golf was the subject |
| 05:45:27 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 05:45:46 | → | lambda-11235 joins (~lambda-11@2600:1700:7c70:4600:f419:51eb:6249:5266) |
| 05:46:10 | × | slack1256 quits (~slack1256@dvc-186-186-101-190.movil.vtr.net) (Ping timeout: 260 seconds) |
| 05:46:29 | × | minoru_shiraeesh quits (~shiraeesh@109.166.57.186) (Ping timeout: 265 seconds) |
| 05:46:41 | × | mozzarella quits (~sam@unaffiliated/sam113101) (Read error: Connection reset by peer) |
| 05:51:14 | → | mozzarella joins (~sam@unaffiliated/sam113101) |
| 05:54:12 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 05:55:23 | → | Guest29429 joins (~mauricio@host-181-39-120-169.netlife.ec) |
| 05:57:00 | ← | Guest29429 parts (~mauricio@host-181-39-120-169.netlife.ec) () |
| 05:57:01 | × | rocket_man quits (~rocket_ma@165.166.32.50) (Remote host closed the connection) |
| 05:57:49 | → | rocket_man joins (~rocket_ma@165.166.32.50) |
| 06:00:21 | → | debclair joins (~mauricio@host-181-39-120-169.netlife.ec) |
| 06:00:43 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 06:01:37 | ← | debclair parts (~mauricio@host-181-39-120-169.netlife.ec) () |
| 06:01:41 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 06:02:09 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:615e:a496:893f:2a8e) |
| 06:02:32 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 06:02:56 | → | russruss40 joins (~russruss@my.russellmcc.com) |
| 06:04:22 | jokester_ | is now known as jokester |
| 06:07:33 | × | joebobjoe quits (~joebobjoe@unaffiliated/joebobjoe) (Ping timeout: 245 seconds) |
| 06:09:05 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 06:09:25 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 06:10:01 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 06:11:05 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 06:11:27 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 06:11:48 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 06:11:49 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:615e:a496:893f:2a8e) (Remote host closed the connection) |
| 06:12:09 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 06:12:49 | <koz_> | heck-to-the-gnom: Don't even think about performance. |
| 06:12:59 | <koz_> | First, you can't tell; second, you'll be wrong anyway. |
| 06:13:04 | <koz_> | Go for readability always. |
| 06:13:15 | <koz_> | Signed, a person who just sank most of their day chasing a small allocation bug. |
| 06:14:03 | → | joebobjoe joins (~joebobjoe@unaffiliated/joebobjoe) |
| 06:16:43 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds) |
| 06:17:02 | × | xff0x quits (~xff0x@2001:1a81:527c:ad00:48ed:9caa:8d1f:c9c7) (Ping timeout: 260 seconds) |
| 06:17:43 | → | xff0x joins (~xff0x@2001:1a81:527c:ad00:3e:1651:56e6:1c9) |
| 06:21:18 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 245 seconds) |
| 06:21:34 | × | xelxebar_ quits (~xelxebar@gateway/tor-sasl/xelxebar) (Ping timeout: 268 seconds) |
| 06:21:51 | × | Sheilong quits (uid293653@gateway/web/irccloud.com/x-yuuljllgcbbnaiwc) (Quit: Connection closed for inactivity) |
| 06:22:32 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 06:24:54 | → | stree joins (~stree@68.36.8.116) |
| 06:27:33 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 06:28:24 | → | ep1ctetus joins (~epictetus@ip72-194-215-136.sb.sd.cox.net) |
| 06:28:59 | × | ep1ctetus quits (~epictetus@ip72-194-215-136.sb.sd.cox.net) (Read error: Connection reset by peer) |
| 06:30:21 | × | DataComputist quits (~lumeng@50.43.26.251) (Ping timeout: 246 seconds) |
| 06:32:03 | → | xelxebar joins (~xelxebar@gateway/tor-sasl/xelxebar) |
| 06:32:18 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:9912:8897:6dd2:f14) |
| 06:37:14 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:9912:8897:6dd2:f14) (Ping timeout: 264 seconds) |
| 06:38:26 | → | DataComputist joins (~lumeng@50.43.26.251) |
| 06:39:11 | hackage | free-algebras 0.1.0.1 - Free algebras https://hackage.haskell.org/package/free-algebras-0.1.0.1 (coot) |
| 06:39:44 | → | mirrorbird joins (dwsjeid911@gateway/vpn/mullvad/dwsjeid911) |
| 06:41:22 | → | nbloomf joins (~nbloomf@70.182.116.249) |
| 06:44:50 | × | urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 06:45:17 | × | rocket_man quits (~rocket_ma@165.166.32.50) (Quit: Quit) |
| 06:46:11 | hackage | pandoc-csv2table 1.0.9 - Convert CSV to Pandoc Table Markdown https://hackage.haskell.org/package/pandoc-csv2table-1.0.9 (vmandela) |
| 06:49:48 | → | dyeplexer joins (~lol@unaffiliated/terpin) |
| 06:50:39 | → | monadmatt joins (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) |
| 06:51:26 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 06:53:42 | × | joebobjoe quits (~joebobjoe@unaffiliated/joebobjoe) (Ping timeout: 256 seconds) |
| 06:54:28 | → | joebobjoe joins (~joebobjoe@unaffiliated/joebobjoe) |
| 06:55:12 | → | magnuscake joins (~magnuscak@87-121-92-61.dyn.launtel.net.au) |
| 06:55:28 | × | monadmatt quits (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 06:57:20 | → | toorevitimirp joins (~tooreviti@117.182.180.50) |
| 06:57:51 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 06:59:28 | × | joebobjoe quits (~joebobjoe@unaffiliated/joebobjoe) (Ping timeout: 265 seconds) |
| 07:01:40 | → | bgamari_ joins (~bgamari@72.65.102.227) |
| 07:02:05 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 07:02:27 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 07:02:46 | × | bgamari quits (~bgamari@72.65.101.101) (Ping timeout: 276 seconds) |
| 07:04:21 | × | mirrorbird quits (dwsjeid911@gateway/vpn/mullvad/dwsjeid911) (Remote host closed the connection) |
| 07:07:08 | → | mirrorbird joins (dwsjeid911@gateway/vpn/mullvad/dwsjeid911) |
| 07:11:28 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 07:13:38 | × | magnuscake quits (~magnuscak@87-121-92-61.dyn.launtel.net.au) (Ping timeout: 260 seconds) |
| 07:14:06 | × | timCF quits (~i.tkachuk@m91-129-99-43.cust.tele2.ee) (Ping timeout: 256 seconds) |
| 07:19:31 | × | waleee-cl quits (uid373333@gateway/web/irccloud.com/x-eyjzukijciociqrd) (Quit: Connection closed for inactivity) |
| 07:23:12 | → | forgottenone joins (~forgotten@176.42.24.172) |
| 07:24:19 | <gentauro> | I must admit that I have used this one, once or twice -> `((g .) .) . f` https://ubikium.gitlab.io/portfolio/2021-03-13-wait-a-moment.html |
| 07:24:43 | → | raym joins (~ray@45.64.220.113) |
| 07:25:26 | → | monadmatt joins (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) |
| 07:25:53 | × | elliott__ quits (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 260 seconds) |
| 07:28:26 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:c79:3d13:d977:c947) (Remote host closed the connection) |
| 07:34:11 | hackage | caps 0.1 - Monadic capabilities with late binding https://hackage.haskell.org/package/caps-0.1 (int_index) |
| 07:36:35 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 07:37:04 | → | danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 07:37:24 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 07:39:08 | → | arrowsvc_ joins (~arr@2.93.163.35) |
| 07:40:00 | × | monadmatt quits (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 07:40:53 | → | monadmatt joins (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) |
| 07:41:49 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
| 07:43:41 | hackage | rescue 0.4.1 - More understandable exceptions https://hackage.haskell.org/package/rescue-0.4.1 (expede) |
| 07:46:13 | → | joebobjoe joins (~joebobjoe@unaffiliated/joebobjoe) |
| 07:50:16 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 07:50:56 | × | monadmatt quits (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) (Ping timeout: 256 seconds) |
| 07:52:07 | → | mikoto-chan joins (~anass@gateway/tor-sasl/mikoto-chan) |
| 07:52:08 | × | joebobjoe quits (~joebobjoe@unaffiliated/joebobjoe) (Ping timeout: 260 seconds) |
| 07:53:06 | → | joebobjoe joins (~joebobjoe@unaffiliated/joebobjoe) |
| 07:57:30 | × | joebobjoe quits (~joebobjoe@unaffiliated/joebobjoe) (Ping timeout: 246 seconds) |
| 07:58:43 | × | unyu quits (~pyon@unaffiliated/pyon) (Quit: ERC (IRC client for Emacs 27.1)) |
| 08:02:27 | → | magnuscake joins (~magnuscak@87-121-92-61.dyn.launtel.net.au) |
| 08:08:01 | → | hiptobecubic joins (~john@unaffiliated/hiptobecubic) |
| 08:10:48 | → | timCF joins (~i.tkachuk@m91-129-99-43.cust.tele2.ee) |
| 08:14:34 | <curiousgay> | `take 1000 ['\0'..]` alright, this breaks assumption that Char is 8-bit |
| 08:14:49 | → | monadmatt joins (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) |
| 08:15:11 | <c_wraith> | why would any sort of language from the 90s use 8-bit characters? |
| 08:15:53 | <curiousgay> | c_wraith: to save some memory and because in ASCII using more than 8-bit doesn't make any sense? |
| 08:16:12 | <c_wraith> | people in the 90s were aware of countries that use other characters |
| 08:16:48 | <curiousgay> | but Haskell's Char are ASCII-only, aren't they? |
| 08:16:53 | <koz_> | curiousgay: No. |
| 08:16:57 | <koz_> | What gave you that idea? |
| 08:17:12 | <curiousgay> | because I didn't see them being UTF |
| 08:17:21 | <koz_> | Look up the docs in base for Char. |
| 08:17:26 | <c_wraith> | they're not UTF |
| 08:17:28 | <koz_> | It explains exactly what they are there. |
| 08:17:29 | <c_wraith> | they're characters. |
| 08:18:05 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 08:18:25 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 08:19:05 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 08:19:26 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 08:19:27 | → | frozenErebus joins (~frozenEre@94.128.82.20) |
| 08:19:47 | × | monadmatt quits (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) (Ping timeout: 256 seconds) |
| 08:22:03 | → | bitmagie joins (~Thunderbi@200116b8062714004dd6871dfade2055.dip.versatel-1u1.de) |
| 08:22:12 | → | monadmatt joins (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) |
| 08:22:28 | → | geowiesnot_bis joins (~user@87-89-181-157.abo.bbox.fr) |
| 08:24:31 | → | ADG1089__ joins (~aditya@106.212.74.137) |
| 08:25:01 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 08:26:13 | <curiousgay> | koz_: well, they say Char represents Unicode https://downloads.haskell.org/~ghc/latest/docs/html/libraries/base-4.15.0.0/Data-Char.html |
| 08:26:39 | × | sh9 quits (~sh9@softbank060116136158.bbtec.net) (Read error: Connection reset by peer) |
| 08:26:54 | <koz_> | Unicode code points, more precisely. |
| 08:27:00 | <koz_> | This doesn't contradict anything I said. |
| 08:27:46 | <curiousgay> | alright |
| 08:28:17 | → | sh9 joins (~sh9@softbank060116136158.bbtec.net) |
| 08:28:23 | → | malumore joins (~malumore@151.62.115.237) |
| 08:28:50 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:408f:2dd3:6494:affd) |
| 08:29:00 | × | Cthalupa quits (~cthulhu@47.186.47.75) (Ping timeout: 246 seconds) |
| 08:31:34 | → | Cthalupa joins (~cthulhu@47.186.47.75) |
| 08:32:41 | hackage | conferer-aeson 1.1.0.1 - conferer's source for reading json files https://hackage.haskell.org/package/conferer-aeson-1.1.0.1 (ludat) |
| 08:32:58 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 08:33:38 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:408f:2dd3:6494:affd) (Ping timeout: 264 seconds) |
| 08:35:37 | → | dain joins (~dain@mobile-166-170-34-1.mycingular.net) |
| 08:38:01 | → | pera joins (~pera@unaffiliated/pera) |
| 08:39:01 | × | siers quits (~ij@2a03:b0c0:1:e0::366:f001) (Changing host) |
| 08:39:01 | → | siers joins (~ij@NixOS/user/siers) |
| 08:39:02 | × | monadmatt quits (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) (Ping timeout: 265 seconds) |
| 08:42:05 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 08:42:25 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 08:42:53 | × | magnuscake quits (~magnuscak@87-121-92-61.dyn.launtel.net.au) (Ping timeout: 260 seconds) |
| 08:43:52 | × | mirrorbird quits (dwsjeid911@gateway/vpn/mullvad/dwsjeid911) (Remote host closed the connection) |
| 08:44:18 | → | mirrorbird joins (dwsjeid911@gateway/vpn/mullvad/dwsjeid911) |
| 08:44:28 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:ccec:b748:42d2:7842) |
| 08:46:14 | → | stree joins (~stree@68.36.8.116) |
| 08:47:11 | hackage | Win32 2.12.0.0 - A binding to Windows Win32 API. https://hackage.haskell.org/package/Win32-2.12.0.0 (TamarChristina) |
| 08:48:35 | × | nbloomf quits (~nbloomf@70.182.116.249) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 08:48:59 | → | supercoven joins (~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) |
| 08:49:39 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 08:53:41 | hackage | futhark 0.19.2 - An optimising compiler for a functional, array-oriented language. https://hackage.haskell.org/package/futhark-0.19.2 (TroelsHenriksen) |
| 08:53:41 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:ccec:b748:42d2:7842) (Remote host closed the connection) |
| 08:54:03 | <ephemient> | curiousgay: Char being 8-bit or 32-bit makes no difference in space usage for most Haskell programs using String, as type String = [Char] (so all the chars are individual objects on the heap, and and all heap objects have a minimum size) |
| 08:56:12 | → | Franciman joins (~francesco@host-82-49-79-189.retail.telecomitalia.it) |
| 08:56:40 | → | borne joins (~fritjof@200116b864d4700065fd8eaafdc5f06e.dip.versatel-1u1.de) |
| 08:56:42 | <ephemient> | @hackage text-utf8 has a packed UTF-8 representation can use less memory than text's Data.Text which is packed UTF-16, but either way it's significantly different from String |
| 08:56:42 | <lambdabot> | https://hackage.haskell.org/package/text-utf8 has a packed UTF-8 representation can use less memory than text's Data.Text which is packed UTF-16, but either way it's significantly different from |
| 08:56:43 | <lambdabot> | String |
| 08:57:03 | <ephemient> | ... I didn't expect lambdabot to just concat like that, but ok |
| 08:57:43 | × | Sgeo quits (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
| 09:06:18 | × | alexelcu quits (~alexelcu@142.93.180.198) (Remote host closed the connection) |
| 09:07:27 | × | pehjota quits (~pehjota@37.120.211.188) (Remote host closed the connection) |
| 09:08:15 | → | fendor joins (~fendor@91.141.1.110.wireless.dyn.drei.com) |
| 09:09:33 | × | pera quits (~pera@unaffiliated/pera) (Ping timeout: 264 seconds) |
| 09:11:38 | → | hexfive joins (~hexfive@50.35.83.177) |
| 09:12:59 | × | teardown quits (~user@gateway/tor-sasl/mrush) (Remote host closed the connection) |
| 09:13:25 | → | teardown joins (~user@gateway/tor-sasl/mrush) |
| 09:13:41 | × | drbean quits (~drbean@TC210-63-209-28.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 09:13:50 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 09:15:22 | × | mirrorbird quits (dwsjeid911@gateway/vpn/mullvad/dwsjeid911) (Ping timeout: 256 seconds) |
| 09:15:52 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Remote host closed the connection) |
| 09:17:12 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 09:23:18 | <curiousgay> | ephemient: right, on C side they are `struct String {char c; struct String *next}` where sizeof(struct String) = sizeof(void*) * 2, so on 32-bit machines one character consumes 8 bytes and on 64-bit ones that's 16 bytes |
| 09:24:08 | → | pera joins (~pera@unaffiliated/pera) |
| 09:24:17 | <curiousgay> | that actually gave me a bad first impression about Haskell because I enjoy low level programming, so I already knew how lists work |
| 09:24:18 | × | pavonia quits (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 09:24:50 | → | aggin joins (~ecm@103.88.87.37) |
| 09:26:42 | <curiousgay> | size of pointer is larger than size of char, but struct needs all elements to be of the same size |
| 09:26:59 | <ephemient> | no, struct does not. but it does require alignment |
| 09:27:11 | <ephemient> | that's not quite how it works in Haskell runtime either, it's actually worse |
| 09:28:18 | <ADG1089__> | what are phantom types? |
| 09:28:36 | <mikoto-chan> | https://dpaste.com/2BWJF66FX |
| 09:28:46 | <mikoto-chan> | Hmmm ... this was what I meant last time |
| 09:28:48 | <curiousgay> | if strings in Haskell would be arrays from the beginning, I guess that would prevent list comprehensions to work on them |
| 09:29:05 | <mikoto-chan> | I tried to install a package globally to test a library but no GHCi doesn't work |
| 09:29:33 | × | geowiesnot_bis quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 09:30:21 | <Rembane> | curiousgay: But then Haskell could have array comprehensions, just like Python does. |
| 09:30:21 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:408f:2dd3:6494:affd) |
| 09:30:25 | <ephemient> | curiousgay: closer to `union List { struct { int tag; void *head; union List *tail; } cons; struct { int tag; } nil; }`, where head points to *another* heap object that would be a Char in the case of String, plus a few other ways to represent thunks etc. |
| 09:31:01 | × | ADG1089__ quits (~aditya@106.212.74.137) (Remote host closed the connection) |
| 09:31:06 | <curiousgay> | guh |
| 09:31:37 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 09:32:13 | <ephemient> | curiousgay: can you think of a way to make Array structurally lazy? IMO that's the most important part of List - not its use as a data structure, although that's convenient, but using it to build control flow |
| 09:32:31 | → | asicia joins (~asdfasdfa@86.100.110.212) |
| 09:33:09 | <ephemient> | and Haskell 98 does have arrays, they're just not convenient to use |
| 09:34:18 | <ephemient> | well that and they were still boxed, so you're saving the cost of the cons cells but the chars are still on the heap... we do have multiple packed text types now though |
| 09:34:26 | × | bwe_ quits (~bwe@2a01:4f8:1c1c:4878::2) (Quit: leaving) |
| 09:34:35 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:408f:2dd3:6494:affd) (Ping timeout: 240 seconds) |
| 09:34:37 | <curiousgay> | ephemient: that's really hard, I'm learning Haskell (beginner), I'm not even sure Go's proverb "make zero value useful" will help here |
| 09:35:30 | × | Franciman quits (~francesco@host-82-49-79-189.retail.telecomitalia.it) (Quit: Leaving) |
| 09:35:30 | <curiousgay> | nah, that proverb is inadequate here |
| 09:37:28 | <asicia> | I'm trying to solve an exercise that asks me to create a function that generates infinate fibonacci sequence only using list comprehension - fib :: [Integer]. I'm assuming creating an inlined recursive function with `where` would be cheating. Any tips for possible strategies? |
| 09:38:15 | <asicia> | I've been thinking about this for a few hours, but can't come up with anything |
| 09:39:03 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 09:39:38 | <tomsmeding> | > let fib = 1 : 1 : zipWith (+) fib (tail fib) in take 20 fib |
| 09:39:40 | <lambdabot> | [1,1,2,3,5,8,13,21,34,55,89,144,233,377,610,987,1597,2584,4181,6765] |
| 09:39:45 | → | bwe joins (~bwe@unaffiliated/bwe) |
| 09:39:58 | <tomsmeding> | asicia: not a list comprehension, but this is a "standard" trick; maybe you can get inspiration from it? |
| 09:40:09 | <asicia> | thanks, i will try |
| 09:40:11 | <tomsmeding> | or perhaps they're asking for something different, I don't know |
| 09:40:45 | × | aggin quits (~ecm@103.88.87.37) (Quit: WeeChat 3.0.1) |
| 09:40:56 | <Rembane> | asicia: Are you only allowed to use a list comprehension, nothing else at all? |
| 09:41:06 | <asicia> | the author did mention zip and tail in the tips section |
| 09:42:13 | <tomsmeding> | ah yes, that sounds like a variation on the version I showed |
| 09:42:33 | <asicia> | great, i will try to crack it somehow |
| 09:42:44 | <curiousgay> | ephemient: well, I think for lazyness internal representation of array needs to be realloc'ed (twice amount of its previous size, I remember seeing that in Go's internal implementation of slices) and there needs to be an integer that will increment by 1 each time a new element is calculated, however this needs adjustments for concurrent needs |
| 09:42:52 | <Rembane> | tomsmeding: But how? A list comprehension is kinda flat, and unrecursive to its nature, or have I missed something here? |
| 09:43:11 | hackage | Decimal 0.5.2 - Decimal numbers with variable precision https://hackage.haskell.org/package/Decimal-0.5.2 (PaulJohnson) |
| 09:43:44 | <tomsmeding> | > [x | let x = 42] -- Rembane |
| 09:43:46 | <lambdabot> | [42] |
| 09:43:50 | <tomsmeding> | ¯\_(ツ)_/¯ |
| 09:44:10 | <tomsmeding> | but, like, if the teacher suggests using zip and tail |
| 09:44:17 | <ephemient> | > [round (((1 + sqrt 5) / 2) ^ i - ((1 - sqrt 5) / 2) ^ i) / sqrt 5 | i <- [0..]] -- I'm certain this is not what they want... it gets inaccurate too |
| 09:44:19 | <lambdabot> | error: |
| 09:44:19 | <lambdabot> | • Ambiguous type variable ‘a0’ arising from a use of ‘show_M197298689765... |
| 09:44:19 | <lambdabot> | prevents the constraint ‘(Show a0)’ from being solved. |
| 09:44:26 | <Rembane> | tomsmeding: That's true, but it feels like cheating. :) |
| 09:44:32 | <tomsmeding> | Rembane: yes lol |
| 09:44:41 | <Rembane> | ephemient: Is that the closed form of the Fibonacci series? |
| 09:44:44 | <curiousgay> | Rembane: I don't know what Python actually has, when I told on interview I used two-dimentional array to represent a plane they asked me "what is that?" and they didn't understand my explanations because I didn't bother saying "list of lists" |
| 09:44:55 | <ephemient> | Rembane, one of the closed forms yes |
| 09:44:58 | <tomsmeding> | ephemient: can remobe that ((1 - sqrt 5) / 2) ^ i term if you're rounding |
| 09:45:03 | × | malumore quits (~malumore@151.62.115.237) (Ping timeout: 245 seconds) |
| 09:45:11 | <tomsmeding> | Rembane: Binet's formula |
| 09:45:30 | <Rembane> | curiousgay: It has list comprehensions, but in Python a list is an array. [x*2 for x in range(10)] <- how to double some numbers in an array in Python using a list comprehension. |
| 09:45:49 | <Rembane> | ephemient, tomsmeding: It's beautiful and absolutely horrible at the same time. :) |
| 09:46:33 | <ephemient> | tomsmeding: you're right, just round works. I thought I needed it for the 0th case, but forgot that / sqrt 5 brings the error down small enough |
| 09:46:41 | hackage | instana-haskell-trace-sdk 0.6.2.0 - SDK for adding custom Instana tracing support to Haskell applications. https://hackage.haskell.org/package/instana-haskell-trace-sdk-0.6.2.0 (basti1302) |
| 09:46:51 | <ephemient> | the matrix multiplication form can be done accurately at least |
| 09:48:33 | → | MoeEl joins (62a7e21a@ip98-167-226-26.ph.ph.cox.net) |
| 09:48:40 | <tomsmeding> | > map snd (iterate (\(a,b) -> (b,a+b)) (0,1)) |
| 09:48:43 | <lambdabot> | [1,1,2,3,5,8,13,21,34,55,89,144,233,377,610,987,1597,2584,4181,6765,10946,17... |
| 09:50:03 | <ephemient> | @where pristine.hs |
| 09:50:03 | <lambdabot> | I know nothing about pristine.hs. |
| 09:50:06 | <MoeEl> | I tried to do heapsort in Haskell, 3 days after learning it, now I have gray hair |
| 09:50:14 | <ephemient> | eh, I forgot if lambdabot imports Linear |
| 09:50:21 | <Rembane> | MoeEl: What gives you gray hairs? Where do you get stuck? |
| 09:50:26 | <ephemient> | :t Linear.Matrix.M22 |
| 09:50:27 | <lambdabot> | error: |
| 09:50:27 | <lambdabot> | Not in scope: data constructor ‘Linear.Matrix.M22’ |
| 09:50:27 | <lambdabot> | No module named ‘Linear.Matrix’ is imported. |
| 09:51:40 | → | malumore joins (~malumore@151.62.115.237) |
| 09:52:01 | <MoeEl> | Not really stuck. I got it done, but it’s so inefficient because of the immutability of lists. I looked up MArray but it seems horrible. Then just learned about the vector package, so I think that will be my next experiment |
| 09:52:29 | <Rembane> | MoeEl: How is it inefficient? |
| 09:53:34 | <tomsmeding> | Rembane: heapsort is defined in terms of swapping operations on an array |
| 09:54:22 | <MoeEl> | Rembane anytime I need to swap two elements I have to construct a new list, for now I’m using drop and take which is O(n) when swapping is supposed to be O(1) |
| 09:55:03 | <ephemient> | array and vector have similar operations, vector is more ergonomic to use in lots of ways though |
| 09:55:22 | × | qih quits (~pi@210-54-120-166.adsl.xtra.co.nz) (Quit: leaving) |
| 09:55:32 | → | rdivyanshu joins (uid322626@gateway/web/irccloud.com/x-hxnrioewzbkzbjta) |
| 09:55:32 | × | MoeEl quits (62a7e21a@ip98-167-226-26.ph.ph.cox.net) (Quit: Connection closed) |
| 09:58:49 | → | MoeEl joins (62a7e21a@ip98-167-226-26.ph.ph.cox.net) |
| 09:59:28 | <MoeEl> | Got disconnected. Hope I didn’t miss any responses |
| 09:59:34 | × | hiptobecubic quits (~john@unaffiliated/hiptobecubic) (Ping timeout: 260 seconds) |
| 09:59:51 | <tomsmeding> | you didn't :) |
| 10:00:38 | <tomsmeding> | but yeah Data.Vector.Mutable may be somewhat easier to use than Data.Array.MArray, but they give mostly the same operations |
| 10:01:11 | <MoeEl> | Any top book recommendations in this channel? |
| 10:01:23 | <tomsmeding> | 'vector' is special-cased on single-dimensional arrays, whereas 'array' allows any instance of Ix as a key (which includes Int, producing single-dimensional arrays) |
| 10:02:02 | <curiousgay> | ephemient: have you seen my idea about how to make arrays lazy? I think it's naive, but if it's not and it can be used to represent lists internally without significant tradeoffs in memory and performance, maintainers will have to carefully restructure runtime (I know how restructuring can be hard) |
| 10:02:09 | <curiousgay> | s/about/above/ |
| 10:02:26 | × | xff0x quits (~xff0x@2001:1a81:527c:ad00:3e:1651:56e6:1c9) (Ping timeout: 264 seconds) |
| 10:02:45 | → | hiptobecubic joins (~john@unaffiliated/hiptobecubic) |
| 10:02:56 | → | xff0x joins (~xff0x@2001:1a81:527c:ad00:2731:c024:969b:283c) |
| 10:03:28 | <MoeEl> | Maybe I’m thinking it wrong but I liked that you can create a vector from a list. If you worked with Python it’s kinda similar to most packages like numpy or pandas. The syntax for constructing arrays is very prohibitive to me |
| 10:04:08 | <ephemient> | curiousgay: I think you're looking at a very small subset of what List is used for |
| 10:04:56 | <ephemient> | curiousgay: (:) means we can cheaply discard any initial portion, have multiple lists share the same tail, have a list use its own tail... like the `fib = 0 : 1 : zipWith (+) fib (tail fibs)` example just now |
| 10:04:58 | <curiousgay> | ephemient: and you are right, because I am reading tutorial without exercises that introduces basics |
| 10:05:52 | <tomsmeding> | MoeEl: what about https://hackage.haskell.org/package/array-0.5.4.0/docs/Data-Array-MArray.html#v:newListArray ? |
| 10:06:11 | <tomsmeding> | fromList' l = newListArray (0, length l - 1) l |
| 10:06:14 | × | lambda-11235 quits (~lambda-11@2600:1700:7c70:4600:f419:51eb:6249:5266) (Quit: Bye) |
| 10:06:31 | <tomsmeding> | (which produces the result in a monad, of course, because mutable arrays; the non-mutable version doesn't have monads) |
| 10:06:38 | <ephemient> | it is possible to build something like an lazy infinite Sequence with O(log n) indexed access, but that doesn't strike me as particularly useful |
| 10:08:20 | <ephemient> | (I mean, it has its uses; that's how some Haskell memoization libraries work. but it doesn't have as many general uses as [] I believe) |
| 10:08:33 | <MoeEl> | I wish they had some examples .. I don’t know what monads are yet 😁 |
| 10:09:20 | <tomsmeding> | MoeEl: mutable arrays using 'vector' will also use monads :p |
| 10:09:35 | <curiousgay> | ephemient: your example with fibonacci reminds me Rust's tutorial that tells how to create a structure that'll be evaluated lazingly (not hard to translate to C), I think fib function can implicitly have a global variable that will be updated when needed |
| 10:09:47 | <tomsmeding> | mutable things in haskell have to use monads in general |
| 10:10:19 | <curiousgay> | implicitly - I mean how compiler decides internally |
| 10:10:48 | <MoeEl> | 😭 |
| 10:10:58 | <tomsmeding> | curiousgay: such a structure would be useful for certain purposes, but the standard list structure also has its uses |
| 10:11:02 | <MoeEl> | Back to the classroom then |
| 10:11:06 | <tomsmeding> | please build such a thing, as a separate library :p |
| 10:11:48 | <curiousgay> | tomsmeding: if internal implementation of compiler can be safely changed, that won't affect language itself |
| 10:12:38 | <ephemient> | curiousgay: true of course, but you'd have to prove that you can always perform this sort of program rewriting safely |
| 10:12:48 | <tomsmeding> | MoeEl: it's because everything in haskell is supposed to be immutable. So if you want to have mutable arrays, you should somehow enforce that the programmer cannot observe that the previous value changed under their feet, breaking the immutability principle -- and that's done using monads |
| 10:12:57 | <tomsmeding> | though monads aren't hard to use! |
| 10:13:23 | <tomsmeding> | fully understanding how they work under the hood is slightly more work, but just using them is quite doable, also for a beginner |
| 10:13:27 | <tomsmeding> | don't despair! :) |
| 10:13:42 | <ephemient> | MoeEl: in theory the newly-merged Linear Types in Haskell would allow for building a mutable vector library without monads. but nobody has done so yet as far as I know, and you'd have to learn about linear types which I don't think is easier... |
| 10:13:56 | <tomsmeding> | hah yes |
| 10:15:21 | <Rembane> | tomsmeding, MoeEl: That's a very good point. I mixed heapsort up with mergesort. |
| 10:16:13 | <curiousgay> | ephemient: yeah, that'll require testing by building different programs, also if most programs use lists in a way that'll work faster with lists, such a change in runtime will only be worth for saving memory |
| 10:16:18 | <MoeEl> | I sorta understand the reasoning behind it from FP standpoint, but it makes implementing certain algorithms like heapsort slow. But surely my curiosity for monads peaked :) |
| 10:17:45 | <tomsmeding> | MoeEl: if you don't want to go into mutable arrays, you can use Data.Sequence instead of lists; that structure has O(log(n)) complexity for most operations instead of O(n) as for lists |
| 10:18:16 | <tomsmeding> | preserving the pattern that converting a traditional imperative algorithm to use immutable structures in haskell introduces an extra log-factor in the time complexity |
| 10:18:35 | <tomsmeding> | but if you want to avoid also that log factor, then mutable arrays are the thing :) |
| 10:18:38 | <MoeEl> | Rembane even mergesort suffers the same but at least the sorted list it can be built up from ground rather than split and merged |
| 10:19:21 | <Rembane> | MoeEl: Yeah, that's true. |
| 10:19:37 | <tomsmeding> | MoeEl: I believe mergesort can be implemented in O(n * log(n)) in normal, immutable haskell using lists? |
| 10:20:54 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 10:21:09 | <curiousgay> | ephemient: hm, thinking about that constantly discarding initial portions won't be cheap for memory because garbage collector will have to store entire array and depending on size it might occupy even more memory than a list would |
| 10:21:12 | <MoeEl> | tomsmeding I believe so. I think rather than splitting the list you just take elements in pairs and combine them. If I understood correctly |
| 10:22:36 | <MoeEl> | My motivation was to compare Python and Haskell performance of a sort algorithm but I ran into the brick wall. |
| 10:23:15 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 10:23:23 | <siraben> | With linear base, in the future one won't need to use a monad to use the mutable structures right? |
| 10:23:59 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 10:25:11 | <ephemient> | once somebody writes those linear mutable structures, I would expect |
| 10:25:17 | <curiousgay> | siraben: what? internally everything after being built is mutable, the purpose of declarative language is to provide abstraction over that |
| 10:25:59 | <siraben> | curiousgay: sure, but with linear types you can have in-place mutable structures without comprising the reformational transparency Haskell has |
| 10:26:50 | <siraben> | ephemient: the FAQ on GHC's wiki re linear types says that they won't lead to better performance (as of yet), but would be nice to control Haskell programs to the point where you can guarantee X about of allocations occur and where |
| 10:27:21 | <siraben> | s/reformational/referential/ |
| 10:27:22 | <ephemient> | curiousgay: one way of enforcing sequencing of mutations is through monads. another way is through linear types. so far Haskell has the former, and some infrastructure to make the latter possible, but that's just getting started |
| 10:27:23 | <siraben> | damn spellchecker |
| 10:28:02 | <siraben> | (reformational transparency would be nice IRL though :P) |
| 10:28:50 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds) |
| 10:32:24 | × | MoeEl quits (62a7e21a@ip98-167-226-26.ph.ph.cox.net) (Quit: Ping timeout (120 seconds)) |
| 10:32:26 | × | borne quits (~fritjof@200116b864d4700065fd8eaafdc5f06e.dip.versatel-1u1.de) (Ping timeout: 264 seconds) |
| 10:34:24 | → | monadmatt joins (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) |
| 10:38:39 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 10:38:48 | × | monadmatt quits (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 10:39:47 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 10:40:25 | → | MoeEl joins (62a7e21a@ip98-167-226-26.ph.ph.cox.net) |
| 10:42:28 | × | kafl_ quits (~kafl@unaffiliated/kafl) (Ping timeout: 260 seconds) |
| 10:42:33 | ← | MoeEl parts (62a7e21a@ip98-167-226-26.ph.ph.cox.net) () |
| 10:43:56 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 10:44:00 | × | toorevitimirp quits (~tooreviti@117.182.180.50) (Remote host closed the connection) |
| 10:44:48 | × | hiptobecubic quits (~john@unaffiliated/hiptobecubic) (Ping timeout: 246 seconds) |
| 10:45:12 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 10:46:20 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 10:54:11 | × | malumore quits (~malumore@151.62.115.237) (Remote host closed the connection) |
| 10:54:29 | → | malumore joins (~malumore@151.62.115.237) |
| 10:54:43 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 10:55:06 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 10:58:11 | hackage | tasty-grading-system 0.1.0.0 - Grade your tasty-testsuite. https://hackage.haskell.org/package/tasty-grading-system-0.1.0.0 (fendor) |
| 10:59:05 | → | helloworld joins (~hello@117.222.69.45) |
| 11:00:25 | → | Tops2 joins (~Tobias@dyndsl-095-033-025-225.ewe-ip-backbone.de) |
| 11:00:31 | curiousgay | ran hindent |
| 11:00:40 | <curiousgay> | hindent's style is nobody's favourite |
| 11:01:57 | × | malumore quits (~malumore@151.62.115.237) (Ping timeout: 246 seconds) |
| 11:02:10 | <tomsmeding> | I use hindent only to format Show-gnerated debug output in a readable way |
| 11:03:04 | → | Franciman joins (~francesco@host-82-49-79-189.retail.telecomitalia.it) |
| 11:03:35 | × | aarvar quits (~foewfoiew@2601:602:a080:fa0:6cfb:c91f:3c9a:a8cb) (Ping timeout: 240 seconds) |
| 11:04:39 | × | fendor quits (~fendor@91.141.1.110.wireless.dyn.drei.com) (Remote host closed the connection) |
| 11:06:06 | → | fendor joins (~fendor@91.141.1.110.wireless.dyn.drei.com) |
| 11:07:29 | → | stree joins (~stree@68.36.8.116) |
| 11:07:46 | <juri_> | ormolu? |
| 11:08:38 | × | helloworld quits (~hello@117.222.69.45) (Quit: leaving) |
| 11:10:47 | × | Guest34685 quits (~textual@2603-7000-3040-0000-90f8-4e28-a385-635a.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 11:13:25 | <siraben> | +1 for ormolu |
| 11:15:09 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 11:16:55 | → | Ishutin_ joins (~ishutin@77-234-64-188.pool.digikabel.hu) |
| 11:20:21 | × | Ishutin quits (~ishutin@91-83-11-236.pool.digikabel.hu) (Ping timeout: 264 seconds) |
| 11:20:43 | → | son0p joins (~son0p@181.58.39.182) |
| 11:21:10 | → | magnuscake joins (~magnuscak@87.121.92.61) |
| 11:22:58 | × | jespada quits (~jespada@90.254.243.187) (Ping timeout: 245 seconds) |
| 11:25:11 | × | coot quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 11:25:32 | → | jespada joins (~jespada@90.254.243.187) |
| 11:27:57 | → | EdwardIII joins (~edwardiii@unaffiliated/edward123) |
| 11:28:09 | × | Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Ping timeout: 264 seconds) |
| 11:29:55 | → | dhil joins (~dhil@80.208.56.181) |
| 11:31:40 | → | Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net) |
| 11:31:41 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:408f:2dd3:6494:affd) |
| 11:33:13 | × | frozenErebus quits (~frozenEre@94.128.82.20) (Ping timeout: 260 seconds) |
| 11:34:01 | → | malumore joins (~malumore@151.62.115.237) |
| 11:34:45 | × | DataComputist quits (~lumeng@50.43.26.251) (Quit: Leaving...) |
| 11:36:15 | <fendor> | Can I generate a .ghci.environment file without transitive dependencies? |
| 11:36:38 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:408f:2dd3:6494:affd) (Ping timeout: 264 seconds) |
| 11:41:58 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 11:43:09 | × | hexfive quits (~hexfive@50.35.83.177) (Quit: i must go. my people need me.) |
| 11:43:33 | → | ADG1089__ joins (~aditya@106.212.74.137) |
| 11:44:06 | × | asicia quits (~asdfasdfa@86.100.110.212) (Read error: Connection reset by peer) |
| 11:48:14 | → | Alleria joins (~textual@zrcout.mskcc.org) |
| 11:48:37 | Alleria | is now known as Guest32906 |
| 11:57:31 | × | ADG1089__ quits (~aditya@106.212.74.137) (Quit: Konversation terminated!) |
| 12:01:22 | → | leonardys joins (~leonard@118.136.35.158) |
| 12:02:11 | → | frozenErebus joins (~frozenEre@94.128.82.20) |
| 12:02:53 | → | bobiusbillius joins (~bobiusbil@92.40.175.51.threembb.co.uk) |
| 12:06:44 | × | Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 12:07:04 | × | magnuscake quits (~magnuscak@87.121.92.61) (Ping timeout: 256 seconds) |
| 12:07:09 | × | benkolera quits (sid285671@gateway/web/irccloud.com/x-sxotikxkrteyeims) (Quit: Connection closed for inactivity) |
| 12:07:11 | → | kenran joins (~kenran@mue-88-130-62-145.dsl.tropolys.de) |
| 12:08:05 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 12:08:11 | hackage | concurrency 1.11.0.1 - Typeclasses, functions, and data types for concurrency and STM. https://hackage.haskell.org/package/concurrency-1.11.0.1 (barrucadu) |
| 12:08:21 | → | Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 12:08:25 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 12:09:11 | hackage | dejafu 2.4.0.2 - A library for unit-testing concurrent programs. https://hackage.haskell.org/package/dejafu-2.4.0.2 (barrucadu) |
| 12:11:53 | × | son0p quits (~son0p@181.58.39.182) (Quit: Lost terminal) |
| 12:13:23 | → | kenran_ joins (~kenran@mue-88-130-62-145.dsl.tropolys.de) |
| 12:16:48 | × | terrorjack quits (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) (Remote host closed the connection) |
| 12:16:50 | × | shutdown_-h_now quits (~arjan@2001:1c06:2d0b:2312:84fd:19e6:b34a:aa93) (Ping timeout: 264 seconds) |
| 12:16:59 | → | ixlun joins (~user@213.205.241.14) |
| 12:17:29 | × | kenran quits (~kenran@mue-88-130-62-145.dsl.tropolys.de) (Quit: Lost terminal) |
| 12:17:49 | → | terrorjack joins (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) |
| 12:18:11 | × | terrorjack quits (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) (Client Quit) |
| 12:19:39 | → | terrorjack joins (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) |
| 12:19:47 | → | magnuscake joins (~magnuscak@87-121-92-61.dyn.launtel.net.au) |
| 12:21:22 | → | ADG1089__ joins (~aditya@106.212.74.137) |
| 12:21:38 | → | drbean joins (~drbean@TC210-63-209-99.static.apol.com.tw) |
| 12:28:41 | hackage | selective 0.4.2 - Selective applicative functors https://hackage.haskell.org/package/selective-0.4.2 (snowleopard) |
| 12:30:47 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 12:31:14 | × | frozenErebus quits (~frozenEre@94.128.82.20) (Ping timeout: 260 seconds) |
| 12:31:22 | × | gnumonic quits (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 12:32:10 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 12:32:23 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:408f:2dd3:6494:affd) |
| 12:32:34 | → | azure2 joins (~azure@103.154.230.130) |
| 12:32:36 | → | coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 12:33:49 | → | minoru_shiraeesh joins (~shiraeesh@109.166.56.65) |
| 12:34:03 | ← | coot parts (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) () |
| 12:35:49 | → | SaitamaPlus joins (uid272474@gateway/web/irccloud.com/x-abijodguhnyidowb) |
| 12:35:53 | → | coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 12:35:58 | × | azure1 quits (~azure@103.154.230.130) (Ping timeout: 256 seconds) |
| 12:36:45 | × | coot quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Remote host closed the connection) |
| 12:37:13 | → | coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 12:37:14 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:408f:2dd3:6494:affd) (Ping timeout: 264 seconds) |
| 12:37:57 | × | coot quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Client Quit) |
| 12:38:18 | → | frozenErebus joins (~frozenEre@94.128.82.20) |
| 12:38:57 | × | azure2 quits (~azure@103.154.230.130) (Ping timeout: 264 seconds) |
| 12:39:51 | → | azure2 joins (~azure@103.154.230.130) |
| 12:41:44 | → | m0rphism joins (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) |
| 12:44:51 | <hugo> | Thanks for the sugestion about TChan's yesterday! Works wonders and was far simpler to add than I had feared |
| 12:48:57 | → | Lycurgus joins (~niemand@98.4.114.199) |
| 12:49:24 | × | totte quits (~totte@chakra/totte) (Ping timeout: 265 seconds) |
| 12:49:27 | × | Reiser quits (~0a2a0001@static.210.242.216.95.clients.your-server.de) (Quit: Ping timeout (120 seconds)) |
| 12:49:32 | × | ADG1089__ quits (~aditya@106.212.74.137) (Remote host closed the connection) |
| 12:49:53 | × | Moyst quits (~moyst@212-149-213-144.bb.dnainternet.fi) (Ping timeout: 265 seconds) |
| 12:50:15 | → | urdh_ joins (~urdh@unaffiliated/urdh) |
| 12:50:22 | × | urdh quits (~urdh@unaffiliated/urdh) (Ping timeout: 265 seconds) |
| 12:50:28 | urdh_ | is now known as urdh |
| 12:50:37 | → | rdd` joins (~rdd@c-2983e555.012-81-73746f39.cust.ownit.se) |
| 12:50:50 | × | rzmt quits (~rzmt@87-92-180-112.rev.dnainternet.fi) (Ping timeout: 260 seconds) |
| 12:50:51 | × | valdyn quits (valdyn@c6a7cb82.vpn.njalla.net) (Ping timeout: 265 seconds) |
| 12:50:53 | × | rdd quits (~user@c-2983e555.012-81-73746f39.cust.ownit.se) (Ping timeout: 245 seconds) |
| 12:50:58 | → | valdyn joins (valdyn@c6a7cbb4.vpn.njalla.net) |
| 12:51:14 | → | ADG1089__ joins (~aditya@106.212.74.137) |
| 12:51:18 | × | some02 quits (~lax@unaffiliated/laxask) (Ping timeout: 260 seconds) |
| 12:51:18 | × | zaquest quits (~notzaques@5.128.210.178) (Ping timeout: 245 seconds) |
| 12:51:20 | × | janne quits (~janne@punainen.org) (Ping timeout: 265 seconds) |
| 12:51:25 | × | ADG1089__ quits (~aditya@106.212.74.137) (Remote host closed the connection) |
| 12:51:56 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:ad5d:abda:e987:22bd) |
| 12:51:56 | → | ADG1089__ joins (~aditya@106.212.74.137) |
| 12:52:10 | → | Reiser joins (~0a2a0001@static.210.242.216.95.clients.your-server.de) |
| 12:52:11 | → | janne joins (~janne@punainen.org) |
| 12:53:02 | → | Moyst joins (~moyst@212-149-213-144.bb.dnainternet.fi) |
| 12:53:03 | → | sudden joins (~lax@unaffiliated/laxask) |
| 12:55:41 | hackage | validation-selective 0.1.0.1 - Lighweight pure data validation based on Applicative and Selective functors https://hackage.haskell.org/package/validation-selective-0.1.0.1 (vrom911) |
| 12:56:41 | hackage | hakyll 4.14.0.0 - A static website compiler library https://hackage.haskell.org/package/hakyll-4.14.0.0 (JasperVanDerJeugt) |
| 12:56:50 | → | kuribas joins (~user@ptr-25vy0i7ct6alt7330p7.18120a2.ip6.access.telenet.be) |
| 12:58:02 | × | Lycurgus quits (~niemand@98.4.114.199) (Read error: Connection reset by peer) |
| 12:58:38 | × | ADG1089__ quits (~aditya@106.212.74.137) (Remote host closed the connection) |
| 12:59:02 | → | ADG1089__ joins (~aditya@106.212.74.137) |
| 13:00:05 | → | __monty__ joins (~toonn@unaffiliated/toonn) |
| 13:00:43 | × | magnuscake quits (~magnuscak@87-121-92-61.dyn.launtel.net.au) (Ping timeout: 260 seconds) |
| 13:01:08 | → | bergey` joins (~user@pool-74-108-99-127.nycmny.fios.verizon.net) |
| 13:01:25 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:ad5d:abda:e987:22bd) (Remote host closed the connection) |
| 13:01:47 | → | shutdown_-h_now joins (~arjan@2001:1c06:2d0b:2312:e974:5a8b:298e:b21) |
| 13:02:26 | → | Kaiepi joins (~Kaiepi@47.54.252.148) |
| 13:02:58 | × | kenran_ quits (~kenran@mue-88-130-62-145.dsl.tropolys.de) (Quit: Lost terminal) |
| 13:03:08 | → | kenran joins (~kenran@mue-88-130-62-145.dsl.tropolys.de) |
| 13:05:54 | → | rzmt joins (~rzmt@87-92-180-112.rev.dnainternet.fi) |
| 13:07:43 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds) |
| 13:08:06 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 13:08:29 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 13:09:07 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 13:09:24 | → | zaquest joins (~notzaques@5.128.210.178) |
| 13:09:29 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 13:09:51 | × | ADG1089__ quits (~aditya@106.212.74.137) (Quit: Konversation terminated!) |
| 13:10:06 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 13:10:26 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 13:11:09 | × | Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 265 seconds) |
| 13:12:06 | × | gzj quits (~gzj@unaffiliated/gzj) (Read error: Connection reset by peer) |
| 13:12:08 | → | idhugo joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 13:12:15 | → | totte joins (~totte@chakra/totte) |
| 13:12:27 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 13:12:41 | hackage | binsm 0.1.2 - binary files splitter and merger https://hackage.haskell.org/package/binsm-0.1.2 (SergeyAlirzaev) |
| 13:13:07 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 13:13:29 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 13:14:13 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 13:15:53 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 13:16:06 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 13:16:18 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 13:16:41 | hackage | tomland 1.3.3.0 - Bidirectional TOML serialization https://hackage.haskell.org/package/tomland-1.3.3.0 (vrom911) |
| 13:17:14 | → | asheshambasta joins (~user@ptr-e1lysawjk66x7g42nlz.18120a2.ip6.access.telenet.be) |
| 13:19:36 | × | minoru_shiraeesh quits (~shiraeesh@109.166.56.65) (Ping timeout: 256 seconds) |
| 13:20:00 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 13:20:12 | → | minoru_shiraeesh joins (~shiraeesh@109.166.56.65) |
| 13:25:04 | → | ADG1089__ joins (~aditya@106.212.74.137) |
| 13:25:06 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 13:27:26 | × | ADG1089__ quits (~aditya@106.212.74.137) (Client Quit) |
| 13:27:35 | → | augnun joins (~augnun@2804:14c:658b:41bb:722a:8aec:e625:5ad9) |
| 13:28:47 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 13:28:50 | → | stree joins (~stree@68.36.8.116) |
| 13:30:58 | × | minoru_shiraeesh quits (~shiraeesh@109.166.56.65) (Ping timeout: 260 seconds) |
| 13:32:43 | → | urodna joins (~urodna@unaffiliated/urodna) |
| 13:33:33 | × | frozenErebus quits (~frozenEre@94.128.82.20) (Ping timeout: 264 seconds) |
| 13:33:41 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 13:35:33 | × | augnun quits (~augnun@2804:14c:658b:41bb:722a:8aec:e625:5ad9) (Quit: WeeChat 3.1) |
| 13:37:06 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 13:37:08 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 245 seconds) |
| 13:37:46 | → | ADG1089__ joins (~aditya@106.212.74.137) |
| 13:37:59 | → | Lycurgus joins (~niemand@cpe-45-46-136-207.buffalo.res.rr.com) |
| 13:38:23 | × | bergey` quits (~user@pool-74-108-99-127.nycmny.fios.verizon.net) (Ping timeout: 245 seconds) |
| 13:40:30 | × | leonardys quits (~leonard@118.136.35.158) (Quit: WeeChat 3.1) |
| 13:42:04 | → | son0p joins (~son0p@181.136.122.143) |
| 13:44:41 | <kuribas> | sometimes I really mis stepping through code. |
| 13:45:32 | × | drbean quits (~drbean@TC210-63-209-99.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 13:45:48 | <Lycurgus> | ur sayin that's impossible with ghci ? |
| 13:45:57 | <int-e> | one small misstep... |
| 13:46:22 | <Lycurgus> | if you meant mis step, nvm |
| 13:46:48 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 256 seconds) |
| 13:46:58 | <int-e> | ghci's debugger only works with bytecode though, doesn't it |
| 13:47:06 | → | minoru_shiraeesh joins (~shiraeesh@109.166.56.65) |
| 13:47:24 | <Lycurgus> | different langs have different abilities due to their nature |
| 13:47:34 | <int-e> | Lycurgus: I'm asuming that was a typo. |
| 13:47:43 | <int-e> | hah. assuming |
| 13:47:44 | <Lycurgus> | in assembly you can go instruction by instruction |
| 13:47:51 | <Lycurgus> | (in the right arch) |
| 13:48:16 | <Lycurgus> | in smalltalk you can go by message send |
| 13:48:27 | <Lycurgus> | you'd expect it to be a bit cocked in hs |
| 13:48:52 | <int-e> | :t Debug.Trace.trace |
| 13:48:54 | <lambdabot> | String -> a -> a |
| 13:49:02 | <int-e> | state of the art :-/ |
| 13:49:05 | <Lycurgus> | *cocked/fugled/verwickelt |
| 13:50:05 | <Lycurgus> | in hs i'm good with reliably being able to set bps |
| 13:50:54 | <Lycurgus> | a lang u can't symboliclly debug is fuck hoax man, a scam |
| 13:51:00 | <Lycurgus> | *fucking |
| 13:52:04 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 13:52:08 | <Lycurgus> | intel main arches have had single step for 30 some years |
| 13:52:16 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) |
| 13:52:17 | <int-e> | . o O ( SQL? I guess it depends a lot on the implementation. ) |
| 13:53:45 | <Lycurgus> | SQL is not a general purpose programming lang, it's a data access plan and schema generator |
| 13:53:45 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 13:53:45 | <Lycurgus> | but there are some sql store proc setups that have debugging |
| 13:53:49 | <Lycurgus> | *stored |
| 13:53:53 | × | asheshambasta quits (~user@ptr-e1lysawjk66x7g42nlz.18120a2.ip6.access.telenet.be) (Ping timeout: 265 seconds) |
| 13:55:05 | → | geekosaur joins (ae68c070@cpe-174-104-192-112.neo.res.rr.com) |
| 13:55:27 | <Lycurgus> | prolly most of the major commercial ones, dunno about pg but have used on sql server in past so assume sybase had/has |
| 13:55:44 | × | stefan-__ quits (~cri@42dots.de) (Excess Flood) |
| 13:55:46 | <Lycurgus> | would bet oracle does |
| 13:55:58 | → | stefan-_ joins (~cri@42dots.de) |
| 13:56:06 | → | zfnmxt_ joins (~zfnmxt@unaffiliated/zfnmxt) |
| 13:57:15 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 240 seconds) |
| 13:57:17 | × | jb55 quits (~jb55@gateway/tor-sasl/jb55) (Ping timeout: 268 seconds) |
| 13:57:18 | × | bendo quits (~bendo@130.61.122.121) (Ping timeout: 246 seconds) |
| 13:57:28 | × | zfnmxt quits (~zfnmxt@unaffiliated/zfnmxt) (Ping timeout: 276 seconds) |
| 13:57:44 | × | marble_visions quits (~user@68.183.79.8) (Quit: bye) |
| 13:58:18 | → | bendo joins (~bendo@130.61.122.121) |
| 13:58:28 | × | reactormonk1 quits (~reactormo@mehl.schokokeks.org) (Ping timeout: 260 seconds) |
| 13:58:35 | → | marble_visions joins (~user@68.183.79.8) |
| 13:58:37 | <Lycurgus> | also before LSI pretty much every computer had single step mode which could be set on the ocntrol panel |
| 13:59:33 | → | jb55 joins (~jb55@gateway/tor-sasl/jb55) |
| 13:59:34 | <Lycurgus> | so yeah if you can't step thru the code, somebody did a Brazil on ur programmer fu |
| 14:00:15 | → | reactormonk1 joins (~reactormo@mehl.schokokeks.org) |
| 14:00:57 | <Lycurgus> | or human catepillar or whatever |
| 14:02:02 | → | DavidEichmann joins (~david@234.109.45.217.dyn.plus.net) |
| 14:02:58 | → | hahalps joins (0d5e07b1@13.94.7.177) |
| 14:03:51 | <Lycurgus> | yeah pg and oracle both have |
| 14:04:07 | × | hahalps quits (0d5e07b1@13.94.7.177) (Client Quit) |
| 14:04:41 | hackage | prolens 0.0.0.1 - Profunctor-based lightweight implementation of optics https://hackage.haskell.org/package/prolens-0.0.0.1 (shersh) |
| 14:04:45 | × | minoru_shiraeesh quits (~shiraeesh@109.166.56.65) (Read error: No route to host) |
| 14:05:07 | → | minoru_shiraeesh joins (~shiraeesh@109.166.56.65) |
| 14:10:20 | <Lycurgus> | 8080 era uprocessors had single step, intel ones prolly all or nearly all, shouldn't have limited it to when i started heavily using it |
| 14:10:40 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 14:11:10 | <Lycurgus> | actually I could respect the other position, "I never want to descend that low" as a matter of principle |
| 14:11:42 | <Lycurgus> | just doesn't work for me, other than almost all the time |
| 14:11:58 | → | frozenErebus joins (~frozenEre@94.128.82.20) |
| 14:13:00 | <geekosaur> | single stepping kinda fails with multithreaded, though. or vliw |
| 14:13:19 | <Lycurgus> | it most certainly does not |
| 14:13:32 | <Lycurgus> | you have to manage threads |
| 14:13:45 | <Lycurgus> | but you know why that's a problem? |
| 14:13:45 | × | fendor quits (~fendor@91.141.1.110.wireless.dyn.drei.com) (Ping timeout: 246 seconds) |
| 14:13:51 | <Lycurgus> | this thing here |
| 14:14:23 | <Lycurgus> | https://insights.stackoverflow.com/survey/2020#experience |
| 14:15:19 | <Lycurgus> | if vliw is very long instruction word, yeah exotica in general produces corner pain |
| 14:15:25 | → | fendor joins (~fendor@178.165.131.241.wireless.dyn.drei.com) |
| 14:15:26 | <Lycurgus> | that's somekina law |
| 14:16:58 | → | Tario joins (~Tario@201.192.165.173) |
| 14:17:35 | <Lycurgus> | single stepping is so fundamental though, I would place a lil money on ur not being able to produce a real vliw processor that wasn't purpose built |
| 14:17:53 | <Lycurgus> | to replace something unchanging without it. |
| 14:22:44 | <L29Ah> | i want to make a time(1)-like tool; which method of process creation should i use? the one from `process` wants String's as executable path and arguments, unnecessarily slowing it down and limiting them to Unicode, and requiring me to shuffle through $PATH manually |
| 14:23:50 | Lycurgus | is pretty sure in most FS |
| 14:24:06 | Lycurgus | paths are limited to ascii |
| 14:24:27 | <Clint> | what |
| 14:24:38 | × | xff0x quits (~xff0x@2001:1a81:527c:ad00:2731:c024:969b:283c) (Ping timeout: 264 seconds) |
| 14:24:50 | <geekosaur> | POSIX paths are ByteStrings, NTFS paths are Unicode with escaping for nonrepresentables |
| 14:25:02 | × | Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Ping timeout: 268 seconds) |
| 14:25:11 | → | xff0x joins (~xff0x@2001:1a81:527c:ad00:a70:55a0:fd29:c4d4) |
| 14:25:12 | <Lycurgus> | OK, yeah rethinking that one |
| 14:26:18 | → | slack1256 joins (~slack1256@dvc-186-186-101-190.movil.vtr.net) |
| 14:27:16 | <geekosaur> | (specifically Microsoft's variant of UTF16 with escaping) |
| 14:27:24 | <Lycurgus> | the symbolic debugger thing sent me into crusty old programmer hell |
| 14:27:55 | → | Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 14:28:16 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 14:29:45 | <L29Ah> | https://hackage.haskell.org/package/unix-2.7.2.2/docs/System-Posix-Process-ByteString.html ah probably that's what i'm after |
| 14:29:59 | <L29Ah> | geekosaur: thanks for mentioning posix :) |
| 14:31:39 | × | entel quits (uid256215@botters/entel) (Quit: Connection closed for inactivity) |
| 14:32:06 | → | alx741 joins (~alx741@181.196.69.27) |
| 14:33:49 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:408f:2dd3:6494:affd) |
| 14:34:29 | × | rdivyanshu quits (uid322626@gateway/web/irccloud.com/x-hxnrioewzbkzbjta) (Quit: Connection closed for inactivity) |
| 14:36:19 | × | ADG1089__ quits (~aditya@106.212.74.137) (Remote host closed the connection) |
| 14:36:22 | → | Deide joins (~Deide@217.155.19.23) |
| 14:39:02 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:408f:2dd3:6494:affd) (Ping timeout: 264 seconds) |
| 14:43:58 | × | kenran quits (~kenran@mue-88-130-62-145.dsl.tropolys.de) (Quit: leaving) |
| 14:46:58 | × | DavidEichmann quits (~david@234.109.45.217.dyn.plus.net) (Remote host closed the connection) |
| 14:47:52 | → | DavidEichmann joins (~david@234.109.45.217.dyn.plus.net) |
| 14:49:56 | × | DavidEichmann quits (~david@234.109.45.217.dyn.plus.net) (Remote host closed the connection) |
| 14:52:27 | <whataday> | why call fixed-point inside a Cont do-notation would create a loop? http://www.vex.net/~trebla/haskell/cont-monad.xhtml |
| 14:52:35 | <whataday> | I just don't get it |
| 14:53:16 | <whataday> | that Setjmp section |
| 14:54:48 | <kuribas> | I have an infinite loop. Is there a way to debug this in ghci? |
| 14:56:05 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 14:57:05 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection) |
| 14:59:14 | <Uniaika> | kuribas: manual recursion? |
| 14:59:46 | <hpc> | Debug.Trace will probably be useful |
| 15:00:58 | <kuribas> | Uniaika: a parser combinator for xml |
| 15:02:54 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 15:03:38 | <Uniaika> | kuribas: I'm so, so sorry |
| 15:03:47 | <kuribas> | ? |
| 15:04:46 | → | CrazyPython joins (~crazypyth@98.122.164.118) |
| 15:05:44 | × | CrazyPython quits (~crazypyth@98.122.164.118) (Read error: Connection reset by peer) |
| 15:06:42 | × | frozenErebus quits (~frozenEre@94.128.82.20) (Ping timeout: 256 seconds) |
| 15:06:48 | <Uniaika> | kuribas: this is no easy nor fun task |
| 15:07:34 | <kuribas> | it also seems to be leaking lots of memory |
| 15:10:26 | <Uniaika> | kuribas: use strictness annotations? |
| 15:10:30 | <Uniaika> | kuribas: is the code open-source? |
| 15:10:34 | <kuribas> | yes |
| 15:11:01 | <Uniaika> | may I see it? |
| 15:11:53 | <kuribas> | https://github.com/kuribas/hexpat-streamparser/blob/master/src/Text/XML/Expat/StreamParser.hs |
| 15:12:03 | → | ezrakilty joins (~ezrakilty@97-113-58-224.tukw.qwest.net) |
| 15:13:00 | <Uniaika> | kuribas: I see you're using lazy linked lists. Is there a reason you need them? |
| 15:14:11 | hackage | data-interval 2.1.0 - Interval datatype, interval arithmetic and interval-based containers https://hackage.haskell.org/package/data-interval-2.1.0 (MasahiroSakai) |
| 15:14:14 | <kuribas> | Uniaika: it's build on top of hexpat, which uses some sort of list transformer |
| 15:14:26 | <Uniaika> | hmm, so you can't really avoid them |
| 15:14:42 | <kuribas> | Uniaika: some trace showed that it only parsing the first tag... |
| 15:14:56 | <kuribas> | maybe a bug in the alternative? |
| 15:14:57 | <Uniaika> | kuribas: first of all, put some strictness annotations in your own types. And unpack their fields as well, this will remove a level of indirection |
| 15:15:05 | <Uniaika> | and -> write tests |
| 15:15:08 | <kuribas> | hmm, right |
| 15:15:10 | <kuribas> | yeah :) |
| 15:15:14 | <Uniaika> | especially for the hand-written instances |
| 15:15:46 | × | idhugo quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 256 seconds) |
| 15:16:40 | → | jeremybennett joins (~jeremyben@185.204.1.185) |
| 15:16:49 | × | ezrakilty quits (~ezrakilty@97-113-58-224.tukw.qwest.net) (Ping timeout: 265 seconds) |
| 15:19:06 | <[exa]> | is there some recommended way to install binary "assets" with cabal? (say, logo pictures) |
| 15:19:45 | <sm[m]> | file-embed |
| 15:20:20 | <Uniaika> | uh, I thought it was data-dir |
| 15:21:25 | <Uniaika> | ah, file-embed is a package, and data-dir is the Cabal field I was thinking of |
| 15:21:50 | <sm[m]> | yup. One is fragile, the other not |
| 15:22:23 | × | mikoto-chan quits (~anass@gateway/tor-sasl/mikoto-chan) (Ping timeout: 268 seconds) |
| 15:22:28 | × | timCF quits (~i.tkachuk@m91-129-99-43.cust.tele2.ee) (Ping timeout: 260 seconds) |
| 15:23:07 | <Uniaika> | sm[m]: care to tell which is which? :P |
| 15:23:54 | <[exa]> | data-dir and data-files fix it for me, thanks a lot! |
| 15:24:01 | → | Sheilong joins (uid293653@gateway/web/irccloud.com/x-vnbzqcslxpqrrgtm) |
| 15:24:03 | → | mikoto-chan joins (~anass@gateway/tor-sasl/mikoto-chan) |
| 15:24:31 | <sm[m]> | :) data-dir is fragile, depending on file system state. Eg when various things happen to your .cabal dir, your pandoc breaks |
| 15:24:36 | <[exa]> | (I was googling it wrong with "binary", which packs a bit of bias :D ) |
| 15:24:53 | <[exa]> | yeah, data should be listed explicitly |
| 15:27:11 | hackage | headroom 0.4.1.0 - License Header Manager https://hackage.haskell.org/package/headroom-0.4.1.0 (xwinus) |
| 15:28:33 | × | Lycurgus quits (~niemand@cpe-45-46-136-207.buffalo.res.rr.com) (Quit: Exeunt) |
| 15:28:33 | × | mikoto-chan quits (~anass@gateway/tor-sasl/mikoto-chan) (Ping timeout: 268 seconds) |
| 15:30:43 | → | kenran joins (~kenran@mue-88-130-62-145.dsl.tropolys.de) |
| 15:31:19 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 15:34:25 | <[exa]> | whoa whoa, hackagebot is back! |
| 15:35:00 | → | bergey` joins (~user@pool-74-108-99-127.nycmny.fios.verizon.net) |
| 15:35:48 | <slack1256> | Nice, then I will restart releasing packages. I only did it for the hackagebot. |
| 15:37:07 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 265 seconds) |
| 15:38:27 | × | malumore quits (~malumore@151.62.115.237) (Ping timeout: 246 seconds) |
| 15:40:32 | → | waleee-cl joins (uid373333@gateway/web/irccloud.com/x-ajfxjvyfxwkenmku) |
| 15:41:12 | → | dfeuer joins (~dfeuer@pool-173-79-253-62.washdc.fios.verizon.net) |
| 15:43:24 | → | idhugo joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 15:44:46 | → | malumore joins (~malumore@151.62.115.237) |
| 15:45:34 | <[exa]> | \o/ |
| 15:45:40 | → | mikoto-chan joins (~anass@gateway/tor-sasl/mikoto-chan) |
| 15:47:42 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 15:49:56 | → | stree joins (~stree@68.36.8.116) |
| 15:50:05 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 15:50:28 | × | jrqc quits (~rofl@96.78.87.197) (Ping timeout: 245 seconds) |
| 15:54:04 | → | jrqc joins (~rofl@96.78.87.197) |
| 15:56:10 | <kuribas> | Uniaika: this one hangs: parseXMLByteString (maybeP "foo" (\t -> tag t skipAttrs $ const skipTags)) (ParseOptions Nothing Nothing) "<foo></foo>" |
| 15:56:22 | → | DavidEichmann joins (~david@234.109.45.217.dyn.plus.net) |
| 15:56:28 | × | raym quits (~ray@45.64.220.113) (Quit: leaving) |
| 15:56:46 | <kuribas> | Uniaika: better: parseXMLByteString (tag "foo" skipAttrs $ const skipTags) (ParseOptions Nothing Nothing) "<foo></foo>" |
| 15:57:26 | <Uniaika> | kuribas: wanna do a video call to try and debug that together? |
| 15:57:53 | <kuribas> | sure :) |
| 15:57:56 | <Uniaika> | ok 2 sec |
| 16:00:14 | <fendor> | does tasty have some kind of "before" combinator to execute some io action before the TestTree is run? |
| 16:01:27 | → | CrazyPython joins (~crazypyth@98.122.164.118) |
| 16:03:07 | → | Wuzzy joins (~Wuzzy@p57a2ecf2.dip0.t-ipconnect.de) |
| 16:04:30 | × | bergey` quits (~user@pool-74-108-99-127.nycmny.fios.verizon.net) (Ping timeout: 256 seconds) |
| 16:05:11 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 16:05:13 | → | drdee joins (~drdee@93-33-1-171.ip42.fastwebnet.it) |
| 16:08:59 | → | Rudd0 joins (~Rudd0@185.189.115.103) |
| 16:14:01 | <mikoto-chan> | Where do I report dead links on the Haskell wiki? |
| 16:14:08 | <Uniaika> | mikoto-chan: me |
| 16:14:16 | <Uniaika> | mikoto-chan: but we probably already know about them |
| 16:14:41 | <mikoto-chan> | Uniaika: https://wiki.haskell.org/Peano_numbers |
| 16:14:47 | <mikoto-chan> | > See an example implementation. |
| 16:14:50 | <lambdabot> | <hint>:1:31: error: |
| 16:14:50 | <lambdabot> | <hint>:1:31: error: |
| 16:14:50 | <lambdabot> | parse error (possibly incorrect indentation or mismatched brackets) |
| 16:15:27 | <tomsmeding> | nested parse error? |
| 16:15:57 | <mikoto-chan> | No I accidentally used > to specify what hyperlink was broken |
| 16:16:06 | <mikoto-chan> | I didn't know it spawned a ghci session |
| 16:16:26 | <mikoto-chan> | > succ 31 |
| 16:16:28 | <lambdabot> | 32 |
| 16:16:35 | <geekosaur> | tomsmeding, search functionality on ircbrowse seems to be broken |
| 16:17:09 | <tomsmeding> | mikoto-chan: https://web.archive.org/web/20170429173131/http://code.haskell.org/~thielema/htam/src/Number/PeanoNumber.hs |
| 16:17:13 | <tomsmeding> | geekosaur: interesting |
| 16:17:41 | tomsmeding | didn't even know of search functionality |
| 16:17:42 | <geekosaur> | at least in #xmonad, it's ignoring the ?q= string |
| 16:17:57 | <mikoto-chan> | tomsmeding: it was just the source code? oops |
| 16:17:58 | → | conal joins (~conal@192.145.118.107) |
| 16:18:12 | <tomsmeding> | geekosaur: did that ever work? |
| 16:18:25 | <geekosaur> | I think it used to |
| 16:18:42 | × | Tene quits (~tene@poipu/supporter/slacker/tene) (Ping timeout: 246 seconds) |
| 16:19:02 | <geekosaur> | see for example https://ircbrowse.tomsmeding.com/nick/geekosaur which you can reach form the Nicks tab, then "Search logs for this nick" line |
| 16:19:03 | × | CoconutCrab quits (~Cua@unaffiliated/coconutcrab) (Ping timeout: 246 seconds) |
| 16:19:06 | <tomsmeding> | can you give an example url that you think should (have) work(ed)? |
| 16:19:11 | <tomsmeding> | ah |
| 16:19:13 | × | ByronJohnson quits (~bairyn@unaffiliated/bob0) (Ping timeout: 245 seconds) |
| 16:19:27 | <geekosaur> | which produces https://ircbrowse.tomsmeding.com/browse/xmonad?q=geekosaur |
| 16:19:38 | tomsmeding | opens source code |
| 16:20:38 | × | cpape``` quits (~user@static.180.18.203.116.clients.your-server.de) (Quit: ERC (IRC client for Emacs 26.3)) |
| 16:20:55 | → | cpape joins (~user@static.180.18.203.116.clients.your-server.de) |
| 16:23:53 | <tomsmeding> | geekosaur: heh see the _q https://github.com/tomsmeding/ircbrowse/blob/master/src/Ircbrowse/Model/Events.hs#L16 |
| 16:24:26 | <geekosaur> | ah |
| 16:24:27 | <tomsmeding> | right, it apparently used an external tool at some pont, but that was intentionally disabled in this code |
| 16:25:47 | <tomsmeding> | somewhat related: loading a nick page is really slow in ircbrowse because it does like 5 full-table-scans on the events table |
| 16:25:57 | <tomsmeding> | i.e. linear in the total amount of history |
| 16:26:26 | <tomsmeding> | search that is linear in history size would be trivial to implement, not sure I want to figure out how to set up sphinx |
| 16:27:11 | → | ADG1089__ joins (~aditya@106.212.74.137) |
| 16:27:31 | <tomsmeding> | also I have issues with ircbrowse being built on inefficient cron jobs :p |
| 16:31:40 | × | ixlun quits (~user@213.205.241.14) (Remote host closed the connection) |
| 16:31:51 | → | frozenErebus joins (~frozenEre@94.128.82.20) |
| 16:34:05 | × | drdee quits (~drdee@93-33-1-171.ip42.fastwebnet.it) (Quit: Leaving) |
| 16:35:05 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:408f:2dd3:6494:affd) |
| 16:36:05 | → | ByronJohnson joins (~bairyn@unaffiliated/bob0) |
| 16:36:38 | × | son0p quits (~son0p@181.136.122.143) (Quit: leaving) |
| 16:37:41 | hackage | hlint 3.3 - Source code suggestions https://hackage.haskell.org/package/hlint-3.3 (NeilMitchell) |
| 16:40:14 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:408f:2dd3:6494:affd) (Ping timeout: 264 seconds) |
| 16:40:34 | → | Tene joins (~tene@mail.digitalkingdom.org) |
| 16:40:34 | × | Tene quits (~tene@mail.digitalkingdom.org) (Changing host) |
| 16:40:34 | → | Tene joins (~tene@poipu/supporter/slacker/tene) |
| 16:42:26 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 16:43:53 | → | luke joins (~luke@bitnomial/staff/luke) |
| 16:45:19 | <Uniaika> | mikoto-chan: lovely, thanks <3 |
| 16:47:30 | → | MudNA joins (6c1cfc0d@pool-108-28-252-13.washdc.fios.verizon.net) |
| 16:49:18 | → | hiptobecubic joins (~john@unaffiliated/hiptobecubic) |
| 16:52:35 | → | jayok joins (~jayok@cpc147358-belf12-2-0-cust581.2-1.cable.virginm.net) |
| 16:53:57 | <Gurkenglas> | uh oh haskell terms dont need brackets so long as every function is monomorphic this is not gonna bode well for my whiteboard math |
| 16:54:55 | <Gurkenglas> | (and so long as every function is in prefix notation) |
| 16:55:45 | × | forgottenone quits (~forgotten@176.42.24.172) (Ping timeout: 264 seconds) |
| 16:56:08 | <tomsmeding> | Gurkenglas: what does polymorphism have to do with parentheses? |
| 16:56:31 | <tomsmeding> | are you perhaps talking about using ($) with functions that have higher-rank types (as in RankNTypes)? |
| 16:57:27 | <tomsmeding> | because that's because type inference is not strong enough for that; I believe GHC 9.2 (correct me if I'm wrong) will get Quick Look, which should make type inference stronger in that regard |
| 16:58:53 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 16:59:11 | hackage | swiss-ephemeris 1.2.1.1 - Haskell bindings for the Swiss Ephemeris C library https://hackage.haskell.org/package/swiss-ephemeris-1.2.1.1 (lfborjas) |
| 16:59:13 | <Gurkenglas> | tomsmeding, im saying that if "o :: (Int -> Int) -> Int" and "f :: Int -> Int" you can infer the brackets into "fof" |
| 17:00:26 | <tomsmeding> | Gurkenglas: inspired by Husk? https://github.com/barbuz/Husk/wiki/Syntax#expressions |
| 17:00:33 | × | CrazyPython quits (~crazypyth@98.122.164.118) (Read error: Connection reset by peer) |
| 17:01:45 | <Gurkenglas> | no just lazy with pen and paper and seeing how many brackets i can get away with leaving out of my proofs and noticing uh oh its all of them not sure whether this will make it harder to retrace later |
| 17:02:14 | <tomsmeding> | Gurkenglas: I very strongly recommend not leaving out parentheses when reasoning about code :p |
| 17:02:42 | <tomsmeding> | it's guaranteed to give you trouble sooner or later |
| 17:02:50 | <tomsmeding> | as you've found out :p |
| 17:03:57 | → | ezrakilty joins (~ezrakilty@97-113-58-224.tukw.qwest.net) |
| 17:04:03 | <tomsmeding> | Gurkenglas: I mean, look at lisp |
| 17:07:24 | → | Sornaensis joins (~Sornaensi@077213203030.dynamic.telenor.dk) |
| 17:07:33 | × | Sornaensis quits (~Sornaensi@077213203030.dynamic.telenor.dk) (Client Quit) |
| 17:07:48 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:80e8:9909:c137:d367) |
| 17:08:46 | → | rdivyanshu joins (uid322626@gateway/web/irccloud.com/x-hybevmfrefszbchw) |
| 17:09:28 | → | Sornaensis joins (~Sornaensi@077213203030.dynamic.telenor.dk) |
| 17:12:16 | × | conal quits (~conal@192.145.118.107) (Quit: Computer has gone to sleep.) |
| 17:12:38 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:80e8:9909:c137:d367) (Ping timeout: 264 seconds) |
| 17:13:03 | → | conal joins (~conal@192.145.118.107) |
| 17:13:45 | × | hiptobecubic quits (~john@unaffiliated/hiptobecubic) (Quit: WeeChat 3.0) |
| 17:13:55 | × | conal quits (~conal@192.145.118.107) (Client Quit) |
| 17:14:37 | × | mikoto-chan quits (~anass@gateway/tor-sasl/mikoto-chan) (Ping timeout: 268 seconds) |
| 17:16:29 | → | mikoto-chan joins (~anass@gateway/tor-sasl/mikoto-chan) |
| 17:16:41 | → | rayyyy joins (~nanoz@gateway/tor-sasl/nanoz) |
| 17:17:02 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
| 17:18:46 | → | entel joins (uid256215@botters/entel) |
| 17:20:26 | × | rdd` quits (~rdd@c-2983e555.012-81-73746f39.cust.ownit.se) (Ping timeout: 256 seconds) |
| 17:23:32 | → | Lycurgus joins (~niemand@98.4.115.230) |
| 17:24:30 | × | rajivr quits (uid269651@gateway/web/irccloud.com/x-ucvijfuheygbyqkt) (Quit: Connection closed for inactivity) |
| 17:26:54 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 17:27:42 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 17:28:06 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 17:28:29 | → | conal joins (~conal@64.71.133.70) |
| 17:29:00 | <Gurkenglas> | hmm. ⊥,fg⊥,ffgg⊥,fffggg⊥,ffffgggg⊥,... doesnt converge to fffff... . Concerning... |
| 17:29:56 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 17:31:14 | × | berberman_ quits (~berberman@unaffiliated/berberman) (Ping timeout: 264 seconds) |
| 17:32:09 | × | Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Quit: Quit) |
| 17:33:28 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 17:33:33 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 17:34:36 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 17:36:32 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:408f:2dd3:6494:affd) |
| 17:38:26 | ← | jakalx parts (~jakalx@base.jakalx.net) ("Error from remote client") |
| 17:39:06 | <hpc> | sure it does |
| 17:39:18 | <hpc> | consider f = (1:), g = (2:) |
| 17:39:33 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 17:41:26 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:408f:2dd3:6494:affd) (Ping timeout: 264 seconds) |
| 17:41:41 | hackage | timezone-detect 0.3.0.1 - Haskell bindings for the zone-detect C library; plus tz-aware utils. https://hackage.haskell.org/package/timezone-detect-0.3.0.1 (lfborjas) |
| 17:42:25 | × | ADG1089__ quits (~aditya@106.212.74.137) (Quit: Konversation terminated!) |
| 17:42:36 | <Gurkenglas> | hpc, sure or f=g=⊥. doesnt hold for all f though. consider f (x,y) = (x,1:y); g (x,y) = (2:x,y) |
| 17:42:39 | → | _noblegas joins (uid91066@gateway/web/irccloud.com/x-ehyqidvclvsvmwql) |
| 17:42:42 | <Gurkenglas> | *for all f,g |
| 17:45:08 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 17:48:13 | <monochrom> | Are you sure you care about fffggg? Or should it be fgfgfg? |
| 17:48:15 | <hpc> | that converges on bottom in both cases |
| 17:48:23 | <hpc> | f is strict |
| 17:48:41 | → | elliott__ joins (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 17:48:57 | → | elusive joins (~Jeanne-Ka@static-198-54-134-107.cust.tzulo.com) |
| 17:49:13 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 17:50:19 | <tomsmeding> | Gurkenglas: try 'f p = (fst p, 1 : snd p)' and 'g p = (2 : fst p, snd p)', or if you like lazy pattern matches, 'f ~(x,y) = (x,1:y)' and 'g ~(x,y) = (2:x,y)' |
| 17:50:26 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 17:51:07 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 17:55:53 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 17:57:41 | <Guest72818> | tomsmeding: What does the ~ mean in `f ~(x,y) = ...` Is it the opposite of `f !(x,y) = ...` with BangPatterns? |
| 17:57:58 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 245 seconds) |
| 17:58:26 | Guest72818 | is now known as swarmcollective |
| 17:58:48 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:408f:2dd3:6494:affd) |
| 17:59:24 | <geekosaur> | yes, it forces a lazy match |
| 17:59:32 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 256 seconds) |
| 17:59:34 | <geekosaur> | patterns are normally strict |
| 17:59:44 | <tomsmeding> | Search for "lazy pattern match" |
| 18:00:03 | <geekosaur> | or "irrefutable pattern match" as the Report calls it |
| 18:00:19 | <tomsmeding> | Ah thanks |
| 18:00:25 | × | Lycurgus quits (~niemand@98.4.115.230) (Quit: Exeunt) |
| 18:00:33 | <tomsmeding> | Perhaps the haskell wiki page should have a mention of that name |
| 18:00:42 | <geekosaur> | although that also covers things like _ and x |
| 18:00:56 | <swarmcollective> | geekosaur: tomsmeding: Thank you! Are they a "suggestion" or a "mandate"? `they` referring to both ~ and ~ |
| 18:01:13 | <swarmcollective> | ~ and ! (typing is hard) :D |
| 18:01:20 | <tomsmeding> | Mandate |
| 18:01:37 | <swarmcollective> | Interesting! |
| 18:01:55 | <tomsmeding> | `let f ~(x,y) = 1 in f undefined` shall not crash |
| 18:01:57 | × | idhugo quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 246 seconds) |
| 18:01:59 | <geekosaur> | the Report section that describes ~ shows a situation where ~ is necessary |
| 18:02:15 | <geekosaur> | and that doesn't involve undefined |
| 18:02:39 | → | geowiesnot_bis joins (~user@87-89-181-157.abo.bbox.fr) |
| 18:02:58 | × | jonathanx quits (~jonathan@h-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 18:03:21 | → | jonathanx joins (~jonathan@h-176-109.A357.priv.bahnhof.se) |
| 18:05:30 | × | luke quits (~luke@bitnomial/staff/luke) (Quit: sleep) |
| 18:06:19 | <monochrom> | _ and x are irrefusible patterns >:) |
| 18:06:34 | <monochrom> | "a pattern that you cannot refuse to match" |
| 18:06:42 | <koz_> | monochrom: Godfather patterns. |
| 18:08:17 | → | mirrorbird joins (dwsjeid911@gateway/vpn/mullvad/dwsjeid911) |
| 18:08:54 | → | sparsity joins (5ce955fb@gateway/web/cgi-irc/kiwiirc.com/ip.92.233.85.251) |
| 18:09:06 | → | aenesidemus joins (~aenesidem@c-73-53-247-25.hsd1.fl.comcast.net) |
| 18:10:23 | → | stree joins (~stree@68.36.8.116) |
| 18:10:35 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 18:13:54 | × | dyeplexer quits (~lol@unaffiliated/terpin) (Remote host closed the connection) |
| 18:17:00 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 18:18:43 | <tomsmeding> | monochrom: you can if writing the thing itself is a type error, e.g. 'f :: Int ; f _ = 1' |
| 18:19:03 | <tomsmeding> | And if thay doesn't count, then ~(x,y) is also an irrefusible pattern :) |
| 18:19:08 | <tomsmeding> | *that |
| 18:20:24 | → | __minoru__shirae joins (~shiraeesh@46.34.207.217) |
| 18:21:14 | × | minoru_shiraeesh quits (~shiraeesh@109.166.56.65) (Ping timeout: 260 seconds) |
| 18:21:30 | × | kuribas quits (~user@ptr-25vy0i7ct6alt7330p7.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 18:21:37 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 18:21:57 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 18:24:36 | × | frozenErebus quits (~frozenEre@94.128.82.20) (Quit: leaving) |
| 18:25:02 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 18:25:48 | → | luke joins (~luke@bitnomial/staff/luke) |
| 18:26:13 | → | remal joins (~remal@d24-57-234-201.home.cgocable.net) |
| 18:26:43 | <remal> | [haskell language server question] is there a fallback hie.yaml when none exists? |
| 18:26:44 | × | aenesidemus quits (~aenesidem@c-73-53-247-25.hsd1.fl.comcast.net) (Quit: Leaving) |
| 18:26:44 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 256 seconds) |
| 18:27:33 | <koz_> | Isn't there an HLS-related channel? |
| 18:29:38 | ← | jakalx parts (~jakalx@base.jakalx.net) ("Error from remote client") |
| 18:30:46 | → | idhugo joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 18:31:07 | <maerwald> | remal: I think so, but it rarely works. There's also cabal-hie now |
| 18:31:41 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 18:31:46 | <maerwald> | remal: https://github.com/phadej/cabal-extras/tree/master/cabal-hie |
| 18:32:45 | × | idhugo quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Remote host closed the connection) |
| 18:33:03 | → | idhugo joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 18:33:09 | <remal> | maerwald: is this because of the hie-bios being unreliable? |
| 18:33:22 | <remal> | or is that an unrelated issue? |
| 18:33:38 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 18:33:38 | <maerwald> | not sure which component it is |
| 18:33:41 | <remal> | koz_: no, I don't think there is |
| 18:33:54 | <maerwald> | remal: #haskell-language-server |
| 18:34:04 | <remal> | maerwald: oh, thanks! |
| 18:36:12 | hackage | utility-ht 0.0.16 - Various small helper functions for Lists, Maybes, Tuples, Functions https://hackage.haskell.org/package/utility-ht-0.0.16 (HenningThielemann) |
| 18:36:29 | ← | remal parts (~remal@d24-57-234-201.home.cgocable.net) () |
| 18:36:35 | → | remal joins (~remal@d24-57-234-201.home.cgocable.net) |
| 18:37:41 | hackage | hexpat-streamparser 0.1.0 - https://hackage.haskell.org/package/hexpat-streamparser-0.1.0 (KristofBastiaensen) |
| 18:37:51 | → | nfd joins (~nfd9001@2601:602:77f:1820:cc46:50b4:72bc:69a0) |
| 18:37:54 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:408f:2dd3:6494:affd) (Remote host closed the connection) |
| 18:38:38 | <Uniaika> | hehehe, I spent a couple of hours with kuribas, and *paf* he releases his lib! |
| 18:38:39 | × | idhugo quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Remote host closed the connection) |
| 18:38:39 | <Uniaika> | :D |
| 18:38:47 | <koz_> | Productive. |
| 18:38:59 | <Uniaika> | that is *not* my middle name :D |
| 18:39:16 | → | idhugo joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 18:39:38 | <koz_> | Nor mine. |
| 18:40:34 | → | dnlkrgr joins (~dnlkrgr@HSI-KBW-046-005-005-120.hsi8.kabel-badenwuerttemberg.de) |
| 18:42:33 | × | jayok quits (~jayok@cpc147358-belf12-2-0-cust581.2-1.cable.virginm.net) (Ping timeout: 246 seconds) |
| 18:44:53 | × | idhugo quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 260 seconds) |
| 18:45:00 | → | conal joins (~conal@64.71.133.70) |
| 18:46:15 | → | idhugo joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 18:46:28 | × | jonathanx quits (~jonathan@h-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 18:46:51 | → | jonathanx joins (~jonathan@h-176-109.A357.priv.bahnhof.se) |
| 18:48:41 | → | rickygee joins (~rickygee@236-53-74-65.gci.net) |
| 18:50:27 | × | geowiesnot_bis quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 265 seconds) |
| 18:51:30 | × | idhugo quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Remote host closed the connection) |
| 18:52:07 | → | idhugo joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 18:52:14 | × | dexterlb_ quits (~dexterlb@2a01:9e40:2:2::2) (Quit: Boing) |
| 18:58:45 | × | idhugo quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 264 seconds) |
| 19:00:14 | × | Foritus quits (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Quit: ლ(ಠ益ಠლ) .:. <Ashley> my porn is hidden in a folder called "BBC Micro Emulator") |
| 19:00:25 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Read error: Connection reset by peer) |
| 19:00:41 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 19:01:06 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 19:01:16 | → | Foritus joins (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) |
| 19:02:14 | <Gurkenglas> | irrefutable pattern matches let me write "map all above x to itself, everything else to x" for every particular x i have available at time of writing the code. is there a function a -> a -> a which does this? i could write it for Generic a... |
| 19:03:33 | → | berberman_ joins (~berberman@unaffiliated/berberman) |
| 19:04:03 | × | jonathanx quits (~jonathan@h-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 19:04:19 | <Gurkenglas> | oh uh "above" = "more defined than" |
| 19:04:34 | <Gurkenglas> | gurk x y = if x less defined than y then y else x |
| 19:04:50 | × | berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 264 seconds) |
| 19:05:06 | → | jonathanx joins (~jonathan@h-176-109.A357.priv.bahnhof.se) |
| 19:05:26 | <Gurkenglas> | ah, gurk x y = (x `glb` y) `lub` y |
| 19:05:35 | → | dexterlb joins (~dexterlb@2a01:9e40:2:2::2) |
| 19:07:01 | <Gurkenglas> | (though lub still sorta depends on Generic so if you have another way, out with it) |
| 19:07:16 | <Gurkenglas> | this is useful because fix (f . gurk x) gives the least fixpoint of f above x. |
| 19:09:42 | <Gurkenglas> | > let p = (fst p, 1:snd p) in p -- tomsmeding, this is ffffff... |
| 19:09:44 | <lambdabot> | (*Exception: <<loop>> |
| 19:09:49 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 19:10:59 | <Gurkenglas> | let f p = (fst p, 1 : snd p); g p = (2 : fst p, snd p) in f(f(g(g(undefined)))) -- this is ffgg⊥. As you see, it is not less defined than ffffff... |
| 19:11:11 | <Gurkenglas> | > let f p = (fst p, 1 : snd p); g p = (2 : fst p, snd p) in f(f(g(g(undefined)))) |
| 19:11:13 | <lambdabot> | ([2,2*Exception: Prelude.undefined |
| 19:12:17 | × | Foritus quits (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Quit: ლ(ಠ益ಠლ) .:. <Ashley> my porn is hidden in a folder called "BBC Micro Emulator") |
| 19:12:38 | → | benkolera joins (uid285671@gateway/web/irccloud.com/x-dasgfjgzoqobrquc) |
| 19:13:07 | → | Foritus joins (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) |
| 19:15:28 | × | conal quits (~conal@64.71.133.70) (Ping timeout: 245 seconds) |
| 19:16:21 | × | Foritus quits (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Client Quit) |
| 19:17:02 | → | Guest82 joins (97c9916a@gateway/web/cgi-irc/kiwiirc.com/ip.151.201.145.106) |
| 19:17:10 | × | slack1256 quits (~slack1256@dvc-186-186-101-190.movil.vtr.net) (Ping timeout: 256 seconds) |
| 19:17:18 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 19:17:37 | → | Foritus joins (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) |
| 19:18:21 | × | rdivyanshu quits (uid322626@gateway/web/irccloud.com/x-hybevmfrefszbchw) (Quit: Connection closed for inactivity) |
| 19:18:29 | <Gurkenglas> | actually my gurk implementation is wrong |
| 19:19:26 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 19:19:47 | → | migossam joins (~Android@45.132.115.133) |
| 19:19:49 | × | migossam quits (~Android@45.132.115.133) (Excess Flood) |
| 19:19:52 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:408f:2dd3:6494:affd) |
| 19:21:35 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 19:21:47 | → | Tario joins (~Tario@201.192.165.173) |
| 19:23:20 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 19:24:13 | <Gurkenglas> | oh, i see - gurk is impossible to implement, as it is not monotonic - i merely have that gurk x is monotonic for every x :D |
| 19:25:13 | <Gurkenglas> | (after all, how would it know that gurk ⊥ () is (), if ⊥ simply loops forever?) |
| 19:26:52 | <Gurkenglas> | (bad example, everything is less defined than (). same goes for gurk ⊥ True, though.) |
| 19:27:21 | × | amiri quits (~amiri@cpe-76-91-154-9.socal.res.rr.com) (Remote host closed the connection) |
| 19:27:28 | × | Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Quit: WeeChat 1.9.1) |
| 19:28:34 | <tomsmeding> | > let p = (fst p, 1:snd p) in snd p -- Gurkenglas |
| 19:28:36 | <lambdabot> | [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1... |
| 19:29:26 | <tomsmeding> | Not completely sure what you're trying to do, but maybe that helps? Fst p doesn't converge, but snd p does progress |
| 19:29:27 | → | amiri joins (~amiri@cpe-76-91-154-9.socal.res.rr.com) |
| 19:29:30 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 19:31:59 | <Gurkenglas> | tomsmeding, ffgg⊥ is (2:2:⊥,1:1:⊥), ffffff... is (⊥,1:1:1:1:1:1:...). ⊥,(2:⊥,1:⊥),(2:2:⊥,1:1:⊥)(2:2:2:⊥,1:1:1:⊥),... does not converge to (⊥,1:1:1:1:1:1:...) |
| 19:32:02 | → | carlomagno joins (~cararell@148.87.23.6) |
| 19:33:21 | × | Guest82 quits (97c9916a@gateway/web/cgi-irc/kiwiirc.com/ip.151.201.145.106) (Quit: Connection closed) |
| 19:33:45 | <hpc> | ffffff...gggggg... is fffff... though |
| 19:34:31 | <Gurkenglas> | hpc, and yet the values of the terms are not the same |
| 19:35:22 | <Gurkenglas> | which is concerning, as i thought as you did |
| 19:35:49 | <hpc> | sure they are, fffff...gggggg... converges to (⊥,1:1:1:1:1:1:...) because it can never reach the gs |
| 19:36:00 | <hpc> | fgfg... is different |
| 19:36:13 | × | Sornaensis quits (~Sornaensi@077213203030.dynamic.telenor.dk) (Ping timeout: 260 seconds) |
| 19:36:22 | <hpc> | things get weird at the limit |
| 19:37:58 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 245 seconds) |
| 19:37:59 | <Gurkenglas> | ah, I meant "and yet, the value that the sequence converges to is not the same as the value of the infinitary term" |
| 19:39:32 | × | rayyyy quits (~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 268 seconds) |
| 19:39:47 | <monochrom> | I don't know what "fff...ggg..." means. |
| 19:39:59 | <Gurkenglas> | i had hoped that, in general, the mapping from terms to values would be continuous. now that i think about it in those terms, there's a simpler counterexample: id^n(True) |
| 19:40:04 | × | sparsity quits (5ce955fb@gateway/web/cgi-irc/kiwiirc.com/ip.92.233.85.251) (Quit: Connection closed) |
| 19:40:25 | <Gurkenglas> | monochrom, "f(f(f(...g(g(g(...", which is just "f(f(f(..." of course |
| 19:40:28 | <monochrom> | There was once a 0.999...=1 denier I saw on the Internet |
| 19:40:54 | <hpc> | ppsh, everyone knows 0.999...=-1/12 |
| 19:40:55 | <monochrom> | Their denial reason was "0.999... = 0.999...9 it ends with 9". |
| 19:41:08 | <monochrom> | That's the same flaw as "fff...ggg..." |
| 19:41:26 | <Gurkenglas> | (or rather, one can define infinitary terms but once you map it to values everything from omega onwards is cut off) |
| 19:42:13 | <tomsmeding> | iterate (. f) f . iterate (. g) g |
| 19:42:51 | <tomsmeding> | Ah that makes no sense |
| 19:43:02 | <Gurkenglas> | fix (f.) . fix (g.) |
| 19:43:02 | <hpc> | hmm |
| 19:43:17 | <tomsmeding> | :t \f g -> fix f . fix g |
| 19:43:19 | <lambdabot> | ((b -> c) -> b -> c) -> ((a -> b) -> a -> b) -> a -> c |
| 19:43:20 | × | Franciman quits (~francesco@host-82-49-79-189.retail.telecomitalia.it) (Quit: Leaving) |
| 19:43:33 | <hpc> | fix (f .) . fix (g .) /= fix ((f .) . (g .)) |
| 19:43:41 | <Gurkenglas> | :t \f g -> fix (f.) . fix (g.) |
| 19:43:42 | <lambdabot> | (c -> c) -> (a1 -> a1) -> a2 -> c |
| 19:43:59 | <hpc> | so i guess the compact way to phrase it is "function composition and fixed points don't distribute" |
| 19:43:59 | <tomsmeding> | Lol that inferred type |
| 19:44:18 | <Gurkenglas> | hpc, "denotation isn't continuous" |
| 19:44:37 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:40c1:4e90:a63c:4a65) |
| 19:45:20 | <monochrom> | https://mail.haskell.org/pipermail/haskell-cafe/2011-January/088315.html |
| 19:45:25 | <monochrom> | "detonational semantics" |
| 19:45:32 | <Gurkenglas> | tomsmeding, it's saying that the types don't need to agree because the plumbing never actually connects :) |
| 19:46:00 | × | remal quits (~remal@d24-57-234-201.home.cgocable.net) (Read error: Connection reset by peer) |
| 19:46:05 | → | egwor joins (520bc907@cpc110777-lewi20-2-0-cust262.2-4.cable.virginm.net) |
| 19:46:35 | → | Sgeo joins (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 19:48:50 | <monochrom> | and "zen semantics", that one is a great ending. |
| 19:49:14 | × | nfd quits (~nfd9001@2601:602:77f:1820:cc46:50b4:72bc:69a0) (Ping timeout: 264 seconds) |
| 19:49:42 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:408f:2dd3:6494:affd) (Remote host closed the connection) |
| 19:53:23 | × | Guest32906 quits (~textual@zrcout.mskcc.org) (Ping timeout: 256 seconds) |
| 19:54:22 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:40c1:4e90:a63c:4a65) (Remote host closed the connection) |
| 19:54:31 | × | arrowsvc_ quits (~arr@2.93.163.35) (Ping timeout: 256 seconds) |
| 19:56:41 | → | hexfive joins (~hexfive@50.35.83.177) |
| 19:58:39 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 19:58:41 | → | ADG1089__ joins (~aditya@106.212.74.137) |
| 19:58:56 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) |
| 20:00:12 | → | kiweun joins (~kiweun@cpe98524a8cef7c-cm98524a8cef7a.cpe.net.cable.rogers.com) |
| 20:01:07 | × | mikoto-chan quits (~anass@gateway/tor-sasl/mikoto-chan) (Ping timeout: 268 seconds) |
| 20:01:32 | × | Athas quits (athas@sigkill.dk) (Read error: Connection reset by peer) |
| 20:01:33 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:408f:2dd3:6494:affd) |
| 20:02:06 | → | jneira joins (501e6406@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.100.6) |
| 20:02:21 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 20:03:00 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 20:03:38 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 20:04:02 | → | joebobjoe joins (~joebobjoe@unaffiliated/joebobjoe) |
| 20:04:28 | → | Alleria joins (~textual@2603-7000-3040-0000-e957-83a9-14ba-56cc.res6.spectrum.com) |
| 20:04:52 | Alleria | is now known as Guest14001 |
| 20:05:23 | × | petersen quits (~petersen@redhat/juhp) (Ping timeout: 260 seconds) |
| 20:06:56 | → | v75-AsSeNtE joins (~Raul@host-87-18-109-234.retail.telecomitalia.it) |
| 20:06:58 | → | irc_user joins (uid423822@gateway/web/irccloud.com/x-nlsxajxsercntvta) |
| 20:07:09 | <v75-AsSeNtE> | hello |
| 20:07:12 | <v75-AsSeNtE> | !request |
| 20:07:37 | → | petersen joins (~petersen@redhat/juhp) |
| 20:08:04 | <v75-AsSeNtE> | shell free ? |
| 20:08:06 | <v75-AsSeNtE> | help me |
| 20:08:17 | <v75-AsSeNtE> | sin |
| 20:08:19 | <v75-AsSeNtE> | Sigyn |
| 20:09:13 | × | luke quits (~luke@bitnomial/staff/luke) (Quit: sleep) |
| 20:09:43 | × | dain quits (~dain@mobile-166-170-34-1.mycingular.net) (Remote host closed the connection) |
| 20:14:57 | × | bobiusbillius quits (~bobiusbil@92.40.175.51.threembb.co.uk) (Ping timeout: 264 seconds) |
| 20:15:41 | × | ezrakilty quits (~ezrakilty@97-113-58-224.tukw.qwest.net) (Remote host closed the connection) |
| 20:16:28 | × | geekosaur quits (ae68c070@cpe-174-104-192-112.neo.res.rr.com) (Quit: Connection closed) |
| 20:18:22 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 20:19:01 | → | geekosaur joins (ae68c070@cpe-174-104-192-112.neo.res.rr.com) |
| 20:20:26 | × | ADG1089__ quits (~aditya@106.212.74.137) (Remote host closed the connection) |
| 20:20:51 | × | geekosaur quits (ae68c070@cpe-174-104-192-112.neo.res.rr.com) (Client Quit) |
| 20:20:55 | → | DataComputist joins (~lumeng@50.43.26.251) |
| 20:22:41 | → | Athas joins (athas@sigkill.dk) |
| 20:23:55 | × | MudNA quits (6c1cfc0d@pool-108-28-252-13.washdc.fios.verizon.net) (Quit: Connection closed) |
| 20:24:42 | × | kiweun quits (~kiweun@cpe98524a8cef7c-cm98524a8cef7a.cpe.net.cable.rogers.com) (Ping timeout: 265 seconds) |
| 20:29:46 | × | shailangsa quits (~shailangs@host86-162-150-241.range86-162.btcentralplus.com) () |
| 20:31:09 | → | stree joins (~stree@68.36.8.116) |
| 20:31:29 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:408f:2dd3:6494:affd) (Remote host closed the connection) |
| 20:34:44 | × | v75-AsSeNtE quits (~Raul@host-87-18-109-234.retail.telecomitalia.it) (Quit: over35 la mia scelta! http://chatover35.altervista.org/) |
| 20:34:46 | → | ezrakilty joins (~ezrakilty@97-113-58-224.tukw.qwest.net) |
| 20:40:51 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 246 seconds) |
| 20:41:07 | × | nek0 quits (~nek0@mail.nek0.eu) (Remote host closed the connection) |
| 20:45:11 | hackage | non-empty 0.3.3 - List-like structures with static restrictions on the number of elements https://hackage.haskell.org/package/non-empty-0.3.3 (HenningThielemann) |
| 20:45:52 | → | matryoshka joins (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) |
| 20:46:13 | × | fendor quits (~fendor@178.165.131.241.wireless.dyn.drei.com) (Remote host closed the connection) |
| 20:47:54 | → | nek0 joins (~nek0@mail.nek0.eu) |
| 20:49:09 | × | joebobjoe quits (~joebobjoe@unaffiliated/joebobjoe) (Ping timeout: 264 seconds) |
| 20:50:23 | → | joebobjoe joins (~joebobjoe@unaffiliated/joebobjoe) |
| 20:50:57 | × | _noblegas quits (uid91066@gateway/web/irccloud.com/x-ehyqidvclvsvmwql) (Quit: Connection closed for inactivity) |
| 20:51:11 | hackage | doctest-extract 0.1 - Alternative doctest implementation that extracts comments to modules https://hackage.haskell.org/package/doctest-extract-0.1 (HenningThielemann) |
| 20:51:42 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 20:52:53 | → | remby joins (~remby@bras-base-london1483w-grc-21-76-67-124-27.dsl.bell.ca) |
| 20:52:56 | → | remal joins (~remal@d24-57-234-201.home.cgocable.net) |
| 20:53:18 | → | aarvar joins (~foewfoiew@2601:602:a080:fa0:6cfb:c91f:3c9a:a8cb) |
| 20:56:54 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
| 20:57:37 | × | remby quits (~remby@bras-base-london1483w-grc-21-76-67-124-27.dsl.bell.ca) (Quit: Going offline, see ya! (www.adiirc.com)) |
| 20:58:02 | × | joebobjoe quits (~joebobjoe@unaffiliated/joebobjoe) (Ping timeout: 256 seconds) |
| 20:58:03 | × | mnrmnaugh quits (~mnrmnaugh@unaffiliated/mnrmnaugh) (Ping timeout: 265 seconds) |
| 20:58:48 | → | joebobjoe joins (~joebobjoe@unaffiliated/joebobjoe) |
| 20:59:03 | × | supercoven quits (~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) (Ping timeout: 246 seconds) |
| 20:59:45 | × | Tops2 quits (~Tobias@dyndsl-095-033-025-225.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 20:59:49 | × | nek0 quits (~nek0@mail.nek0.eu) (Quit: The Lounge - https://thelounge.chat) |
| 21:00:38 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 21:00:52 | × | ajc quits (~ajc@69.231.232.79) (Quit: Leaving) |
| 21:01:04 | → | nek0 joins (~nek0@mail.nek0.eu) |
| 21:02:43 | gitgoood | is now known as gitgood |
| 21:03:15 | × | joebobjoe quits (~joebobjoe@unaffiliated/joebobjoe) (Ping timeout: 246 seconds) |
| 21:04:17 | → | mnrmnaugh joins (~mnrmnaugh@unaffiliated/mnrmnaugh) |
| 21:05:01 | → | myShoggoth joins (~myShoggot@75.164.81.55) |
| 21:05:33 | × | egwor quits (520bc907@cpc110777-lewi20-2-0-cust262.2-4.cable.virginm.net) (Quit: Connection closed) |
| 21:05:52 | → | borne joins (~fritjof@200116b864d4700065fd8eaafdc5f06e.dip.versatel-1u1.de) |
| 21:07:27 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 21:09:54 | → | pavonia joins (~user@unaffiliated/siracusa) |
| 21:11:26 | → | fendor joins (~fendor@178.165.131.241.wireless.dyn.drei.com) |
| 21:12:21 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
| 21:12:41 | hackage | tfp 1.0.2 - Type-level integers, booleans, lists using type families https://hackage.haskell.org/package/tfp-1.0.2 (HenningThielemann) |
| 21:17:22 | → | son0p joins (~son0p@181.136.122.143) |
| 21:18:27 | × | perrier-jouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.0.1) |
| 21:19:46 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 21:20:43 | × | borne quits (~fritjof@200116b864d4700065fd8eaafdc5f06e.dip.versatel-1u1.de) (Ping timeout: 272 seconds) |
| 21:21:47 | → | jayok joins (~jayok@cpc147358-belf12-2-0-cust581.2-1.cable.virginm.net) |
| 21:23:11 | hackage | lapack-ffi 0.0.3 - Auto-generated interface to Fortran LAPACK https://hackage.haskell.org/package/lapack-ffi-0.0.3 (HenningThielemann) |
| 21:25:09 | × | danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds) |
| 21:26:13 | → | codygman__ joins (~user@47.186.207.161) |
| 21:26:40 | × | codygman__ quits (~user@47.186.207.161) (Remote host closed the connection) |
| 21:30:11 | hackage | comfort-array 0.4.1 - Arrays where the index type is a function of the shape type https://hackage.haskell.org/package/comfort-array-0.4.1 (HenningThielemann) |
| 21:31:53 | × | myShoggoth quits (~myShoggot@75.164.81.55) (Ping timeout: 265 seconds) |
| 21:34:13 | → | wtw joins (~wtw@unaffiliated/wtw) |
| 21:34:18 | ← | wtw parts (~wtw@unaffiliated/wtw) () |
| 21:34:33 | → | myShoggoth joins (~myShoggot@75.164.81.55) |
| 21:34:57 | → | usr25 joins (~usr25@unaffiliated/usr25) |
| 21:37:42 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 260 seconds) |
| 21:40:52 | → | perrier-jouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 21:43:28 | × | dnlkrgr quits (~dnlkrgr@HSI-KBW-046-005-005-120.hsi8.kabel-badenwuerttemberg.de) (Quit: WeeChat 2.9) |
| 21:44:00 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 21:48:11 | hackage | numeric-prelude 0.4.3.3 - An experimental alternative hierarchy of numeric type classes https://hackage.haskell.org/package/numeric-prelude-0.4.3.3 (HenningThielemann) |
| 21:48:45 | × | remal quits (~remal@d24-57-234-201.home.cgocable.net) (Quit: leaving) |
| 21:49:13 | → | remal joins (~remal@d24-57-234-201.home.cgocable.net) |
| 21:50:26 | → | wopas32 joins (uid384704@gateway/web/irccloud.com/x-qslgkfcwyjmugmxz) |
| 21:53:06 | → | codygman__ joins (~user@47.186.207.161) |
| 21:53:53 | × | alx741 quits (~alx741@181.196.69.27) (Ping timeout: 260 seconds) |
| 21:55:50 | <koz_> | Am I reading it correctly that DList's Monad instance is the same (semantically) as that of []? |
| 21:57:54 | × | kenran quits (~kenran@mue-88-130-62-145.dsl.tropolys.de) (Remote host closed the connection) |
| 21:58:33 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 21:58:56 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) |
| 22:00:06 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 22:00:18 | × | jayok quits (~jayok@cpc147358-belf12-2-0-cust581.2-1.cable.virginm.net) (Ping timeout: 260 seconds) |
| 22:03:17 | × | codygman__ quits (~user@47.186.207.161) (Quit: ERC (IRC client for Emacs 28.0.50)) |
| 22:03:50 | → | codygman__ joins (~user@47.186.207.161) |
| 22:04:03 | × | hyiltiz quits (~quassel@unaffiliated/hyiltiz) (Quit: hyiltiz) |
| 22:05:05 | × | codygman__ quits (~user@47.186.207.161) (Remote host closed the connection) |
| 22:06:39 | → | alx741 joins (~alx741@181.196.68.64) |
| 22:07:16 | → | codygman__ joins (~user@47.186.207.161) |
| 22:09:33 | × | dhil quits (~dhil@80.208.56.181) (Ping timeout: 264 seconds) |
| 22:11:44 | × | Pickchea quits (~private@unaffiliated/pickchea) (Quit: Leaving) |
| 22:12:58 | × | myShoggoth quits (~myShoggot@75.164.81.55) (Ping timeout: 245 seconds) |
| 22:13:23 | → | myShoggoth joins (~myShoggot@75.164.81.55) |
| 22:14:51 | → | borne joins (~fritjof@200116b864d4700065fd8eaafdc5f06e.dip.versatel-1u1.de) |
| 22:15:00 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 246 seconds) |
| 22:15:21 | × | DTZUZU quits (~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 246 seconds) |
| 22:16:37 | → | DTZUZU joins (~DTZUZO@205.ip-149-56-132.net) |
| 22:17:58 | × | myShoggoth quits (~myShoggot@75.164.81.55) (Ping timeout: 245 seconds) |
| 22:18:15 | → | santiweight joins (622165e4@c-98-33-101-228.hsd1.ca.comcast.net) |
| 22:18:21 | × | bitmagie quits (~Thunderbi@200116b8062714004dd6871dfade2055.dip.versatel-1u1.de) (Quit: bitmagie) |
| 22:19:09 | <c_wraith> | koz_: why wouldn't it be? DList is semantically the same as []. |
| 22:19:22 | <koz_> | c_wraith: I thought so too, but I figured I'd ask in case I was missing something. |
| 22:19:43 | <c_wraith> | I'd expect instances like that to lose a lot of efficiency, though |
| 22:20:07 | <c_wraith> | DList is really only efficient for concatenation. The representation gets in the way for everything else |
| 22:20:22 | <koz_> | I'm mostly after its <*>, and I doubt there's any efficiency to be lost there. Unless it's magically _worse_ than n * m? |
| 22:20:55 | <c_wraith> | No, certainly not worse asymptotically. |
| 22:21:05 | <koz_> | (I asked about Monad because it's got (<*>) = ap) |
| 22:21:35 | <santiweight> | At the fear of spamming: I'm live-coding a poker libary/application in Haskell if anyone wants to join :) https://www.twitch.tv/santiweight |
| 22:22:14 | × | borne quits (~fritjof@200116b864d4700065fd8eaafdc5f06e.dip.versatel-1u1.de) (Ping timeout: 264 seconds) |
| 22:25:53 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds) |
| 22:29:11 | hackage | rescue 0.4.2 - More understandable exceptions https://hackage.haskell.org/package/rescue-0.4.2 (expede) |
| 22:29:13 | × | Benzi-Junior quits (~BenziJuni@88-149-67-143.du.xdsl.is) (Ping timeout: 245 seconds) |
| 22:29:32 | → | Sornaensis joins (~Sornaensi@077213203030.dynamic.telenor.dk) |
| 22:30:01 | → | heatsink_ joins (~heatsink@2600:1700:bef1:5e10:7c0e:3b57:dfb:2cb4) |
| 22:30:26 | × | mirrorbird quits (dwsjeid911@gateway/vpn/mullvad/dwsjeid911) (Quit: Leaving) |
| 22:32:14 | → | coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 22:32:16 | × | coot quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Remote host closed the connection) |
| 22:32:56 | → | coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 22:34:13 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 22:36:05 | × | perrier-jouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.1) |
| 22:37:01 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 22:37:36 | × | coot quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Remote host closed the connection) |
| 22:38:12 | → | coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 22:40:41 | hackage | connections 0.3.0 - Orders, Galois connections, and lattices. https://hackage.haskell.org/package/connections-0.3.0 (cmk) |
| 22:41:11 | × | __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 22:41:57 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 22:45:57 | × | coot quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 22:49:18 | × | nhs quits (~nhs@cpe-70-113-67-118.austin.res.rr.com) (Ping timeout: 246 seconds) |
| 22:54:53 | × | fendor quits (~fendor@178.165.131.241.wireless.dyn.drei.com) (Read error: Connection reset by peer) |
| 22:57:04 | → | qih joins (~pi@210-54-120-166.adsl.xtra.co.nz) |
| 22:58:10 | × | __minoru__shirae quits (~shiraeesh@46.34.207.217) (Ping timeout: 256 seconds) |
| 22:59:45 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 23:02:59 | × | pera quits (~pera@unaffiliated/pera) (Quit: leaving) |
| 23:07:14 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 256 seconds) |
| 23:07:58 | × | finn_elija quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 268 seconds) |
| 23:08:00 | → | slack1256 joins (~slack1256@dvc-186-186-101-190.movil.vtr.net) |
| 23:08:27 | → | hyiltiz joins (~quassel@31.220.5.250) |
| 23:08:27 | × | hyiltiz quits (~quassel@31.220.5.250) (Changing host) |
| 23:08:27 | → | hyiltiz joins (~quassel@unaffiliated/hyiltiz) |
| 23:09:52 | → | myShoggoth joins (~myShoggot@75.164.81.55) |
| 23:10:23 | → | finn_elija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 23:11:58 | → | magnuscake joins (~magnuscak@87-121-92-61.dyn.launtel.net.au) |
| 23:13:13 | × | hyiltiz quits (~quassel@unaffiliated/hyiltiz) (Ping timeout: 260 seconds) |
| 23:13:26 | × | magnuscake quits (~magnuscak@87-121-92-61.dyn.launtel.net.au) (Client Quit) |
| 23:13:47 | → | hyiltiz joins (~quassel@31.220.5.250) |
| 23:13:47 | × | hyiltiz quits (~quassel@31.220.5.250) (Changing host) |
| 23:13:47 | → | hyiltiz joins (~quassel@unaffiliated/hyiltiz) |
| 23:17:25 | × | heatsink_ quits (~heatsink@2600:1700:bef1:5e10:7c0e:3b57:dfb:2cb4) (Remote host closed the connection) |
| 23:18:02 | → | latendre joins (68015f02@104-1-95-2.lightspeed.sntcca.sbcglobal.net) |
| 23:18:17 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:7c0e:3b57:dfb:2cb4) |
| 23:19:13 | × | malumore quits (~malumore@151.62.115.237) (Ping timeout: 245 seconds) |
| 23:23:29 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: jsbdvkjb) |
| 23:24:45 | → | nhs joins (~nhs@cpe-70-113-67-118.austin.res.rr.com) |
| 23:27:10 | × | son0p quits (~son0p@181.136.122.143) (Quit: Lost terminal) |
| 23:29:54 | × | nhs quits (~nhs@cpe-70-113-67-118.austin.res.rr.com) (Ping timeout: 256 seconds) |
| 23:30:02 | × | xsperry quits (~as@unaffiliated/xsperry) (Remote host closed the connection) |
| 23:31:39 | → | FinnElija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 23:31:39 | finn_elija | is now known as Guest97385 |
| 23:31:39 | FinnElija | is now known as finn_elija |
| 23:31:47 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 23:31:54 | × | Guest97385 quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Remote host closed the connection) |
| 23:33:49 | <sm[m]> | santiweight: nice! |
| 23:34:14 | <sm[m]> | we don't get enough haskell live coding announcements in here |
| 23:35:07 | <sm[m]> | I guess you're finished and haven't uploaded it yet ? |
| 23:37:46 | → | __minoru__shirae joins (~shiraeesh@46.34.207.217) |
| 23:40:24 | × | pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 23:43:34 | × | latendre quits (68015f02@104-1-95-2.lightspeed.sntcca.sbcglobal.net) (Quit: Connection closed) |
| 23:44:30 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 23:44:55 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 23:45:17 | → | nfd joins (~nfd9001@2601:602:77f:1820:cdd8:8342:9006:fbd2) |
| 23:50:22 | → | perrier-jouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 23:50:58 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 23:51:23 | × | jeremybennett quits (~jeremyben@185.204.1.185) (Remote host closed the connection) |
| 23:51:57 | × | __minoru__shirae quits (~shiraeesh@46.34.207.217) (Ping timeout: 246 seconds) |
| 23:55:48 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 23:57:21 | × | DavidEichmann quits (~david@234.109.45.217.dyn.plus.net) (Remote host closed the connection) |
| 23:58:34 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 23:58:48 | × | myShoggoth quits (~myShoggot@75.164.81.55) (Ping timeout: 245 seconds) |
| 23:58:55 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) |
| 23:59:04 | <Axman6> | I was thinking about doing one but I would need some interaction from the audience. I've wanted to write a monoid for validating utf-8 encoding which would allow taking a big text, split it into chunks for parallel validation |
| 23:59:34 | <Axman6> | I've taken a few stabs at it over the years but catching all the corner cases isn't fun |
| 23:59:56 | <Axman6> | atributing errors to the right location is also a bit painful |
All times are in UTC on 2021-03-14.