Home liberachat/#haskell: Logs Calendar

Logs on 2025-09-02 (liberachat/#haskell)

00:03:00 qqe joins (~qqq@185.54.23.136)
00:03:07 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
00:03:38 humasect_ joins (~humasect@dyn-192-249-132-90.nexicom.net)
00:04:35 × Athas quits (athas@2a01:7c8:aaac:1cf:8931:ecc4:3bc0:f3c1) (Quit: ZNC 1.9.1 - https://znc.in)
00:04:48 Athas joins (athas@2a01:7c8:aaac:1cf:ca94:5e7:f880:789a)
00:05:12 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 248 seconds)
00:05:37 × wbrawner quits (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 256 seconds)
00:06:44 wbrawner joins (~wbrawner@static.56.224.132.142.clients.your-server.de)
00:13:41 × trickard_ quits (~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
00:13:55 trickard_ joins (~trickard@cpe-56-98-47-163.wireline.com.au)
00:15:57 × sprotte24 quits (~sprotte24@p200300d16f1d4a0079932e46a3480463.dip0.t-ipconnect.de) (Quit: Leaving)
00:24:27 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds)
00:32:59 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 248 seconds)
00:35:23 mange joins (~mange@user/mange)
00:41:08 × haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
00:41:54 × ridcully quits (~ridcully@p508ac666.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
00:42:16 zarakshR joins (~Thunderbi@host5-81-134-212.range5-81.btcentralplus.com)
00:43:29 × xff0x quits (~xff0x@2405:6580:b080:900:6ec3:ad7c:6a38:1ac) (Ping timeout: 260 seconds)
00:45:40 xff0x joins (~xff0x@2405:6580:b080:900:3ad9:70eb:2d3c:ae60)
00:48:37 trickard_ is now known as trickard
00:49:03 ridcully joins (~ridcully@p508ac996.dip0.t-ipconnect.de)
00:56:55 × trickard quits (~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
00:57:09 trickard_ joins (~trickard@cpe-56-98-47-163.wireline.com.au)
01:00:11 × xff0x quits (~xff0x@2405:6580:b080:900:3ad9:70eb:2d3c:ae60) (Ping timeout: 248 seconds)
01:00:24 × otto_s quits (~user@p4ff275a3.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
01:00:36 × vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 256 seconds)
01:02:05 otto_s joins (~user@p4ff27345.dip0.t-ipconnect.de)
01:06:51 × ljdarj quits (~Thunderbi@user/ljdarj) (Quit: ljdarj)
01:17:07 arandombit joins (~arandombi@2603:7000:4600:ffbe:ce4:e1bc:ec5:d7c0)
01:17:07 × arandombit quits (~arandombi@2603:7000:4600:ffbe:ce4:e1bc:ec5:d7c0) (Changing host)
01:17:07 arandombit joins (~arandombi@user/arandombit)
01:27:27 × comonad quits (~comonad@p200300d0270ddd009670adfc2eadacd3.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
01:28:55 comonad joins (~comonad@p200300d0270f190078d8e2faab22080f.dip0.t-ipconnect.de)
01:28:56 × zarakshR quits (~Thunderbi@host5-81-134-212.range5-81.btcentralplus.com) (Ping timeout: 248 seconds)
01:40:02 × humasect_ quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
01:41:15 × comonad quits (~comonad@p200300d0270f190078d8e2faab22080f.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
01:43:07 comonad joins (~comonad@p200300d0271055002a0ea8a8f597fb71.dip0.t-ipconnect.de)
02:01:50 humasect joins (~humasect@dyn-192-249-132-90.nexicom.net)
02:02:44 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
02:02:50 xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
02:03:21 humasect joins (~humasect@dyn-192-249-132-90.nexicom.net)
02:03:25 × cherryramatisdev quits (~cherryram@user/cherryramatisdev) (Quit: WeeChat 4.7.1)
02:05:12 × confusedalex quits (~alex@user/confusedalex) (Ping timeout: 248 seconds)
02:20:32 confusedalex joins (~confuseda@user/confusedalex)
02:21:12 amadaluzia joins (~amadaluzi@user/amadaluzia)
02:24:37 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 260 seconds)
02:26:33 trickard_ is now known as trickard
02:42:16 × amadaluzia quits (~amadaluzi@user/amadaluzia) (Quit: ZNC 1.9.1 - https://znc.in)
02:43:14 × Square3 quits (~Square4@user/square) (Ping timeout: 258 seconds)
02:44:03 Square2 joins (~Square@user/square)
02:51:50 arandombit joins (~arandombi@user/arandombit)
02:56:25 × trickard quits (~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
02:56:39 trickard_ joins (~trickard@cpe-56-98-47-163.wireline.com.au)
03:02:26 trickard_ is now known as trickard
03:14:10 × nschoe quits (~nschoe@2a01:e0a:8e:a190:8400:bfb7:7968:3470) (Quit: ZNC 1.8.2 - https://znc.in)
03:14:27 nschoe joins (~nschoe@82-65-202-30.subs.proxad.net)
03:15:44 × puke quits (~puke@user/puke) (Read error: Connection reset by peer)
03:16:03 puke joins (~puke@user/puke)
03:35:20 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 245 seconds)
03:39:21 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
03:48:09 × fr33domlover quits (~fr33domlo@towards.vision) (Quit: Ping timeout (120 seconds))
03:48:34 fr33domlover joins (~fr33domlo@towards.vision)
03:48:36 × Garbanzo__ quits (~Garbanzo@2602:304:6eac:dc10::49) (Remote host closed the connection)
03:53:40 arandombit joins (~arandombi@2603:7000:4600:ffbe:ce4:e1bc:ec5:d7c0)
03:53:40 × arandombit quits (~arandombi@2603:7000:4600:ffbe:ce4:e1bc:ec5:d7c0) (Changing host)
03:53:40 arandombit joins (~arandombi@user/arandombit)
03:56:04 × vetkat quits (~vetkat@user/vetkat) (Ping timeout: 258 seconds)
03:56:27 × Digit quits (~user@user/digit) (Ping timeout: 258 seconds)
03:57:12 vetkat joins (~vetkat@user/vetkat)
03:58:19 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 260 seconds)
03:58:54 Sgeo_ joins (~Sgeo@user/sgeo)
03:59:04 Digit joins (~user@user/digit)
04:00:10 arandombit joins (~arandombi@2603:7000:4600:ffbe:ce4:e1bc:ec5:d7c0)
04:00:10 × arandombit quits (~arandombi@2603:7000:4600:ffbe:ce4:e1bc:ec5:d7c0) (Changing host)
04:00:10 arandombit joins (~arandombi@user/arandombit)
04:00:24 Codeko joins (~user@user/Codeko)
04:02:12 × Sgeo quits (~Sgeo@user/sgeo) (Ping timeout: 258 seconds)
04:02:35 × Square2 quits (~Square@user/square) (Ping timeout: 248 seconds)
04:05:34 rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca)
04:11:56 × weary-traveler quits (~user@user/user363627) (Remote host closed the connection)
04:13:59 weary-traveler joins (~user@user/user363627)
04:27:02 × werneta quits (~werneta@syn-071-083-160-242.res.spectrum.com) (Quit: Lost terminal)
04:27:38 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
04:31:18 werneta joins (~werneta@syn-071-083-160-242.res.spectrum.com)
04:34:55 × pabs3 quits (~pabs3@user/pabs3) (Ping timeout: 245 seconds)
04:35:12 segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net)
04:38:29 × pavonia quits (~user@user/siracusa) (Read error: Connection reset by peer)
04:41:07 michalz joins (~michalz@185.246.207.201)
04:42:04 peterbecich joins (~Thunderbi@syn-172-222-149-049.res.spectrum.com)
04:49:49 pavonia joins (~user@user/siracusa)
04:50:07 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 258 seconds)
04:50:56 pabs3 joins (~pabs3@user/pabs3)
04:53:44 × segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds)
04:59:07 Frostillicus joins (~Frostilli@71.174.119.69)
05:09:46 ubert joins (~Thunderbi@178.165.187.121.wireless.dyn.drei.com)
05:22:02 takuan joins (~takuan@d8D86B9E9.access.telenet.be)
05:27:07 pavonia_ joins (~user@user/siracusa)
05:27:56 emergence5 joins (~emergence@vm0.max-p.me)
05:28:27 × peterbecich quits (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 258 seconds)
05:28:27 robobub joins (uid248673@id-248673.uxbridge.irccloud.com)
05:28:50 × pavonia quits (~user@user/siracusa) (Ping timeout: 258 seconds)
05:28:57 poscat0x04 joins (~poscat@user/poscat)
05:29:03 pavonia_ is now known as pavonia
05:29:13 × acro quits (~acro@user/acro) (Ping timeout: 258 seconds)
05:29:30 petrichor joins (~jez@user/petrichor)
05:29:34 acro joins (~acro@user/acro)
05:29:36 × Moyst quits (~moyst@user/moyst) (Ping timeout: 258 seconds)
05:29:36 × lyxia quits (~lyxia@poisson.chat) (Ping timeout: 258 seconds)
05:29:59 × visilii quits (~visilii@85.94.26.33) (Ping timeout: 258 seconds)
05:29:59 × cipherrot quits (~jez@user/petrichor) (Ping timeout: 258 seconds)
05:29:59 × poscat quits (~poscat@user/poscat) (Ping timeout: 258 seconds)
05:29:59 × emergence quits (~emergence@vm0.max-p.me) (Ping timeout: 258 seconds)
05:29:59 emergence5 is now known as emergence
05:30:27 visilii joins (~visilii@85.94.26.33)
05:30:35 pyooque joins (~puke@user/puke)
05:30:35 puke is now known as Guest3377
05:30:35 pyooque is now known as puke
05:30:43 × Guest3377 quits (~puke@user/puke) (Read error: Connection reset by peer)
05:30:54 Moyst joins (~moyst@user/moyst)
05:31:08 × nschoe quits (~nschoe@82-65-202-30.subs.proxad.net) (Ping timeout: 258 seconds)
05:31:08 × chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 258 seconds)
05:31:54 × trickard quits (~trickard@cpe-56-98-47-163.wireline.com.au) (Ping timeout: 258 seconds)
05:32:02 gawen_ joins (~gawen@user/gawen)
05:32:07 nschoe joins (~nschoe@2a01:e0a:8e:a190:2d9f:6fd3:18e3:7800)
05:32:29 dysfigured joins (~dfg@dfg.rocks)
05:32:40 × otto_s quits (~user@p4ff27345.dip0.t-ipconnect.de) (Ping timeout: 258 seconds)
05:32:40 × gawen quits (~gawen@user/gawen) (Ping timeout: 258 seconds)
05:32:40 × antti_ quits (~antti@82-181-183-83.bb.dnainternet.fi) (Ping timeout: 258 seconds)
05:32:52 Yumemi_ joins (~Yumemi@chamoin.net)
05:33:03 × fgarcia quits (~lei@user/fgarcia) (Ping timeout: 258 seconds)
05:33:03 × m1dnight_ quits (~m1dnight@109.236.62.141) (Ping timeout: 258 seconds)
05:33:03 × dfg quits (~dfg@user/dfg) (Ping timeout: 258 seconds)
05:33:03 × Putonlalla quits (~Putonlall@it-cyan.it.jyu.fi) (Ping timeout: 258 seconds)
05:33:26 × Frostillicus quits (~Frostilli@71.174.119.69) (Ping timeout: 258 seconds)
05:33:26 × Yumemi quits (~Yumemi@chamoin.net) (Ping timeout: 258 seconds)
05:33:35 trickard_ joins (~trickard@cpe-56-98-47-163.wireline.com.au)
05:33:39 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
05:33:49 × jreicher quits (~user@user/jreicher) (Ping timeout: 258 seconds)
05:33:49 × FANTOM quits (~fantom@87.74.59.94) (Ping timeout: 258 seconds)
05:34:02 jreicher joins (~user@user/jreicher)
05:34:24 otto_s joins (~user@p4ff27345.dip0.t-ipconnect.de)
05:34:36 antti_ joins (~antti@82-181-183-83.bb.dnainternet.fi)
05:34:52 fgarcia joins (~lei@user/fgarcia)
05:35:07 m1dnight_ joins (~m1dnight@109.236.62.141)
05:35:58 × Sgeo_ quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
05:38:48 FANTOM joins (~fantom@87.74.59.94)
05:42:13 lyxia joins (~lyxia@poisson.chat)
05:47:05 Putonlalla joins (~Putonlall@it-cyan.it.jyu.fi)
06:06:25 segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net)
06:09:21 trickard_ is now known as trickard
06:11:54 × segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds)
06:22:13 × werneta quits (~werneta@syn-071-083-160-242.res.spectrum.com) (Quit: Lost terminal)
06:24:41 × trickard quits (~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
06:24:54 trickard_ joins (~trickard@cpe-56-98-47-163.wireline.com.au)
06:29:33 ziyn joins (~ziyn@user/ziyn)
06:31:05 vanishingideal joins (~vanishing@user/vanishingideal)
06:33:29 × Digit quits (~user@user/digit) (Ping timeout: 260 seconds)
06:35:48 Digit joins (~user@user/digit)
06:38:57 sord937 joins (~sord937@gateway/tor-sasl/sord937)
06:57:19 tromp joins (~textual@2001:1c00:3487:1b00:8172:2e8c:f9b:6c5c)
06:59:50 × ft quits (~ft@p4fc2a25a.dip0.t-ipconnect.de) (Quit: leaving)
07:00:01 × caconym747 quits (~caconym@user/caconym) (Quit: bye)
07:01:05 caconym747 joins (~caconym@user/caconym)
07:02:04 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 260 seconds)
07:02:27 arandombit joins (~arandombi@2603:7000:4600:ffbe:8444:30d3:95fc:6db)
07:02:27 × arandombit quits (~arandombi@2603:7000:4600:ffbe:8444:30d3:95fc:6db) (Changing host)
07:02:27 arandombit joins (~arandombi@user/arandombit)
07:02:58 × arandombit quits (~arandombi@user/arandombit) (Read error: Connection reset by peer)
07:03:17 arandombit joins (~arandombi@2603:7000:4600:ffbe:8444:30d3:95fc:6db)
07:03:17 × arandombit quits (~arandombi@2603:7000:4600:ffbe:8444:30d3:95fc:6db) (Changing host)
07:03:17 arandombit joins (~arandombi@user/arandombit)
07:16:35 × simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 256 seconds)
07:16:41 simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
07:21:55 akegalj joins (~akegalj@95.168.107.22)
07:25:32 LainIwakura joins (~LainIwaku@user/LainIwakura)
07:25:47 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds)
07:31:36 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 256 seconds)
07:32:01 × hsw quits (~hsw@112-104-9-97.adsl.dynamic.seed.net.tw) (Quit: Leaving)
07:33:45 × weary-traveler quits (~user@user/user363627) (Remote host closed the connection)
07:34:17 × inline quits (~inline@ip-005-146-197-054.um05.pools.vodafone-ip.de) (Quit: Leaving)
07:38:03 inline joins (~inline@ip-005-146-197-054.um05.pools.vodafone-ip.de)
07:39:34 chele joins (~chele@user/chele)
07:43:47 × emmanuelux quits (~emmanuelu@user/emmanuelux) (Ping timeout: 256 seconds)
07:46:55 arandombit joins (~arandombi@2603:7000:4600:ffbe:8444:30d3:95fc:6db)
07:46:55 × arandombit quits (~arandombi@2603:7000:4600:ffbe:8444:30d3:95fc:6db) (Changing host)
07:46:55 arandombit joins (~arandombi@user/arandombit)
07:49:36 × trickard_ quits (~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
07:49:50 trickard_ joins (~trickard@cpe-56-98-47-163.wireline.com.au)
07:56:57 chromoblob joins (~chromoblo@user/chromob1ot1c)
08:02:54 mm_x_ joins (~mm@user/mm-x-:64963)
08:06:05 × vanishingideal quits (~vanishing@user/vanishingideal) (Remote host closed the connection)
08:07:14 lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
08:16:45 vanishingideal joins (~vanishing@user/vanishingideal)
08:18:19 fp1 joins (~Thunderbi@87-94-158-4.rev.dnainternet.fi)
08:40:24 × jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 248 seconds)
08:43:07 × fp1 quits (~Thunderbi@87-94-158-4.rev.dnainternet.fi) (Ping timeout: 248 seconds)
08:46:10 bitterx joins (~bitterx@APN-122-12-44-gprs.simobil.net)
08:46:21 × bitterx quits (~bitterx@APN-122-12-44-gprs.simobil.net) (Changing host)
08:46:21 bitterx joins (~bitterx@user/bitterx)
08:47:55 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 248 seconds)
08:55:27 × tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
08:59:56 haritz joins (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8)
08:59:56 × haritz quits (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host)
08:59:56 haritz joins (~hrtz@user/haritz)
09:06:57 × trickard_ quits (~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
09:07:11 trickard_ joins (~trickard@cpe-56-98-47-163.wireline.com.au)
09:14:43 × kaskal quits (~kaskal@2a02:8388:15bf:c200:4ad7:7046:d36e:df72) (Quit: ZNC - https://znc.in)
09:15:00 kaskal joins (~kaskal@84-115-230-9.cable.dynamic.surfer.at)
09:23:25 arandombit joins (~arandombi@2603:7000:4600:ffbe:8444:30d3:95fc:6db)
09:23:25 × arandombit quits (~arandombi@2603:7000:4600:ffbe:8444:30d3:95fc:6db) (Changing host)
09:23:25 arandombit joins (~arandombi@user/arandombit)
09:25:48 ljdarj joins (~Thunderbi@user/ljdarj)
09:27:51 × LainIwakura quits (~LainIwaku@user/LainIwakura) (Ping timeout: 250 seconds)
09:27:54 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 260 seconds)
09:28:53 × tromp quits (~textual@2001:1c00:3487:1b00:8172:2e8c:f9b:6c5c) (Quit: My iMac has gone to sleep. ZZZzzz…)
09:34:50 × trickard_ quits (~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
09:35:04 trickard_ joins (~trickard@cpe-56-98-47-163.wireline.com.au)
09:36:21 tromp joins (~textual@2001:1c00:3487:1b00:8172:2e8c:f9b:6c5c)
09:41:25 arandombit joins (~arandombi@user/arandombit)
09:55:05 × trickard_ quits (~trickard@cpe-56-98-47-163.wireline.com.au) (Ping timeout: 250 seconds)
09:55:28 trickard_ joins (~trickard@cpe-56-98-47-163.wireline.com.au)
10:00:47 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 260 seconds)
10:01:45 muhib joins (~muhib@37.111.214.192)
10:02:28 × m1dnight_ quits (~m1dnight@109.236.62.141) (Read error: Connection reset by peer)
10:08:30 m1dnight_ joins (~m1dnight@109.236.62.133)
10:14:03 × trickard_ quits (~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
10:14:16 trickard_ joins (~trickard@cpe-56-98-47-163.wireline.com.au)
10:22:44 × lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 260 seconds)
10:24:17 <muhib> why are there so many active participants in the haskell group? do you develop the language? O:3
10:24:49 arandombit joins (~arandombi@user/arandombit)
10:27:04 × xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds)
10:30:30 × trickard_ quits (~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
10:30:44 trickard_ joins (~trickard@cpe-56-98-47-163.wireline.com.au)
10:38:29 × muhib quits (~muhib@37.111.214.192) (Ping timeout: 250 seconds)
10:40:11 <haskellbridge> <sm> haskell is a very interesting language
10:40:27 <Franciman> it offers a lot of great opportunities to learn
10:41:37 __monty__ joins (~toonn@user/toonn)
10:43:34 lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
10:47:14 × ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds)
10:48:17 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
10:57:27 ljdarj joins (~Thunderbi@user/ljdarj)
10:58:52 ec_ joins (~ec@gateway/tor-sasl/ec)
11:00:05 × caconym747 quits (~caconym@user/caconym) (Quit: bye)
11:01:22 × ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 272 seconds)
11:16:35 × ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
11:18:19 × jespada quits (~jespada@2800:a4:230a:bb00:5120:12de:d6f7:abf2) (Ping timeout: 248 seconds)
11:21:30 jespada joins (~jespada@2800:a4:2226:6800:3911:7f22:43ac:8faa)
11:27:16 × tromp quits (~textual@2001:1c00:3487:1b00:8172:2e8c:f9b:6c5c) (Quit: My iMac has gone to sleep. ZZZzzz…)
11:27:20 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds)
11:28:50 trickard_ is now known as trickard
11:28:58 xff0x joins (~xff0x@2405:6580:b080:900:9380:4ceb:f05e:7729)
11:29:07 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 250 seconds)
11:34:05 × mm_x_ quits (~mm@user/mm-x-:64963) (Quit: Konversation terminated!)
11:37:03 mm_x_ joins (~mm@user/mm-x-:64963)
11:41:47 × tabemann__ quits (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Remote host closed the connection)
11:43:09 tabemann__ joins (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net)
11:43:49 × Codeko quits (~user@user/Codeko) (Ping timeout: 260 seconds)
11:49:01 Square3 joins (~Square4@user/square)
11:55:48 arandombit joins (~arandombi@2603:7000:4600:ffbe:8444:30d3:95fc:6db)
11:55:48 × arandombit quits (~arandombi@2603:7000:4600:ffbe:8444:30d3:95fc:6db) (Changing host)
11:55:48 arandombit joins (~arandombi@user/arandombit)
11:55:48 × tabemann__ quits (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Remote host closed the connection)
11:56:47 tabemann__ joins (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net)
11:57:05 tromp joins (~textual@2001:1c00:3487:1b00:8172:2e8c:f9b:6c5c)
12:00:57 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 260 seconds)
12:01:42 muhib joins (~muhib@37.111.214.93)
12:03:14 × tabemann__ quits (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Remote host closed the connection)
12:05:02 tabemann__ joins (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net)
12:06:42 × ziyn quits (~ziyn@user/ziyn) (Remote host closed the connection)
12:10:31 Googulator53 is now known as Googulator
12:12:30 × tabemann__ quits (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Remote host closed the connection)
12:13:07 segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net)
12:13:35 × ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 272 seconds)
12:14:17 tabemann__ joins (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net)
12:15:28 ec_ joins (~ec@gateway/tor-sasl/ec)
12:17:13 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
12:19:47 ljdarj joins (~Thunderbi@user/ljdarj)
12:21:39 Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915)
12:24:59 arandombit joins (~arandombi@2603:7000:4600:ffbe:8444:30d3:95fc:6db)
12:24:59 × arandombit quits (~arandombi@2603:7000:4600:ffbe:8444:30d3:95fc:6db) (Changing host)
12:24:59 arandombit joins (~arandombi@user/arandombit)
12:26:17 Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915)
12:26:59 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds)
12:27:37 × Lord_of_Life_ quits (~Lord@user/lord-of-life/x-2819915) (Excess Flood)
12:27:37 × mange quits (~mange@user/mange) (Remote host closed the connection)
12:28:54 × tabemann__ quits (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Remote host closed the connection)
12:29:54 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 260 seconds)
12:30:13 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 250 seconds)
12:30:20 tabemann__ joins (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net)
12:31:01 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
12:31:01 Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915)
12:32:23 × segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 250 seconds)
12:35:35 arandombit joins (~arandombi@2603:7000:4600:ffbe:8444:30d3:95fc:6db)
12:35:35 × arandombit quits (~arandombi@2603:7000:4600:ffbe:8444:30d3:95fc:6db) (Changing host)
12:35:35 arandombit joins (~arandombi@user/arandombit)
12:37:17 ttybitnik joins (~ttybitnik@user/wolper)
12:37:30 × trickard quits (~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
12:37:44 trickard_ joins (~trickard@cpe-56-98-47-163.wireline.com.au)
12:40:24 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 248 seconds)
12:42:39 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine)
12:45:40 davidlbowman joins (~dlb@user/davidlbowman)
12:50:09 × tabemann__ quits (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Remote host closed the connection)
12:52:27 arandombit joins (~arandombi@user/arandombit)
12:55:38 tabemann__ joins (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net)
12:56:57 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 260 seconds)
13:02:46 Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915)
13:03:38 × trickard_ quits (~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
13:03:51 trickard_ joins (~trickard@cpe-56-98-47-163.wireline.com.au)
13:06:32 × Nosrep quits (~jimothy@user/nosrep) (Ping timeout: 248 seconds)
13:07:16 × tabemann__ quits (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Ping timeout: 265 seconds)
13:08:52 arandombit joins (~arandombi@2603:7000:4600:ffbe:8444:30d3:95fc:6db)
13:08:52 × arandombit quits (~arandombi@2603:7000:4600:ffbe:8444:30d3:95fc:6db) (Changing host)
13:08:52 arandombit joins (~arandombi@user/arandombit)
13:09:05 tabemann__ joins (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net)
13:11:38 × trickard_ quits (~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
13:13:57 trickard_ joins (~trickard@cpe-56-98-47-163.wireline.com.au)
13:14:14 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 260 seconds)
13:17:45 × tabemann__ quits (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Remote host closed the connection)
13:18:26 tabemann__ joins (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net)
13:21:27 × trickard_ quits (~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
13:21:54 MironZ38 joins (~MironZ@nat-infra.ehlab.uk)
13:21:55 kilolympus6 joins (~kilolympu@vmi1102682.contaboserver.net)
13:22:16 ajrdck_ joins (e0a4b72d53@user/ajrdck)
13:22:16 connrs_ joins (~connrs@conners.plus.com)
13:22:17 fvr_ joins (ef3e56ca8b@2a03:6000:1812:100::3c4)
13:22:17 smiesner_ joins (b0cf5acf8c@2a03:6000:1812:100::13b9)
13:22:18 sus_ joins (1b7af6299f@user/zeromomentum)
13:22:18 shreyasminocha_ joins (51fdc93eda@user/shreyasminocha)
13:22:18 lucyy_ joins (228ee8f0ce@user/lucyy)
13:22:18 fgaz_ joins (1ff9197ed6@2a03:6000:1812:100::11ea)
13:22:19 samhh_ joins (7569f027cf@2a03:6000:1812:100::e4)
13:22:19 akspecs_ joins (00cc8321af@2a03:6000:1812:100::11a)
13:22:19 bheesham_ joins (3aa22d8375@2a03:6000:1812:100::e40)
13:22:25 olivial_ joins (~benjaminl@73.240.192.240)
13:22:48 jonrh_ joins (sid5185@id-5185.ilkley.irccloud.com)
13:22:48 gaze___ joins (sid387101@id-387101.helmsley.irccloud.com)
13:22:50 haasn_ joins (sid579015@id-579015.hampstead.irccloud.com)
13:22:53 nonzen_ joins (~nonzen@user/nonzen)
13:22:53 ubert1 joins (~Thunderbi@178.165.187.121.wireless.dyn.drei.com)
13:22:54 pierrot_ joins (~pi@user/pierrot)
13:22:55 edm_ joins (sid147314@id-147314.hampstead.irccloud.com)
13:22:56 rvalue- joins (~rvalue@about/hackers/rvalue)
13:23:32 potato44_ joins (uid421314@id-421314.lymington.irccloud.com)
13:23:35 bjs_ joins (sid190364@user/bjs)
13:24:19 integral_ joins (sid296274@user/integral)
13:24:25 simendsjo_ joins (34b0550437@2a03:6000:1812:100::1441)
13:24:30 vgtw_ joins (~vgtw@user/vgtw)
13:24:52 trickard_ joins (~trickard@cpe-56-98-47-163.wireline.com.au)
13:24:53 danso_o joins (~danso@user/danso)
13:25:00 raghavgururajan_ joins (ea769b8000@user/raghavgururajan)
13:25:08 lisk1n joins (~liskin@xmonad/liskin)
13:25:09 arahael_ joins (~wetfoot@user/arahael)
13:25:09 markasoftware_ joins (~quassel@2604:180:f2::217)
13:25:13 JoelMcCracken_ joins (5ea8252fbb@2a03:6000:1812:100::10e3)
13:25:18 yuuta joins (~YuutaW@2404:f4c0:f9c3:502::100:17b7)
13:25:22 sweater3 joins (~sweater@206.81.18.26)
13:25:26 tomku|two joins (~tomku@user/tomku)
13:25:31 sshine_ joins (~simon@dao.mechanicus.xyz)
13:25:31 plitter_ joins (~plitter@2a01:799:b93:2400:a236:bcff:febb:db81)
13:25:31 × plitter_ quits (~plitter@2a01:799:b93:2400:a236:bcff:febb:db81) (Changing host)
13:25:31 plitter_ joins (~plitter@user/plitter)
13:25:36 ezzieyguywuf joins (~Unknown@user/ezzieyguywuf)
13:25:44 kmein_ joins (~weechat@user/kmein)
13:25:45 × noteness quits (~noteness@user/noteness) (Ping timeout: 256 seconds)
13:25:58 AntiRembane joins (~Rembane@user/Rembane)
13:26:07 noteness joins (~noteness@user/noteness)
13:27:03 dtman34_ joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
13:29:03 arandombit joins (~arandombi@user/arandombit)
13:29:27 srk| joins (~sorki@user/srk)
13:29:52 × ubert quits (~Thunderbi@178.165.187.121.wireless.dyn.drei.com) (*.net *.split)
13:29:52 × haasn quits (sid579015@id-579015.hampstead.irccloud.com) (*.net *.split)
13:29:52 × bjs quits (sid190364@user/bjs) (*.net *.split)
13:29:52 × jonrh quits (sid5185@id-5185.ilkley.irccloud.com) (*.net *.split)
13:29:52 × smiesner quits (b0cf5acf8c@2a03:6000:1812:100::13b9) (*.net *.split)
13:29:52 × samhh__ quits (7569f027cf@2a03:6000:1812:100::e4) (*.net *.split)
13:29:52 × fgaz quits (1ff9197ed6@2a03:6000:1812:100::11ea) (*.net *.split)
13:29:52 × kilolympus quits (~kilolympu@vmi1102682.contaboserver.net) (*.net *.split)
13:29:52 × kmein quits (~weechat@user/kmein) (*.net *.split)
13:29:52 × rvalue quits (~rvalue@about/hackers/rvalue) (*.net *.split)
13:29:52 × edwtjo quits (~edwtjo@fsf/member/edwtjo) (*.net *.split)
13:29:52 × esph quits (~weechat@user/esph) (*.net *.split)
13:29:52 × jess quits (meow@libera/staff/cat/jess) (*.net *.split)
13:29:52 × Aleksejs quits (~Aleksejs@107.170.21.106) (*.net *.split)
13:29:52 × gaze__ quits (sid387101@id-387101.helmsley.irccloud.com) (*.net *.split)
13:29:52 × integral quits (sid296274@user/integral) (*.net *.split)
13:29:52 × sus quits (1b7af6299f@user/zeromomentum) (*.net *.split)
13:29:52 × ezzieygu1wuf quits (~Unknown@user/ezzieyguywuf) (*.net *.split)
13:29:52 × pierrot quits (~pi@user/pierrot) (*.net *.split)
13:29:52 × noctux quits (~noctux@user/noctux) (*.net *.split)
13:29:52 × APic quits (apic@apic.name) (*.net *.split)
13:29:53 × ell quits (~ellie@user/ellie) (*.net *.split)
13:29:53 × markasoftware quits (~quassel@2604:180:f2::217) (*.net *.split)
13:29:53 × sweater2 quits (~sweater@206.81.18.26) (*.net *.split)
13:29:53 × bastelfreak quits (bastelfrea@libera/staff/VoxPupuli.bastelfreak) (*.net *.split)
13:29:53 × JoelMcCracken quits (5ea8252fbb@2a03:6000:1812:100::10e3) (*.net *.split)
13:29:53 × YuutaW quits (~YuutaW@2404:f4c0:f9c3:502::100:17b7) (*.net *.split)
13:29:53 × plitter quits (~plitter@user/plitter) (*.net *.split)
13:29:53 × liskin quits (~liskin@xmonad/liskin) (*.net *.split)
13:29:53 × vgtw quits (~vgtw@user/vgtw) (*.net *.split)
13:29:53 × MironZ3 quits (~MironZ@nat-infra.ehlab.uk) (*.net *.split)
13:29:53 × Miroboru quits (~myrvoll@46.249.255.58) (*.net *.split)
13:29:53 × tomku quits (~tomku@user/tomku) (*.net *.split)
13:29:53 × srk_ quits (~sorki@user/srk) (*.net *.split)
13:29:53 × olivial quits (~benjaminl@user/benjaminl) (*.net *.split)
13:29:53 × Rembane quits (~Rembane@user/Rembane) (*.net *.split)
13:29:53 × mauke quits (~mauke@user/mauke) (*.net *.split)
13:29:53 × connrs quits (~connrs@user/connrs) (*.net *.split)
13:29:53 × danso quits (~danso@user/danso) (*.net *.split)
13:29:53 × AngelzOfDeath quits (Angelz@user/angelz) (*.net *.split)
13:29:53 × potato44 quits (uid421314@id-421314.lymington.irccloud.com) (*.net *.split)
13:29:53 × cawfee quits (root@2401:c080:3800:3460::babe) (*.net *.split)
13:29:53 × edm quits (sid147314@id-147314.hampstead.irccloud.com) (*.net *.split)
13:29:53 × vulpine quits (xfnw@user/meow/xfnw) (*.net *.split)
13:29:53 × shreyasminocha quits (51fdc93eda@user/shreyasminocha) (*.net *.split)
13:29:53 × lucyy quits (228ee8f0ce@user/lucyy) (*.net *.split)
13:29:53 × exfalsoquodlibet quits (a7085e0f71@user/exfalsoquodlibet) (*.net *.split)
13:29:53 × ajrdck quits (e0a4b72d53@user/ajrdck) (*.net *.split)
13:29:53 × fvr quits (ef3e56ca8b@2a03:6000:1812:100::3c4) (*.net *.split)
13:29:53 × akspecs quits (00cc8321af@sourcehut/user/akspecs) (*.net *.split)
13:29:53 × simendsjo quits (34b0550437@2a03:6000:1812:100::1441) (*.net *.split)
13:29:53 × rprospero quits (eadde01e73@user/rprospero) (*.net *.split)
13:29:53 × bheesham quits (3aa22d8375@2a03:6000:1812:100::e40) (*.net *.split)
13:29:53 × raghavgururajan quits (ea769b8000@user/raghavgururajan) (*.net *.split)
13:29:53 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (*.net *.split)
13:29:53 × filwisher quits (2e6936c793@2a03:6000:1812:100::170) (*.net *.split)
13:29:53 × arahael quits (~wetfoot@user/arahael) (*.net *.split)
13:29:53 × sshine quits (~simon@2a01:4f8:1c0c:718c::1) (*.net *.split)
13:29:53 × nonzen quits (~nonzen@user/nonzen) (*.net *.split)
13:29:53 smiesner_ is now known as smiesner
13:29:53 fgaz_ is now known as fgaz
13:29:53 ubert1 is now known as ubert
13:29:53 kilolympus6 is now known as kilolympus
13:29:54 JoelMcCracken_ is now known as JoelMcCracken
13:29:54 connrs_ is now known as connrs
13:29:54 fvr_ is now known as fvr
13:29:54 simendsjo_ is now known as simendsjo
13:29:54 bheesham_ is now known as bheesham
13:29:54 raghavgururajan_ is now known as raghavgururajan
13:29:54 haasn_ is now known as haasn
13:29:54 bjs_ is now known as bjs
13:29:54 sus_ is now known as sus
13:29:54 jonrh_ is now known as jonrh
13:29:54 MironZ38 is now known as MironZ3
13:29:54 shreyasminocha_ is now known as shreyasminocha
13:29:54 lucyy_ is now known as lucyy
13:29:54 ajrdck_ is now known as ajrdck
13:29:55 gaze___ is now known as gaze__
13:29:56 integral_ is now known as integral
13:29:58 edm_ is now known as edm
13:30:15 noctux joins (~noctux@user/noctux)
13:30:16 Aleksejs joins (~Aleksejs@107.170.21.106)
13:30:17 × trickard_ quits (~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
13:30:18 mauke joins (~mauke@user/mauke)
13:30:28 cawfee joins (root@2401:c080:3800:3460::babe)
13:31:03 × potato44_ quits (uid421314@id-421314.lymington.irccloud.com) ()
13:31:22 potato44 joins (uid421314@id-421314.lymington.irccloud.com)
13:31:34 ell joins (~ellie@user/ellie)
13:32:03 rvalue- is now known as rvalue
13:32:17 srk| is now known as srk
13:32:28 jess joins (meow@libera/staff/cat/jess)
13:34:17 × FANTOM quits (~fantom@87.74.59.94) (Ping timeout: 260 seconds)
13:34:47 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 250 seconds)
13:35:23 exfalsoquodlibet joins (a7085e0f71@user/exfalsoquodlibet)
13:35:33 trickard_ joins (~trickard@cpe-56-98-47-163.wireline.com.au)
13:35:50 esph joins (~weechat@user/esph)
13:36:02 <muhib> do you use an ide while programming in haskell? or do you compile it in the terminal from text editors?
13:36:33 vulpine joins (xfnw@user/meow/xfnw)
13:36:38 APic joins (apic@apic.name)
13:37:09 FANTOM joins (~fantom@87.74.59.94)
13:37:35 bastelfreak joins (bastelfrea@libera/staff/VoxPupuli.bastelfreak)
13:37:38 edwtjo joins (~edwtjo@fsf/member/edwtjo)
13:37:43 filwisher joins (2e6936c793@2a03:6000:1812:100::170)
13:38:40 rprospero joins (eadde01e73@user/rprospero)
13:40:45 arandombit joins (~arandombi@2603:7000:4600:ffbe:8444:30d3:95fc:6db)
13:40:45 × arandombit quits (~arandombi@2603:7000:4600:ffbe:8444:30d3:95fc:6db) (Changing host)
13:40:45 arandombit joins (~arandombi@user/arandombit)
13:41:02 × chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 258 seconds)
13:41:35 chromoblob joins (~chromoblo@user/chromob1ot1c)
13:42:11 × tabemann__ quits (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Ping timeout: 258 seconds)
13:46:07 × Leary quits (~Leary@user/Leary/x-0910699) (Remote host closed the connection)
13:46:58 tabemann__ joins (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net)
13:49:43 <probie> muhib: I think most people use HLS from their editors. If you're coming from something like Java, it's not quite as powerful as a dedicated IDE, but it gives you autocomplete and "angry red lines" when something won't compile
13:50:18 Leary joins (~Leary@user/Leary/x-0910699)
13:52:12 × tabemann__ quits (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Remote host closed the connection)
13:52:59 tabemann__ joins (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net)
13:53:39 Angelz joins (Angelz@2605:6400:30:fc15:d55b:fa6c:bd14:9973)
13:53:48 × chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
13:54:22 chromoblob joins (~chromoblo@user/chromob1ot1c)
13:54:44 zarakshR joins (~Thunderbi@host5-81-134-212.range5-81.btcentralplus.com)
13:57:47 × L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer)
14:01:44 L29Ah joins (~L29Ah@wikipedia/L29Ah)
14:05:01 × qqe quits (~qqq@185.54.23.136) (Remote host closed the connection)
14:11:51 × lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2)
14:12:03 <sm> I do mostly use VSCode with Haskell extension and HLS. When HLS won't work, I fall back to ghcid in a terminal pane. I also keep ghci running in a terminal pane.
14:13:41 × tabemann__ quits (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Remote host closed the connection)
14:13:53 <sm> When I need to do a compile or most other actions, I do usually run that command in a terminal pane. It's a mix of GUI and terminal.
14:14:28 tabemann__ joins (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net)
14:17:10 <chromoblob> hm, "mix of GUI and terminal", reminded me of TurboVision
14:17:48 <chromoblob> interesting, is there something like TurboVision but for other languages (than Pascal)? for Haskell?
14:17:48 <sshine_> muhib, I used Emacs and haskell-mode in 2012-2020, after which I switched to VSCode because of the great effort with haskell-language-server and its LSP interface.
14:18:24 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 260 seconds)
14:18:50 <sshine_> muhib, but I think ghcid is still a better experience, because it always works, unlike the LSP plugin which requires a level of care: I think it still needs to match the GHC, which is definitely possible when you manage your project with Nix, so you can have an LSP plugin that is unique to the GHC in your given project.
14:21:01 <sshine_> I know people who do something similar in Rust with a crate called 'bacon', resembles the ghcid experience. mostly people who work with embedded, where there can be similar challenges with the LSP plugin because of platform mismatches and experimental features and such.
14:21:26 <sshine_> if you switch the toolchain around a lot, ghcid is more robust.
14:21:36 × califax quits (~califax@user/califx) (Remote host closed the connection)
14:21:47 califax_ joins (~califax@user/califx)
14:23:02 califax_ is now known as califax
14:23:12 × zarakshR quits (~Thunderbi@host5-81-134-212.range5-81.btcentralplus.com) (Ping timeout: 258 seconds)
14:24:30 × bitterx quits (~bitterx@user/bitterx) (Quit: bitterx)
14:26:37 × tabemann__ quits (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Remote host closed the connection)
14:27:59 tabemann__ joins (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net)
14:30:27 × tromp quits (~textual@2001:1c00:3487:1b00:8172:2e8c:f9b:6c5c) (Quit: My iMac has gone to sleep. ZZZzzz…)
14:30:54 arandombit joins (~arandombi@user/arandombit)
14:32:08 <sm> I don't know what TurboVision was like, what was good about it ?
14:33:10 <sm> I mix GUI and terminal to extent of always having my first VS Code editor tab be a terminal running a text-mode emacs. Then I use VSC's terminal pane on the right for additional, non-emacs, terminals.
14:51:32 × dolio quits (~dolio@130.44.140.168) (Quit: ZNC 1.9.1 - https://znc.in)
14:53:13 dolio joins (~dolio@130.44.140.168)
14:56:52 × dolio quits (~dolio@130.44.140.168) (Client Quit)
14:57:40 mari-estel joins (~mari-este@user/mari-estel)
14:58:23 dolio joins (~dolio@130.44.140.168)
15:00:24 × trickard_ quits (~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
15:00:38 trickard_ joins (~trickard@cpe-56-98-47-163.wireline.com.au)
15:08:20 <muhib> cool, i shall endevour with VSCode but what would I build with it. =D currently going through learn you a haskell for great good, i don't why my vision became short sighted with haskell the more I learn it, what do you build with haskell? extremely sorry if I am ruining your scientific peace, i shall go now. maybe i'll write embedded code for
15:08:20 <muhib> real with haskell. has anybody crafted devices using haskell? to me a haskell developer would be an electronics person too.
15:18:19 × jreicher quits (~user@user/jreicher) (Ping timeout: 248 seconds)
15:23:07 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 250 seconds)
15:24:27 × pierrot_ quits (~pi@user/pierrot) (Quit: ZNC 1.8.2 - http://znc.in)
15:24:44 pierrot joins (~pi@user/pierrot)
15:29:34 <haskellbridge> <sm> muhib haskell in its usual form (GHC) probably isn't the best for small devices. Micro haskell however (microhs) might be great
15:31:46 <haskellbridge> <sm> I build scripts, command line tools, tui apps, web apps with haskell. But it's especially good for complex / high-assurance / prototype software
15:32:47 <haskellbridge> <sm> there are also tools that generate efficient c code from haskell specifications (copilot IIRC)
15:35:30 × akegalj quits (~akegalj@95.168.107.22) (Quit: leaving)
15:35:42 <haskellbridge> <sm> by if you're building small things with haskell / starting out / not already comfortable with vs code, using an editor and terminal is perfectly fine and possibly better
15:35:53 <haskellbridge> <sm> by the way
15:46:22 × muhib quits (~muhib@37.111.214.93) (Quit: Client closed)
15:50:13 muhib joins (~muhib@37.111.214.93)
15:51:37 × mm_x_ quits (~mm@user/mm-x-:64963) (Quit: Konversation terminated!)
15:52:00 mal1 is now known as lieven
15:58:21 × img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
15:59:39 img joins (~img@user/img)
16:15:37 × muhib quits (~muhib@37.111.214.93) (Ping timeout: 250 seconds)
16:18:20 tromp joins (~textual@2001:1c00:3487:1b00:8172:2e8c:f9b:6c5c)
16:24:27 × vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds)
16:28:10 × Googulator quits (~Googulato@2a01-036d-0106-28ad-f9f3-8649-eb89-633c.pool6.digikabel.hu) (Quit: Client closed)
16:28:24 Googulator joins (~Googulato@2a01-036d-0106-28ad-f9f3-8649-eb89-633c.pool6.digikabel.hu)
16:44:58 ft joins (~ft@p4fc2a25a.dip0.t-ipconnect.de)
16:48:56 Everything joins (~Everythin@46.211.83.200)
17:01:05 × tromp quits (~textual@2001:1c00:3487:1b00:8172:2e8c:f9b:6c5c) (Quit: My iMac has gone to sleep. ZZZzzz…)
17:03:22 mari39459 joins (~mari-este@user/mari-estel)
17:05:27 × mari-estel quits (~mari-este@user/mari-estel) (Ping timeout: 260 seconds)
17:05:27 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 260 seconds)
17:07:19 Square2 joins (~Square@user/square)
17:08:24 AntiRembane is now known as Rembane
17:08:43 × dysfigured quits (~dfg@dfg.rocks) (Ping timeout: 248 seconds)
17:11:39 × Square3 quits (~Square4@user/square) (Ping timeout: 260 seconds)
17:14:04 × mari39459 quits (~mari-este@user/mari-estel) ()
17:18:04 × ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds)
17:18:25 trickard___ joins (~trickard@cpe-54-98-47-163.wireline.com.au)
17:18:46 × trickard_ quits (~trickard@cpe-56-98-47-163.wireline.com.au) (Ping timeout: 258 seconds)
17:21:06 × chele quits (~chele@user/chele) (Remote host closed the connection)
17:21:12 tromp joins (~textual@2001:1c00:3487:1b00:8172:2e8c:f9b:6c5c)
17:26:38 dfg joins (~dfg@user/dfg)
17:28:58 marinelli joins (~weechat@gateway/tor-sasl/marinelli)
17:31:14 ljdarj joins (~Thunderbi@user/ljdarj)
17:32:06 segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net)
17:39:07 × segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds)
17:40:10 peterbecich joins (~Thunderbi@syn-172-222-149-049.res.spectrum.com)
17:41:22 GdeVolpi1 joins (~GdeVolpia@user/GdeVolpiano)
17:41:42 × tromp quits (~textual@2001:1c00:3487:1b00:8172:2e8c:f9b:6c5c) (Quit: My iMac has gone to sleep. ZZZzzz…)
17:41:59 × GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 260 seconds)
17:48:31 arandombit joins (~arandombi@user/arandombit)
17:50:59 × ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
17:51:46 segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net)
18:09:22 × peterbecich quits (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 258 seconds)
18:15:35 vanishingideal joins (~vanishing@user/vanishingideal)
18:19:39 Guest87 joins (~Guest87@2600:1006:b12f:3fdb:0:51:7f9:ed01)
18:23:40 × Guest87 quits (~Guest87@2600:1006:b12f:3fdb:0:51:7f9:ed01) (Client Quit)
18:24:20 × divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer)
18:24:39 divlamir joins (~divlamir@user/divlamir)
18:27:19 jmcantrell_ joins (~weechat@user/jmcantrell)
18:28:39 jmcantrell_ is now known as jmcantrell
18:31:55 × Everything quits (~Everythin@46.211.83.200) (Quit: leaving)
18:33:31 × trickard___ quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
18:33:44 trickard_ joins (~trickard@cpe-54-98-47-163.wireline.com.au)
18:37:21 × gmg quits (~user@user/gehmehgeh) (Quit: Leaving)
18:48:30 × pierrot quits (~pi@user/pierrot) (Quit: ZNC 1.8.2 - http://znc.in)
18:48:48 pierrot joins (~pi@user/pierrot)
18:55:53 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 250 seconds)
18:57:26 × sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
18:58:20 tromp joins (~textual@2001:1c00:3487:1b00:8172:2e8c:f9b:6c5c)
18:59:14 olivial joins (~benjaminl@user/benjaminl)
18:59:47 × olivial_ quits (~benjaminl@73.240.192.240) (Ping timeout: 250 seconds)
19:00:42 caconym747 joins (~caconym@user/caconym)
19:03:05 sprotte24 joins (~sprotte24@p200300d16f07a1007d73d2bb3e42b132.dip0.t-ipconnect.de)
19:05:26 arandombit joins (~arandombi@2603:7000:4600:ffbe:8444:30d3:95fc:6db)
19:05:26 × arandombit quits (~arandombi@2603:7000:4600:ffbe:8444:30d3:95fc:6db) (Changing host)
19:05:26 arandombit joins (~arandombi@user/arandombit)
19:07:24 peterbecich joins (~Thunderbi@syn-172-222-149-049.res.spectrum.com)
19:10:43 tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net)
19:17:39 × xstill_ quits (xstill@fimu/xstill) (Remote host closed the connection)
19:18:27 pavonia joins (~user@user/siracusa)
19:21:57 × chromoblob quits (~chromoblo@user/chromob1ot1c) (Remote host closed the connection)
19:22:14 chromoblob joins (~chromoblo@user/chromob1ot1c)
19:22:35 × peterbecich quits (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 248 seconds)
19:23:41 humasect joins (~humasect@dyn-192-249-132-90.nexicom.net)
19:24:39 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 260 seconds)
19:27:57 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 250 seconds)
19:31:38 sprotte24_ joins (~sprotte24@p5b039547.dip0.t-ipconnect.de)
19:33:15 × sprotte24 quits (~sprotte24@p200300d16f07a1007d73d2bb3e42b132.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
19:43:33 sindu joins (~sindu@176.75.108.200)
19:46:07 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
19:46:49 anselmschueler joins (~Thunderbi@user/schuelermine)
19:48:55 × ubert quits (~Thunderbi@178.165.187.121.wireless.dyn.drei.com) (Ping timeout: 265 seconds)
19:50:51 target_i joins (~target_i@user/target-i/x-6023099)
19:51:20 × segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds)
19:56:03 arandombit joins (~arandombi@user/arandombit)
20:00:40 segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net)
20:01:00 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 265 seconds)
20:01:33 lisk1n is now known as liskin
20:07:25 × davidlbowman quits (~dlb@user/davidlbowman) (Quit: WeeChat 4.1.1)
20:08:33 × michalz quits (~michalz@185.246.207.201) (Remote host closed the connection)
20:11:19 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds)
20:11:57 <__monty__> Is a recursive fold still a fold or is there a more precise concept that's handily wrapped up as a function?
20:13:25 <tomsmeding> __monty__: that probably depends on in what way exactly it is a fold :p
20:14:21 <tomsmeding> https://hackage.haskell.org/package/recursion-schemes-5.2.3/docs/Data-Functor-Foldable.html#g:3
20:14:30 <__monty__> Well, I'm actually looking to filter something.
20:15:04 <__monty__> I want to cut branches from a tree.
20:18:57 <tomsmeding> that may still fit a fold, perhaps?
20:25:55 <Leary> Filtering is folding.
20:26:32 <geekosaur> this does, however, sound like Witherable?
20:27:55 × tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
20:28:35 <Leary> You can use `cata` at, say, `(f (Fix f) -> Fix f) -> Fix f -> Fix f` to keep, drop or otherwide adjust layers of base functor as it pleases you.
20:28:43 × comonad quits (~comonad@p200300d0271055002a0ea8a8f597fb71.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
20:29:20 humasect joins (~humasect@dyn-192-249-132-90.nexicom.net)
20:30:21 comonad joins (~comonad@p200300d0271c4e00d391d7ad4093fcbc.dip0.t-ipconnect.de)
20:31:36 × sprotte24_ quits (~sprotte24@p5b039547.dip0.t-ipconnect.de) (Quit: Leaving)
20:32:52 sprotte24 joins (~sprotte24@p200300d16f0e05007d73d2bb3e42b132.dip0.t-ipconnect.de)
20:37:03 peterbecich joins (~Thunderbi@syn-172-222-149-049.res.spectrum.com)
20:45:51 × comonad quits (~comonad@p200300d0271c4e00d391d7ad4093fcbc.dip0.t-ipconnect.de) (Quit: WeeChat 4.7.0-dev)
20:48:04 × peterbecich quits (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 260 seconds)
20:52:43 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
20:55:07 <__monty__> Hmm, wither isn't recursive per se, is it?
20:56:30 <EvanR> is a recursive fold a fold, seems to answer its own question on the face of it!
20:56:37 <EvanR> unless it's like a red herring
20:59:45 × anselmschueler quits (~Thunderbi@user/schuelermine) (Remote host closed the connection)
21:05:38 arandombit joins (~arandombi@user/arandombit)
21:09:14 gmg joins (~user@user/gehmehgeh)
21:10:06 anselmschueler joins (~Thunderbi@user/schuelermine)
21:14:47 × tromp quits (~textual@2001:1c00:3487:1b00:8172:2e8c:f9b:6c5c) (Quit: My iMac has gone to sleep. ZZZzzz…)
21:15:58 × takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection)
21:17:37 × img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
21:20:25 img joins (~img@user/img)
21:21:12 jreicher joins (~user@user/jreicher)
21:25:44 peterbecich joins (~Thunderbi@syn-172-222-149-049.res.spectrum.com)
21:31:18 Lycurgus joins (~juan@user/Lycurgus)
21:48:35 <sm> ouch, matrix.org is down. https://status.matrix.org
21:49:59 <geekosaur> yep
21:51:20 × segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds)
21:52:49 × ystael quits (~ystael@user/ystael) (Ping timeout: 260 seconds)
21:54:24 × target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving)
21:57:00 segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net)
22:00:55 trickard_ is now known as trickard
22:01:07 ljdarj joins (~Thunderbi@user/ljdarj)
22:04:25 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
22:05:12 × ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds)
22:06:41 × tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 248 seconds)
22:06:51 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 248 seconds)
22:08:34 × rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) (Remote host closed the connection)
22:09:06 ljdarj joins (~Thunderbi@user/ljdarj)
22:10:39 rekahsoft joins (~rekahsoft@174.95.4.83)
22:16:34 × gabriel_sevecek quits (~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 4.7.0)
22:19:08 gabriel_sevecek joins (~gabriel@188-167-229-200.dynamic.chello.sk)
22:19:16 tomboy64 joins (~tomboy64@user/tomboy64)
22:21:28 arandombit joins (~arandombi@2603:7000:4600:ffbe:8444:30d3:95fc:6db)
22:21:28 × arandombit quits (~arandombi@2603:7000:4600:ffbe:8444:30d3:95fc:6db) (Changing host)
22:21:28 arandombit joins (~arandombi@user/arandombit)
22:28:34 Lycurgus is now known as ColinRobinson
22:29:03 × ColinRobinson quits (~juan@user/Lycurgus) (Changing host)
22:29:03 ColinRobinson joins (~juan@user/JuanDaugherty)
22:29:12 × peterbecich quits (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 248 seconds)
22:29:57 × segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 250 seconds)
22:33:05 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine)
22:34:09 Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915)
22:36:39 × ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...)
22:37:58 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
22:41:53 Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
22:42:47 Sgeo joins (~Sgeo@user/sgeo)
22:46:37 × ColinRobinson quits (~juan@user/JuanDaugherty) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
22:47:03 <EvanR> this centralized chat thing is so unreliable
22:47:03 × Vq quits (~vq@81-226-147-244-no600.tbcn.telia.com) (Ping timeout: 260 seconds)
22:47:25 <EvanR> somebody should invent a distributed set of relays which routes internet chat
22:49:56 × Arsen quits (arsen@gentoo/developer/managarm.dev.Arsen) (Ping timeout: 244 seconds)
22:55:17 <TMA> EvanR: there are some such routing schemes. I guess they are even more unreliable
22:56:24 × pierrot quits (~pi@user/pierrot) (Quit: ZNC 1.8.2 - http://znc.in)
22:56:44 pierrot joins (~pi@user/pierrot)
22:56:55 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine)
22:57:35 <EvanR> you're right, would never work
22:59:26 Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915)
23:05:03 peterbecich joins (~Thunderbi@syn-172-222-149-049.res.spectrum.com)
23:10:05 mange joins (~mange@user/mange)
23:28:24 × jespada quits (~jespada@2800:a4:2226:6800:3911:7f22:43ac:8faa) (Ping timeout: 248 seconds)
23:31:30 jespada joins (~jespada@2800:a4:2234:6500:1986:c97a:a8b1:bed2)
23:45:46 <monochrom> Everything is unreliable. >:)
23:46:16 weary-traveler joins (~user@user/user363627)
23:49:46 × tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 258 seconds)
23:51:20 × mange quits (~mange@user/mange) (Ping timeout: 248 seconds)
23:53:34 × sprotte24 quits (~sprotte24@p200300d16f0e05007d73d2bb3e42b132.dip0.t-ipconnect.de) (Quit: Leaving)
23:55:19 × Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
23:57:03 × sindu quits (~sindu@176.75.108.200) (Ping timeout: 258 seconds)
23:57:22 Nosrep joins (~jimothy@user/nosrep)

All times are in UTC on 2025-09-02.