2024/07/25

2024-07-25 00:02:50 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-07-25 00:12:36 +0200tram(~tram@94.71.169.62)
2024-07-25 00:19:37 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2024-07-25 00:23:30 +0200kuribas(~user@ptr-17d51epajiqo5s57kyl.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 27.1))
2024-07-25 00:24:51 +0200Sgeo(~Sgeo@user/sgeo)
2024-07-25 00:34:33 +0200CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-07-25 00:34:49 +0200oo_miguel(~Thunderbi@78.10.207.46) (Quit: oo_miguel)
2024-07-25 00:35:48 +0200 <prolic_> https://github.com/prolic/hsqml-demo-notes
2024-07-25 00:35:57 +0200 <prolic_> a second demo on Qt5 in Haskell made running
2024-07-25 00:37:10 +0200CrunchyFlakes(~CrunchyFl@146.52.130.128)
2024-07-25 00:41:39 +0200tcard_(~tcard@2400:4051:5801:7500:1e90:74c3:2754:ce8a)
2024-07-25 00:41:45 +0200euleritian(~euleritia@dynamic-176-006-134-017.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-07-25 00:42:04 +0200euleritian(~euleritia@77.22.252.56)
2024-07-25 00:43:06 +0200benjaminl(~benjaminl@user/benjaminl) (Ping timeout: 252 seconds)
2024-07-25 00:44:44 +0200tcard(~tcard@p3705237-ipxg22301hodogaya.kanagawa.ocn.ne.jp) (Ping timeout: 260 seconds)
2024-07-25 00:45:43 +0200prolic_(~sasa@181.122.138.24) (Read error: Connection reset by peer)
2024-07-25 01:04:45 +0200acidjnk(~acidjnk@p200300d6e72cfb366d2386d7abebf685.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2024-07-25 01:10:59 +0200misterfish(~misterfis@84.53.85.146) (Ping timeout: 260 seconds)
2024-07-25 01:14:05 +0200sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 260 seconds)
2024-07-25 01:18:07 +0200noumenon(~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving)
2024-07-25 01:50:03 +0200urdh(~urdh@user/urdh) (Ping timeout: 246 seconds)
2024-07-25 01:50:27 +0200urdh(~urdh@user/urdh)
2024-07-25 01:51:04 +0200lbseale(~quassel@user/ep1ctetus) (Quit: No Ping reply in 180 seconds.)
2024-07-25 01:51:06 +0200barthandelous01(barth@triton.blinkenshell.org) (Ping timeout: 246 seconds)
2024-07-25 01:52:19 +0200lbseale(~quassel@user/ep1ctetus)
2024-07-25 01:53:13 +0200barthandelous01(barth@triton.blinkenshell.org)
2024-07-25 01:53:25 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com) (Ping timeout: 248 seconds)
2024-07-25 01:53:53 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com)
2024-07-25 01:53:53 +0200ChanServ+v haskellbridge
2024-07-25 02:00:49 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2024-07-25 02:07:12 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds)
2024-07-25 02:10:33 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2024-07-25 02:17:58 +0200ricar(~ricar@2804:7f0:b081:713a:29dd:80d7:8c22:cf8b)
2024-07-25 02:19:09 +0200Guest0(~Guest0@2804:7f0:b081:713a:29dd:80d7:8c22:cf8b)
2024-07-25 02:19:39 +0200ricar(~ricar@2804:7f0:b081:713a:29dd:80d7:8c22:cf8b) (Client Quit)
2024-07-25 02:22:55 +0200gdown(~gavin@h69-11-148-150.kndrid.broadband.dynamic.tds.net)
2024-07-25 02:41:51 +0200madhavanmiui(~madhavanm@2409:40f4:3a:ef6f:8000::)
2024-07-25 02:43:03 +0200madhavanmiui(~madhavanm@2409:40f4:3a:ef6f:8000::) (Client Quit)
2024-07-25 02:44:39 +0200Guest0(~Guest0@2804:7f0:b081:713a:29dd:80d7:8c22:cf8b) (Quit: Client closed)
2024-07-25 02:46:55 +0200sasa_(~sasa@181.122.138.24)
2024-07-25 02:47:17 +0200sasa_prolic_
2024-07-25 02:47:32 +0200 <prolic_> hi folks
2024-07-25 02:47:47 +0200 <prolic_> regardings qt5 bindings for haskell, I just made the opengl demo work
2024-07-25 02:48:00 +0200 <prolic_> https://github.com/prolic/hsqml-demo-samples
2024-07-25 03:09:59 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-07-25 03:15:15 +0200prolic_(~sasa@181.122.138.24) (Quit: Leaving)
2024-07-25 03:23:54 +0200poscat(~poscat@user/poscat) (Quit: Bye)
2024-07-25 03:28:43 +0200szkl(uid110435@id-110435.uxbridge.irccloud.com)
2024-07-25 03:29:46 +0200poscat(~poscat@user/poscat)
2024-07-25 03:30:33 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-07-25 03:34:39 +0200billchenchina-(~billchenc@210.110.131.60)
2024-07-25 03:54:51 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 252 seconds)
2024-07-25 03:55:57 +0200xff0x(~xff0x@2405:6580:b080:900:8fcf:75e8:d4d3:15fa) (Ping timeout: 252 seconds)
2024-07-25 03:59:36 +0200billchenchina-(~billchenc@210.110.131.60) (Quit: Leaving)
2024-07-25 04:03:04 +0200Square2(~Square@user/square) (Ping timeout: 260 seconds)
2024-07-25 04:07:24 +0200CrunchyFlakes(~CrunchyFl@146.52.130.128) (Read error: Connection reset by peer)
2024-07-25 04:09:47 +0200CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de)
2024-07-25 04:14:55 +0200td_(~td@i53870916.versanet.de) (Ping timeout: 260 seconds)
2024-07-25 04:16:31 +0200td_(~td@i53870924.versanet.de)
2024-07-25 04:19:56 +0200pyooque(~puke@user/puke)
2024-07-25 04:19:56 +0200pukeGuest5956
2024-07-25 04:19:56 +0200pyooquepuke
2024-07-25 04:22:30 +0200Guest5956(~puke@user/puke) (Ping timeout: 260 seconds)
2024-07-25 04:38:36 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 265 seconds)
2024-07-25 04:41:50 +0200mikess(~mikess@user/mikess)
2024-07-25 04:44:21 +0200puke(~puke@user/puke) (Quit: puke)
2024-07-25 04:47:04 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2024-07-25 04:58:20 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds)
2024-07-25 05:17:09 +0200benjaminl(~benjaminl@user/benjaminl)
2024-07-25 05:32:30 +0200tram(~tram@94.71.169.62) (Quit: Leaving.)
2024-07-25 05:36:49 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-07-25 05:44:43 +0200j_(~Guest5@2601:282:1a7f:4fb0:bc74:ec62:c557:3079)
2024-07-25 05:45:36 +0200ystael(~ystael@user/ystael) (Ping timeout: 252 seconds)
2024-07-25 05:48:59 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2024-07-25 05:55:17 +0200aforemny_(~aforemny@i59F516CE.versanet.de)
2024-07-25 05:55:39 +0200aforemny(~aforemny@2001:9e8:6cf8:db00:b657:96fb:9374:58f5) (Ping timeout: 276 seconds)
2024-07-25 05:59:30 +0200mikess(~mikess@user/mikess) (Quit: nyaa~)
2024-07-25 06:09:15 +0200sympt(~sympt@user/sympt) (Ping timeout: 260 seconds)
2024-07-25 06:33:10 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2024-07-25 06:34:44 +0200tram(~tram@94.71.169.62)
2024-07-25 06:35:49 +0200 <jle`> nice
2024-07-25 06:45:58 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-07-25 06:50:15 +0200tt123109783(~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Ping timeout: 276 seconds)
2024-07-25 06:53:32 +0200michalz(~michalz@185.246.207.222)
2024-07-25 06:54:31 +0200tram(~tram@94.71.169.62) (Quit: Leaving.)
2024-07-25 07:02:44 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2024-07-25 07:13:17 +0200szkl(uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2024-07-25 07:19:16 +0200gdown(~gavin@h69-11-148-150.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection)
2024-07-25 07:29:09 +0200 <probie> Are there any "code quality" analysis tools for Haskell?
2024-07-25 07:30:26 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-07-25 07:30:54 +0200 <Lears> probie: stan
2024-07-25 07:31:52 +0200tt123109783(~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee)
2024-07-25 07:35:22 +0200 <probie> are there any others? stan has the slightly annoying requirement of not operating directly on the source, _and_ needing to match GHC versions
2024-07-25 07:40:21 +0200 <haskellbridge> <bdub> probie: HLint works well enough
2024-07-25 07:40:46 +0200 <haskellbridge> <bdub> Least for this noob ;)
2024-07-25 07:42:15 +0200tt123109783(~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Ping timeout: 276 seconds)
2024-07-25 07:42:34 +0200misterfish(~misterfis@84.53.85.146)
2024-07-25 07:46:22 +0200zmt00(~zmt00@user/zmt00) (Quit: Leaving)
2024-07-25 07:47:28 +0200Midjak(~MarciZ@82.66.147.146)
2024-07-25 07:50:44 +0200Midjak(~MarciZ@82.66.147.146) (Client Quit)
2024-07-25 07:51:36 +0200tt123109783(~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee)
2024-07-25 07:52:18 +0200 <probie> bdub: This isn't about results, it's about ticking boxes. hlint is a "linter" so doesn't sound adequate, even if the distinction between a linter and a static analysis tool is rather fuzzy
2024-07-25 07:55:32 +0200 <haskellbridge> <magic_rb> Fork it and sed/linter/static analyzer/g
2024-07-25 07:55:49 +0200 <jackdk> Can you make GHC itself fit the definition of "static analyser" on your compliance doc? It does a lot of that
2024-07-25 07:56:59 +0200tt123109783(~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Ping timeout: 260 seconds)
2024-07-25 07:59:44 +0200tt123109783(~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee)
2024-07-25 08:10:12 +0200misterfish(~misterfis@84.53.85.146) (Ping timeout: 276 seconds)
2024-07-25 08:14:35 +0200JuanDaugherty(~juan@user/JuanDaugherty)
2024-07-25 08:14:45 +0200 <[exa]> probie: -Wstrict
2024-07-25 08:15:03 +0200 <Axman6> type systems are static analysis
2024-07-25 08:19:12 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2024-07-25 08:19:39 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2024-07-25 08:20:20 +0200euleritian(~euleritia@77.22.252.56) (Ping timeout: 252 seconds)
2024-07-25 08:20:44 +0200euleritian(~euleritia@dynamic-176-006-131-216.176.6.pool.telefonica.de)
2024-07-25 08:24:40 +0200 <haskellbridge> <maerwald> Axman6: You mean type checker
2024-07-25 08:27:49 +0200ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
2024-07-25 08:28:26 +0200ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se)
2024-07-25 08:28:29 +0200jle`(~jle`@2603:8001:3b02:84d4:4d0a:e160:f7c1:70f5) (Ping timeout: 260 seconds)
2024-07-25 08:29:11 +0200jle`(~jle`@2603:8001:3b02:84d4:dd06:efe9:8bc2:a7e6)
2024-07-25 08:30:15 +0200sord937(~sord937@gateway/tor-sasl/sord937)
2024-07-25 08:36:47 +0200 <Franciman> aren't type systems coarse denotational semantics?
2024-07-25 08:36:56 +0200echoreply(~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (Quit: WeeChat 2.8)
2024-07-25 08:38:17 +0200echoreply(~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d)
2024-07-25 08:43:41 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-07-25 08:44:41 +0200JuanDaughertyimagined coarse in sense of not mapping to integer functions or something but couldn connect that notion from first exposure to denotional semantics in strachey's popular book to todays enwiki article
2024-07-25 08:45:42 +0200 <JuanDaugherty> in any case finished production worthy thing vs ivory tower salient
2024-07-25 08:46:17 +0200 <JuanDaugherty> computing jeremiad or whatever
2024-07-25 08:54:50 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2024-07-25 08:55:03 +0200acidjnk(~acidjnk@p200300d6e72cfb03f05f6f54f1bcaaa6.dip0.t-ipconnect.de)
2024-07-25 08:57:19 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2024-07-25 09:02:18 +0200ft(~ft@p3e9bc4e7.dip0.t-ipconnect.de) (Quit: leaving)
2024-07-25 09:25:51 +0200slack1256(~slack1256@2803:c600:5111:80cb:380e:34f2:2727:e112) (Ping timeout: 244 seconds)
2024-07-25 09:39:31 +0200danse-nr3(~danse-nr3@user/danse-nr3)
2024-07-25 09:46:29 +0200acidjnk(~acidjnk@p200300d6e72cfb03f05f6f54f1bcaaa6.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2024-07-25 09:50:30 +0200euleritian(~euleritia@dynamic-176-006-131-216.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-07-25 09:50:48 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-07-25 09:51:49 +0200vpan(~vpan@212.117.1.172)
2024-07-25 09:56:18 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-07-25 10:09:59 +0200misterfish(~misterfis@87.215.131.102)
2024-07-25 10:20:35 +0200danse-nr3(~danse-nr3@user/danse-nr3) (Quit: restarting)
2024-07-25 10:23:11 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-07-25 10:30:53 +0200cfricke(~cfricke@user/cfricke)
2024-07-25 10:33:00 +0200mikess(~mikess@user/mikess)
2024-07-25 10:51:01 +0200misterfish(~misterfis@87.215.131.102) (Ping timeout: 248 seconds)
2024-07-25 10:53:02 +0200misterfish(~misterfis@178.225.156.106)
2024-07-25 10:54:20 +0200billchenchina-(~billchenc@210.110.131.60)
2024-07-25 11:04:09 +0200vizimajac(~Rodney@90.201.223.82) (Ping timeout: 245 seconds)
2024-07-25 11:04:31 +0200CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-07-25 11:05:44 +0200vizimajac(~Rodney@92.40.181.182.threembb.co.uk)
2024-07-25 11:06:59 +0200CrunchyFlakes(~CrunchyFl@146.52.130.128)
2024-07-25 11:09:14 +0200lol_(~lol@2603:3016:1e01:b9a0:b0d0:e22d:2e3b:6bd1)
2024-07-25 11:09:32 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
2024-07-25 11:11:41 +0200Guest48(~Guest48@remote.dynamics.be)
2024-07-25 11:12:25 +0200danse-glirc(~danse-gli@151.37.250.22)
2024-07-25 11:12:34 +0200simendsjo(~user@2001:2044:1413:800:c4c9:16db:19ee:b47c)
2024-07-25 11:13:22 +0200jcarpenter2(~lol@2603:3016:1e01:b9a0:2067:c56:157c:96de) (Ping timeout: 248 seconds)
2024-07-25 11:15:12 +0200chele(~chele@user/chele)
2024-07-25 11:15:14 +0200skyesoss(~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) (Ping timeout: 252 seconds)
2024-07-25 11:15:33 +0200j_(~Guest5@2601:282:1a7f:4fb0:bc74:ec62:c557:3079) (Quit: Client closed)
2024-07-25 11:18:45 +0200Rodney-(~Rodney@90.201.223.82)
2024-07-25 11:19:16 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 252 seconds)
2024-07-25 11:19:22 +0200Guest48(~Guest48@remote.dynamics.be) (Quit: Client closed)
2024-07-25 11:20:52 +0200jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Quit: Textual IRC Client: www.textualapp.com)
2024-07-25 11:22:19 +0200vizimajac(~Rodney@92.40.181.182.threembb.co.uk) (Ping timeout: 264 seconds)
2024-07-25 11:31:03 +0200sawilagar(~sawilagar@user/sawilagar)
2024-07-25 11:36:52 +0200andreas808(andreas303@is.drunk.and.ready-to.party)
2024-07-25 11:37:26 +0200andreas303(andreas303@is.drunk.and.ready-to.party) (Read error: Connection reset by peer)
2024-07-25 11:38:11 +0200y-koj(~yk@2404:7a81:c840:5e00:c44:429d:83d8:df96) (Quit: WeeChat 4.2.1)
2024-07-25 11:38:50 +0200 <hadronized> I’m still kinda obsessed with testing LinearTypes to see whether it provides more performance lately; I wonder how much the community has switched to using it for things like heavy resource utilization, etc.
2024-07-25 11:38:50 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-07-25 11:42:02 +0200danse-glirc(~danse-gli@151.37.250.22) (Quit: Client closed)
2024-07-25 11:42:07 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2024-07-25 11:42:07 +0200billchenchina-(~billchenc@210.110.131.60) (Remote host closed the connection)
2024-07-25 11:42:26 +0200euleritian(~euleritia@dynamic-176-006-131-216.176.6.pool.telefonica.de)
2024-07-25 11:44:30 +0200euleritian(~euleritia@dynamic-176-006-131-216.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-07-25 11:45:01 +0200euleritian(~euleritia@77.22.252.56)
2024-07-25 11:46:22 +0200drdo(~drdo@bl5-29-74.dsl.telepac.pt) (Remote host closed the connection)
2024-07-25 11:46:59 +0200drdo(~drdo@bl5-29-74.dsl.telepac.pt)
2024-07-25 11:48:09 +0200danse-glirc(~danse-gli@151.37.250.22)
2024-07-25 11:49:41 +0200euleritian(~euleritia@77.22.252.56) (Read error: Connection reset by peer)
2024-07-25 11:51:05 +0200euleritian(~euleritia@77.22.252.56)
2024-07-25 12:03:05 +0200xff0x(~xff0x@2405:6580:b080:900:c695:3b30:f4d2:83e8)
2024-07-25 12:04:12 +0200galois`(~user@169-136-067-156.ip-addr.inexio.net)
2024-07-25 12:07:47 +0200jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net)
2024-07-25 12:08:28 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2024-07-25 12:09:32 +0200danse-glirc(~danse-gli@151.37.250.22) (Quit: Client closed)
2024-07-25 12:11:33 +0200skyesoss(~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net)
2024-07-25 12:15:40 +0200jespada_(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net)
2024-07-25 12:15:44 +0200danse-glirc(~danse-gli@151.37.250.22)
2024-07-25 12:16:13 +0200danse-glircdanse-web
2024-07-25 12:16:22 +0200euleritian(~euleritia@77.22.252.56) (Read error: Connection reset by peer)
2024-07-25 12:17:18 +0200euleritian(~euleritia@77.22.252.56)
2024-07-25 12:17:55 +0200skyesoss(~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) (Ping timeout: 252 seconds)
2024-07-25 12:19:33 +0200euleritian(~euleritia@77.22.252.56) (Read error: Connection reset by peer)
2024-07-25 12:20:20 +0200jespada_(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Client Quit)
2024-07-25 12:20:28 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-07-25 12:27:35 +0200billchenchina-(~billchenc@210.110.131.60)
2024-07-25 12:33:27 +0200billchenchina-(~billchenc@210.110.131.60) (Quit: Leaving)
2024-07-25 12:34:41 +0200tram(~tram@94.71.169.62)
2024-07-25 12:42:04 +0200jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Remote host closed the connection)
2024-07-25 12:45:35 +0200troydm(~troydm@user/troydm)
2024-07-25 12:46:43 +0200jrm(~jrm@user/jrm) (Quit: ciao)
2024-07-25 12:48:18 +0200jrm(~jrm@user/jrm)
2024-07-25 12:56:01 +0200 <galois`> learn you a haskell for great
2024-07-25 12:56:33 +0200 <galois`> ... good
2024-07-25 12:57:32 +0200 <danse-web> ?
2024-07-25 13:03:21 +0200galois`(~user@169-136-067-156.ip-addr.inexio.net) (Ping timeout: 276 seconds)
2024-07-25 13:13:28 +0200oo_miguel(~Thunderbi@78.10.207.46)
2024-07-25 13:14:12 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2024-07-25 13:15:09 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2024-07-25 13:19:09 +0200tram(~tram@94.71.169.62) (Ping timeout: 245 seconds)
2024-07-25 13:23:19 +0200ticat(~ticat@156.251.183.153)
2024-07-25 13:24:13 +0200galois`(~user@169-136-067-156.ip-addr.inexio.net)
2024-07-25 13:24:24 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-07-25 13:28:48 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2024-07-25 13:28:57 +0200euleritian(~euleritia@dynamic-176-006-131-216.176.6.pool.telefonica.de)
2024-07-25 13:29:18 +0200mikess(~mikess@user/mikess) (Ping timeout: 265 seconds)
2024-07-25 13:34:41 +0200danse-web(~danse-gli@151.37.250.22) (Ping timeout: 256 seconds)
2024-07-25 13:37:27 +0200troydm(~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset)
2024-07-25 13:41:59 +0200jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net)
2024-07-25 13:52:54 +0200euleritian(~euleritia@dynamic-176-006-131-216.176.6.pool.telefonica.de) (Ping timeout: 252 seconds)
2024-07-25 13:53:52 +0200euleritian(~euleritia@dynamic-176-003-089-167.176.3.pool.telefonica.de)
2024-07-25 14:02:38 +0200__monty__(~toonn@user/toonn)
2024-07-25 14:05:25 +0200zerozzz
2024-07-25 14:07:24 +0200tram(~tram@94.71.169.62)
2024-07-25 14:07:40 +0200 <zzz> i just learned why disjoint unions are called disjoint unions and although it makes sense, i just feel the need to vent that set/category theorists are horrible at naming things
2024-07-25 14:08:54 +0200danse-glirc(~danse-gli@151.37.250.22)
2024-07-25 14:09:58 +0200 <danse-glirc> which name do you propose instead zzz?
2024-07-25 14:10:29 +0200danse-glircdanse-web
2024-07-25 14:13:15 +0200galois`(~user@169-136-067-156.ip-addr.inexio.net) (Remote host closed the connection)
2024-07-25 14:13:33 +0200 <zzz> danse-glirc: i'm not specifically criticizing it, don't get me wrong. but after learning so many new confusing terms, the apparent (and humorous) contradiction in "disjoint union" just hit a nerve :p
2024-07-25 14:13:34 +0200jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Quit: My Mac has gone to sleep. ZZZzzz…)
2024-07-25 14:16:40 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2024-07-25 14:17:21 +0200 <zzz> follow it with the relationship between them as sum types relating to coproducts and the "fun" continues
2024-07-25 14:17:36 +0200 <danse-web> before stating that a term is "confusing", maybe check whether your learning process is. Not sure you realise that we live in a world of inscrutable (and loud) acronyms
2024-07-25 14:18:16 +0200 <danse-web> something like "disjoint union" is a luxury that most of the times we cannot afford
2024-07-25 14:19:09 +0200 <zzz> my learning process is very probably at fault, yes :)
2024-07-25 14:19:47 +0200 <zzz> it's curiosity driven and as such structure definitely suffers
2024-07-25 14:20:39 +0200tram(~tram@94.71.169.62) (Quit: Leaving.)
2024-07-25 14:21:37 +0200 <danse-web> if i may dare a guess, maybe the issue lies elsewhere, for instance in its speed. I can imagine that after one gets acquainted with "union" to the point where the technical meaning means more than the natural language one, and after learning that there can be different types of unions, then having a "disjoint union" does not sound that strange
2024-07-25 14:25:53 +0200 <zzz> danse-web: i agree, it does make sense
2024-07-25 14:26:15 +0200ddellacosta(~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 260 seconds)
2024-07-25 14:29:12 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-07-25 14:29:52 +0200euleritian(~euleritia@dynamic-176-003-089-167.176.3.pool.telefonica.de) (Read error: Connection reset by peer)
2024-07-25 14:30:23 +0200euleritian(~euleritia@77.22.252.56)
2024-07-25 14:30:23 +0200 <zzz> the effect is maybe amplified by the translation to my native language
2024-07-25 14:31:06 +0200 <zzz> where junction and union are the same word
2024-07-25 14:33:00 +0200 <danse-web> yeah i see how it can sound funny with some imagination
2024-07-25 14:33:55 +0200danse-nr3(~danse-nr3@user/danse-nr3)
2024-07-25 14:37:10 +0200danse-web(~danse-gli@151.37.250.22) (Quit: other client)
2024-07-25 14:41:52 +0200omegatron(~some@user/omegatron)
2024-07-25 14:42:39 +0200tram(~tram@2a02:587:b43:7300:a89e:683a:2da1:a2ed)
2024-07-25 14:44:37 +0200euleritian(~euleritia@77.22.252.56) (Ping timeout: 248 seconds)
2024-07-25 14:45:36 +0200ticat(~ticat@156.251.183.153) (Quit: Client closed)
2024-07-25 14:45:49 +0200euleritian(~euleritia@dynamic-176-003-089-167.176.3.pool.telefonica.de)
2024-07-25 14:46:42 +0200misterfish(~misterfis@178.225.156.106) (Ping timeout: 276 seconds)
2024-07-25 14:47:44 +0200misterfish(~misterfis@87.215.131.102)
2024-07-25 14:52:04 +0200szkl(uid110435@2a03:5180:f:5::1:af63)
2024-07-25 14:55:12 +0200ystael(~ystael@user/ystael)
2024-07-25 14:55:39 +0200tram(~tram@2a02:587:b43:7300:a89e:683a:2da1:a2ed) (Remote host closed the connection)
2024-07-25 14:55:41 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2024-07-25 14:55:56 +0200tram(~tram@2a02:587:b43:7300:a89e:683a:2da1:a2ed)
2024-07-25 14:58:44 +0200slack1256(~slack1256@2803:c600:5111:80cb:ffde:2539:7254:2ff5)
2024-07-25 15:06:35 +0200jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net)
2024-07-25 15:08:47 +0200danse-nr3(~danse-nr3@user/danse-nr3) (Read error: Connection reset by peer)
2024-07-25 15:09:31 +0200hgolden(~hgolden@2603:8000:9d00:3ed1:1ee4:1b7c:94a7:8fa7)
2024-07-25 15:09:42 +0200danse-nr3(~danse-nr3@user/danse-nr3)
2024-07-25 15:23:38 +0200acidjnk(~acidjnk@p200300d6e72cfb03f05f6f54f1bcaaa6.dip0.t-ipconnect.de)
2024-07-25 15:23:40 +0200pkal(~pkal@static.159.65.245.188.clients.your-server.de) (Remote host closed the connection)
2024-07-25 15:24:11 +0200pkal(~pkal@2a01:4f8:1c1b:a321::)
2024-07-25 15:26:00 +0200tram(~tram@2a02:587:b43:7300:a89e:683a:2da1:a2ed) (Remote host closed the connection)
2024-07-25 15:26:19 +0200tram(~tram@2a02:587:b43:7300:a89e:683a:2da1:a2ed)
2024-07-25 15:29:27 +0200pkal(~pkal@2a01:4f8:1c1b:a321::) (Remote host closed the connection)
2024-07-25 15:29:57 +0200pkal(~pkal@2a01:4f8:1c1b:a321::)
2024-07-25 15:33:04 +0200Square2(~Square@user/square)
2024-07-25 15:34:01 +0200pkal(~pkal@2a01:4f8:1c1b:a321::) (Remote host closed the connection)
2024-07-25 15:34:32 +0200pkal(~pkal@2a01:4f8:1c1b:a321::)
2024-07-25 15:36:24 +0200euleritian(~euleritia@dynamic-176-003-089-167.176.3.pool.telefonica.de) (Read error: Connection reset by peer)
2024-07-25 15:36:34 +0200kuribas(~user@ptr-17d51enp2xepfmiuieg.18120a2.ip6.access.telenet.be)
2024-07-25 15:37:02 +0200euleritian(~euleritia@77.22.252.56)
2024-07-25 15:38:20 +0200pkal(~pkal@2a01:4f8:1c1b:a321::) (Remote host closed the connection)
2024-07-25 15:38:53 +0200pkal(~pkal@2a01:4f8:1c1b:a321::)
2024-07-25 15:39:31 +0200rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2024-07-25 15:40:00 +0200rvalue(~rvalue@user/rvalue)
2024-07-25 15:43:14 +0200billchenchina-(~billchenc@118.38.173.226)
2024-07-25 15:44:22 +0200pkal(~pkal@2a01:4f8:1c1b:a321::) (Remote host closed the connection)
2024-07-25 15:44:54 +0200pkal(~pkal@2a01:4f8:1c1b:a321::)
2024-07-25 15:45:37 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-07-25 15:45:37 +0200Sgeo(~Sgeo@user/sgeo)
2024-07-25 15:52:39 +0200 <zzz> come to think of it, set can also be translated to the same word
2024-07-25 15:53:14 +0200danse-nr3(~danse-nr3@user/danse-nr3) (Quit: got to go)
2024-07-25 15:54:32 +0200pkal(~pkal@2a01:4f8:1c1b:a321::) (Remote host closed the connection)
2024-07-25 15:54:38 +0200euleritian(~euleritia@77.22.252.56) (Ping timeout: 252 seconds)
2024-07-25 15:55:09 +0200pkal(~pkal@2a01:4f8:1c1b:a321::)
2024-07-25 15:55:18 +0200euleritian(~euleritia@dynamic-176-003-089-167.176.3.pool.telefonica.de)
2024-07-25 16:01:22 +0200 <ncf> zzz: category theorists call those coproducts (whether that's a better name is up for debate)
2024-07-25 16:06:44 +0200acidjnk(~acidjnk@p200300d6e72cfb03f05f6f54f1bcaaa6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2024-07-25 16:13:28 +0200stef204(~stef204@user/stef204)
2024-07-25 16:13:54 +0200pkal(~pkal@2a01:4f8:1c1b:a321::) (Remote host closed the connection)
2024-07-25 16:14:24 +0200pkal(~pkal@2a01:4f8:1c1b:a321::)
2024-07-25 16:14:59 +0200cfricke(~cfricke@user/cfricke) (Ping timeout: 245 seconds)
2024-07-25 16:15:53 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-07-25 16:19:24 +0200skyesoss(~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net)
2024-07-25 16:20:55 +0200stef204(~stef204@user/stef204) (Quit: WeeChat 4.2.1)
2024-07-25 16:23:22 +0200pkal(~pkal@2a01:4f8:1c1b:a321::) (Remote host closed the connection)
2024-07-25 16:23:54 +0200pkal(~pkal@2a01:4f8:1c1b:a321::)
2024-07-25 16:23:55 +0200skyesoss(~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) (Ping timeout: 272 seconds)
2024-07-25 16:27:39 +0200cfricke(~cfricke@user/cfricke)
2024-07-25 16:37:40 +0200infinity0(~infinity0@pwned.gg) (Quit: WeeChat 4.3.1)
2024-07-25 16:38:08 +0200tram(~tram@2a02:587:b43:7300:a89e:683a:2da1:a2ed) (Remote host closed the connection)
2024-07-25 16:38:32 +0200infinity0(~infinity0@pwned.gg)
2024-07-25 16:38:53 +0200tram(~tram@2a02:587:b43:7300:a89e:683a:2da1:a2ed)
2024-07-25 16:41:37 +0200billchenchina-(~billchenc@118.38.173.226) (Quit: Leaving)
2024-07-25 16:45:09 +0200euleritian(~euleritia@dynamic-176-003-089-167.176.3.pool.telefonica.de) (Read error: Connection reset by peer)
2024-07-25 16:45:14 +0200falafel(~falafel@2a0c:5a84:e301:4d01::5c13)
2024-07-25 16:45:28 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-07-25 16:47:04 +0200misterfish(~misterfis@87.215.131.102) (Ping timeout: 252 seconds)
2024-07-25 16:47:43 +0200skyesoss(~Thunderbi@128.135.204.35)
2024-07-25 16:51:59 +0200tram(~tram@2a02:587:b43:7300:a89e:683a:2da1:a2ed) (Remote host closed the connection)
2024-07-25 16:52:19 +0200tram(~tram@2a02:587:b43:7300:a89e:683a:2da1:a2ed)
2024-07-25 17:02:29 +0200danse-nr3(~danse-nr3@user/danse-nr3)
2024-07-25 17:03:12 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds)
2024-07-25 17:07:06 +0200falafel(~falafel@2a0c:5a84:e301:4d01::5c13) (Ping timeout: 276 seconds)
2024-07-25 17:07:57 +0200euleritian(~euleritia@dynamic-176-003-089-167.176.3.pool.telefonica.de)
2024-07-25 17:10:20 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-07-25 17:12:43 +0200euleritian(~euleritia@dynamic-176-003-089-167.176.3.pool.telefonica.de) (Read error: Connection reset by peer)
2024-07-25 17:13:00 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-07-25 17:15:01 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-07-25 17:15:45 +0200euleritian(~euleritia@77.22.252.56)
2024-07-25 17:18:59 +0200acidjnk(~acidjnk@p200300d6e72cfb03bc7a1a14f590e127.dip0.t-ipconnect.de)
2024-07-25 17:27:35 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2024-07-25 17:31:57 +0200qqe(~qqq@92.43.167.61)
2024-07-25 17:35:24 +0200chele(~chele@user/chele) (Remote host closed the connection)
2024-07-25 17:41:45 +0200krei-se(~krei-se@p5085de4b.dip0.t-ipconnect.de) (Quit: ZNC 1.9.1 - https://znc.in)
2024-07-25 17:43:49 +0200krei-se(~krei-se@p5085de4b.dip0.t-ipconnect.de)
2024-07-25 17:46:58 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Quit: ChaiTRex)
2024-07-25 17:49:38 +0200JuanDaugherty(~juan@user/JuanDaugherty)
2024-07-25 17:51:52 +0200mikess(~mikess@user/mikess)
2024-07-25 17:52:40 +0200econo_(uid147250@id-147250.tinside.irccloud.com)
2024-07-25 17:53:10 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2024-07-25 17:53:55 +0200danse-nr3(~danse-nr3@user/danse-nr3) (Quit: reloading conf)
2024-07-25 17:54:44 +0200danse-nr3(~danse-nr3@user/danse-nr3)
2024-07-25 18:03:34 +0200cfricke(~cfricke@user/cfricke) (Quit: WeeChat 4.2.2)
2024-07-25 18:07:48 +0200Midjak(~MarciZ@82.66.147.146)
2024-07-25 18:19:36 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-07-25 18:19:41 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2024-07-25 18:22:00 +0200kuribas(~user@ptr-17d51enp2xepfmiuieg.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 27.1))
2024-07-25 18:23:47 +0200Midjak(~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep)
2024-07-25 18:38:33 +0200danse-nr3(~danse-nr3@user/danse-nr3) (Quit: life calls)
2024-07-25 18:39:46 +0200Midjak(~MarciZ@82.66.147.146)
2024-07-25 18:49:50 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-07-25 18:52:08 +0200vpan(~vpan@212.117.1.172) (Quit: Leaving.)
2024-07-25 18:53:15 +0200 <zzz> ncf: yes, i made a comment about that also :)
2024-07-25 19:05:47 +0200mikess(~mikess@user/mikess) (Quit: nyaa~)
2024-07-25 19:10:55 +0200tomku(~tomku@user/tomku) (Ping timeout: 252 seconds)
2024-07-25 19:11:09 +0200tomku(~tomku@user/tomku)
2024-07-25 19:16:06 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-07-25 19:24:10 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-07-25 19:31:49 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2024-07-25 19:37:40 +0200CrunchyFlakes(~CrunchyFl@146.52.130.128) (Quit: ZNC 1.8.2 - https://znc.in)
2024-07-25 19:37:57 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com) (Ping timeout: 248 seconds)
2024-07-25 19:38:27 +0200CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de)
2024-07-25 19:40:25 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com)
2024-07-25 19:40:25 +0200ChanServ+v haskellbridge
2024-07-25 19:44:42 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2024-07-25 19:46:46 +0200noctux(~noctux@user/noctux) (Read error: Connection reset by peer)
2024-07-25 19:54:11 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2024-07-25 19:54:33 +0200 <[exa]> am I doing something completely wrong or the "standalone deriving" and "deriving via" cannot be combined? (whatever I'm doing it thinks `via` is a type variable parameter)
2024-07-25 20:02:25 +0200 <[exa]> oh wow it's `deriving via X instance Y` but not `deriving instance X via Y`. thanks #haskell for rubberducking. :D
2024-07-25 20:03:19 +0200 <EvanR> 🦆
2024-07-25 20:03:45 +0200noctux(~noctux@user/noctux)
2024-07-25 20:04:05 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com) (Ping timeout: 248 seconds)
2024-07-25 20:06:33 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com)
2024-07-25 20:06:33 +0200ChanServ+v haskellbridge
2024-07-25 20:07:37 +0200 <dminuoso> That is certainly a quirky order, [exa].
2024-07-25 20:07:56 +0200 <dminuoso> ... deriving (Semigroup, Monoid)
2024-07-25 20:07:59 +0200 <dminuoso> oops
2024-07-25 20:08:22 +0200 <dminuoso> ... deriving (Semigroup, Monoid) via (a -> App m b)
2024-07-25 20:08:25 +0200 <dminuoso> deriving via (a -> App m b) instance Monoid (Kleisli m a b)
2024-07-25 20:08:55 +0200 <[exa]> whew
2024-07-25 20:10:23 +0200 <[exa]> anyway yeah I got schooled in the later step, was trying to do something like `deriving via (SomeMarker (f a)) instance (ToJSON1 f, ToJSON a) => ToJSON (f a)` but that causes overlapping instance head because `(f a) ~ SomeMarker (anotherF anotherA)`
2024-07-25 20:11:18 +0200mauke(~mauke@user/mauke) (Read error: Connection reset by peer)
2024-07-25 20:11:36 +0200mauke(~mauke@user/mauke)
2024-07-25 20:11:40 +0200 <[exa]> the ToJSON1 + ToJSON = bigger ToJSON combo looks wunderbar but I guess it's just too invasive
2024-07-25 20:22:40 +0200vgtw(~vgtw@user/vgtw)
2024-07-25 20:24:49 +0200misterfish(~misterfis@84.53.85.146)
2024-07-25 20:27:34 +0200hc(~hc@2407:d200:d002:43:229:85:195:3)
2024-07-25 20:32:33 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com) (Ping timeout: 252 seconds)
2024-07-25 20:34:21 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com)
2024-07-25 20:34:21 +0200ChanServ+v haskellbridge
2024-07-25 20:42:46 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 252 seconds)
2024-07-25 20:49:05 +0200glguy(glguy@libera/staff/glguy) (*.net *.split)
2024-07-25 20:49:05 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (*.net *.split)
2024-07-25 20:49:05 +0200krei-se(~krei-se@p5085de4b.dip0.t-ipconnect.de) (*.net *.split)
2024-07-25 20:49:05 +0200qqe(~qqq@92.43.167.61) (*.net *.split)
2024-07-25 20:49:05 +0200skyesoss(~Thunderbi@128.135.204.35) (*.net *.split)
2024-07-25 20:49:05 +0200Sgeo(~Sgeo@user/sgeo) (*.net *.split)
2024-07-25 20:49:05 +0200xff0x(~xff0x@2405:6580:b080:900:c695:3b30:f4d2:83e8) (*.net *.split)
2024-07-25 20:49:05 +0200lambdabot(~lambdabot@haskell/bot/lambdabot) (*.net *.split)
2024-07-25 20:49:05 +0200auri(~auri@fsf/member/auri) (*.net *.split)
2024-07-25 20:49:05 +0200coldtom(~coldtom@coldrick.cc) (*.net *.split)
2024-07-25 20:49:05 +0200cheater(~Username@user/cheater) (*.net *.split)
2024-07-25 20:49:05 +0200chaitlatte0(ea29c0bb16@user/chaitlatte0) (*.net *.split)
2024-07-25 20:49:05 +0200fvr(ef3e56ca8b@2a03:6000:1812:100::3c4) (*.net *.split)
2024-07-25 20:49:05 +0200arcadewise(52968ed80d@2a03:6000:1812:100::3df) (*.net *.split)
2024-07-25 20:49:05 +0200shreyasminocha(51fdc93eda@user/shreyasminocha) (*.net *.split)
2024-07-25 20:49:05 +0200sus(1b7af6299f@user/zeromomentum) (*.net *.split)
2024-07-25 20:49:05 +0200ymherklotz(cb2c9cfbdd@2a03:6000:1812:100::29a) (*.net *.split)
2024-07-25 20:49:05 +0200bsima1(9d7e39c8ad@2a03:6000:1812:100::dd) (*.net *.split)
2024-07-25 20:49:05 +0200ggb(a62ffbaf4f@2a03:6000:1812:100::3ac) (*.net *.split)
2024-07-25 20:49:05 +0200orcus(~orcus@mail.brprice.uk) (*.net *.split)
2024-07-25 20:49:05 +0200tjbc(~tjbc@user/fliife) (*.net *.split)
2024-07-25 20:49:05 +0200dostoyevsky2(~sck@user/dostoyevsky2) (*.net *.split)
2024-07-25 20:49:05 +0200end(~end@user/end/x-0094621) (*.net *.split)
2024-07-25 20:49:05 +0200Natch(~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (*.net *.split)
2024-07-25 20:49:05 +0200xal(~xal@mx1.xal.systems) (*.net *.split)
2024-07-25 20:49:05 +0200cyphase(~cyphase@user/cyphase) (*.net *.split)
2024-07-25 20:49:05 +0200down200(~down200@shell.lug.mtu.edu) (*.net *.split)
2024-07-25 20:49:22 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-07-25 20:49:22 +0200krei-se(~krei-se@p5085de4b.dip0.t-ipconnect.de)
2024-07-25 20:49:22 +0200qqe(~qqq@92.43.167.61)
2024-07-25 20:49:22 +0200skyesoss(~Thunderbi@128.135.204.35)
2024-07-25 20:49:22 +0200Sgeo(~Sgeo@user/sgeo)
2024-07-25 20:49:22 +0200xff0x(~xff0x@2405:6580:b080:900:c695:3b30:f4d2:83e8)
2024-07-25 20:49:22 +0200lambdabot(~lambdabot@haskell/bot/lambdabot)
2024-07-25 20:49:22 +0200auri(~auri@fsf/member/auri)
2024-07-25 20:49:22 +0200coldtom(~coldtom@coldrick.cc)
2024-07-25 20:49:22 +0200cheater(~Username@user/cheater)
2024-07-25 20:49:22 +0200chaitlatte0(ea29c0bb16@user/chaitlatte0)
2024-07-25 20:49:22 +0200fvr(ef3e56ca8b@2a03:6000:1812:100::3c4)
2024-07-25 20:49:22 +0200ymherklotz(cb2c9cfbdd@2a03:6000:1812:100::29a)
2024-07-25 20:49:22 +0200sus(1b7af6299f@user/zeromomentum)
2024-07-25 20:49:22 +0200shreyasminocha(51fdc93eda@user/shreyasminocha)
2024-07-25 20:49:22 +0200arcadewise(52968ed80d@2a03:6000:1812:100::3df)
2024-07-25 20:49:22 +0200ggb(a62ffbaf4f@2a03:6000:1812:100::3ac)
2024-07-25 20:49:22 +0200bsima1(9d7e39c8ad@2a03:6000:1812:100::dd)
2024-07-25 20:49:22 +0200orcus(~orcus@mail.brprice.uk)
2024-07-25 20:49:22 +0200tjbc(~tjbc@user/fliife)
2024-07-25 20:49:22 +0200dostoyevsky2(~sck@user/dostoyevsky2)
2024-07-25 20:49:22 +0200end(~end@user/end/x-0094621)
2024-07-25 20:49:22 +0200Natch(~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se)
2024-07-25 20:49:22 +0200xal(~xal@mx1.xal.systems)
2024-07-25 20:49:22 +0200cyphase(~cyphase@user/cyphase)
2024-07-25 20:49:22 +0200down200(~down200@shell.lug.mtu.edu)
2024-07-25 20:49:22 +0200glguy(glguy@libera/staff/glguy)
2024-07-25 20:49:22 +0200silver.libera.chat+v lambdabot
2024-07-25 20:51:07 +0200krei-se(~krei-se@p5085de4b.dip0.t-ipconnect.de) (Max SendQ exceeded)
2024-07-25 20:51:07 +0200dostoyevsky2(~sck@user/dostoyevsky2) (Max SendQ exceeded)
2024-07-25 20:51:16 +0200dostoyevsky2(~sck@user/dostoyevsky2)
2024-07-25 20:52:30 +0200krei-se(~krei-se@p5085de4b.dip0.t-ipconnect.de)
2024-07-25 20:58:08 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com) (Ping timeout: 272 seconds)
2024-07-25 20:59:33 +0200 <tram> when I do "5 * (2%3)" in ghci I get 10 % 3 with type Integral a => Ratio a but when I define a function like that (https://bpa.st/EGUQ) I get a type error. How come?
2024-07-25 21:00:52 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com)
2024-07-25 21:00:52 +0200ChanServ+v haskellbridge
2024-07-25 21:01:25 +0200danse-nr3(~danse-nr3@user/danse-nr3)
2024-07-25 21:03:16 +0200 <tram> Ok sorry I know my bad
2024-07-25 21:03:19 +0200 <tram> :P
2024-07-25 21:04:41 +0200AlexNoo(~AlexNoo@94.233.241.102) (Read error: Connection reset by peer)
2024-07-25 21:05:04 +0200AlexNoo(~AlexNoo@94.233.241.102)
2024-07-25 21:07:38 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com) (Ping timeout: 255 seconds)
2024-07-25 21:10:20 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com)
2024-07-25 21:10:20 +0200ChanServ+v haskellbridge
2024-07-25 21:15:17 +0200misterfish(~misterfis@84.53.85.146) (Ping timeout: 255 seconds)
2024-07-25 21:17:31 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com) (Ping timeout: 264 seconds)
2024-07-25 21:19:06 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com)
2024-07-25 21:19:06 +0200ChanServ+v haskellbridge
2024-07-25 21:19:47 +0200pointlessslippe1(~pointless@212.82.82.3) (Ping timeout: 255 seconds)
2024-07-25 21:23:20 +0200typedfern_(~Typedfern@182.red-83-37-43.dynamicip.rima-tde.net) (Ping timeout: 260 seconds)
2024-07-25 21:25:23 +0200target_i(~target_i@user/target-i/x-6023099)
2024-07-25 21:26:23 +0200pointlessslippe1(~pointless@212.82.82.3)
2024-07-25 21:27:13 +0200danse-nr3(~danse-nr3@user/danse-nr3) (Quit: glircing)
2024-07-25 21:28:51 +0200danse-nr3(~danse-nr3@user/danse-nr3)
2024-07-25 21:28:55 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com) (Ping timeout: 264 seconds)
2024-07-25 21:37:23 +0200danse-nr3(~danse-nr3@user/danse-nr3) (Quit: glitching)
2024-07-25 21:38:13 +0200typedfern_(~Typedfern@91.red-83-37-29.dynamicip.rima-tde.net)
2024-07-25 21:38:20 +0200danse-nr3(~danse-nr3@user/danse-nr3)
2024-07-25 21:41:20 +0200omegatron(~some@user/omegatron) (Quit: Power is a curious thing. It can be contained, hidden, locked away, and yet it always breaks free.)
2024-07-25 21:47:31 +0200tt123109783(~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Ping timeout: 264 seconds)
2024-07-25 21:47:44 +0200danse-nr3(~danse-nr3@user/danse-nr3) (Quit: glitching)
2024-07-25 21:48:42 +0200danse-nr3(~danse-nr3@user/danse-nr3)
2024-07-25 21:52:31 +0200tt123109783(~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee)
2024-07-25 21:52:57 +0200tomku(~tomku@user/tomku) (Ping timeout: 244 seconds)
2024-07-25 21:53:11 +0200tomku(~tomku@user/tomku)
2024-07-25 21:59:31 +0200danse-nr3(~danse-nr3@user/danse-nr3) (Quit: braindead)
2024-07-25 22:00:22 +0200danse-nr3(~danse-nr3@user/danse-nr3)
2024-07-25 22:13:19 +0200paddymahoney(~paddymaho@pool-99-250-30-88.cpe.net.cable.rogers.com) (Remote host closed the connection)
2024-07-25 22:13:46 +0200paddymahoney(~paddymaho@pool-99-250-30-88.cpe.net.cable.rogers.com)
2024-07-25 22:19:59 +0200Digit(~user@user/digit) (Ping timeout: 252 seconds)
2024-07-25 22:20:27 +0200Digitteknohippie(~user@user/digit)
2024-07-25 22:21:26 +0200ft(~ft@p3e9bc4e7.dip0.t-ipconnect.de)
2024-07-25 22:24:34 +0200paddymahoney(~paddymaho@pool-99-250-30-88.cpe.net.cable.rogers.com) (Remote host closed the connection)
2024-07-25 22:27:23 +0200Midjak(~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep)
2024-07-25 22:30:25 +0200qqe(~qqq@92.43.167.61) (Quit: Lost terminal)
2024-07-25 22:33:43 +0200APic(apic@apic.name) (Ping timeout: 264 seconds)
2024-07-25 22:38:38 +0200 <monochrom> Cocartes says: coproduct ergo sum. >:)
2024-07-25 22:40:16 +0200 <ncf> is that the guy cocartesian fibrations are named after?
2024-07-25 22:40:16 +0200 <ystael> that's terrible
2024-07-25 22:44:59 +0200 <Hecate> haha
2024-07-25 22:52:00 +0200simendsjo(~user@2001:2044:1413:800:c4c9:16db:19ee:b47c) (Ping timeout: 260 seconds)
2024-07-25 22:52:07 +0200ystael(~ystael@user/ystael) (Quit: Lost terminal)
2024-07-25 22:53:12 +0200sawilagar(~sawilagar@user/sawilagar) (Remote host closed the connection)
2024-07-25 22:53:44 +0200sawilagar(~sawilagar@user/sawilagar)
2024-07-25 22:53:53 +0200sawilagar(~sawilagar@user/sawilagar) (Remote host closed the connection)
2024-07-25 22:53:54 +0200ystael(~ystael@user/ystael)
2024-07-25 22:54:07 +0200sindu(~torkel@83-243-191-191.fth.tafjordconnect.net)
2024-07-25 22:55:27 +0200danse-nr3would laugh if she had understood anything. Nods with confidence though
2024-07-25 22:59:24 +0200tessier(~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 260 seconds)
2024-07-25 23:00:52 +0200tessier(~treed@ip72-220-57-194.sd.sd.cox.net)
2024-07-25 23:03:57 +0200Digitteknohippie(~user@user/digit) (Ping timeout: 276 seconds)
2024-07-25 23:07:43 +0200Inst(~Inst@user/Inst)
2024-07-25 23:10:07 +0200 <Inst> why do we have this?
2024-07-25 23:10:09 +0200 <Inst> https://www.reddit.com/r/haskell/comments/hk15ub/do_not_recommend_the_genuine_sieve_of/
2024-07-25 23:11:22 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-07-25 23:12:31 +0200 <sprout> lol
2024-07-25 23:17:07 +0200target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2024-07-25 23:19:13 +0200michalz(~michalz@185.246.207.222) (Quit: ZNC 1.9.0 - https://znc.in)
2024-07-25 23:21:08 +0200Digit(~user@user/digit)
2024-07-25 23:21:58 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-07-25 23:25:20 +0200tessier(~treed@ip72-220-57-194.sd.sd.cox.net) (Ping timeout: 255 seconds)
2024-07-25 23:26:21 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2024-07-25 23:27:17 +0200tessier(~treed@ec2-184-72-149-67.compute-1.amazonaws.com)
2024-07-25 23:29:18 +0200sindu(~torkel@83-243-191-191.fth.tafjordconnect.net) (Ping timeout: 276 seconds)
2024-07-25 23:31:25 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-07-25 23:40:13 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-07-25 23:46:37 +0200Guestc127(~Guestc127@50.25.133.140)
2024-07-25 23:46:53 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 252 seconds)
2024-07-25 23:47:21 +0200 <Guestc127> Here to gt som swag...
2024-07-25 23:48:45 +0200 <Rembane> Inst: I don't follow. Do you have a reaction in more words?
2024-07-25 23:49:31 +0200 <Guestc127> Hi , do you follow Rust's Hakari?
2024-07-25 23:49:40 +0200 <Rembane> Not at all. What is it?
2024-07-25 23:50:12 +0200 <danse-nr3> i don't follow either Inst
2024-07-25 23:50:16 +0200 <Guestc127> nvm lol, what can i see in this chat?
2024-07-25 23:50:18 +0200 <Inst> i'm just annoyed that an array-using algorithm is faster than o'neill sieve
2024-07-25 23:50:27 +0200 <danse-nr3> go trolling elsewhere Guestc127
2024-07-25 23:51:05 +0200 <Rembane> Inst: Got it. Is this the moment when you get annoyed enough to make o'neill's algorithm faster?
2024-07-25 23:52:46 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2024-07-25 23:53:18 +0200 <Inst> i'm just looking through data.array now, i was hoping someone would have told me the optimization work on o'neill sieve was done already
2024-07-25 23:57:47 +0200 <Rembane> But no such luck?