| 2024-07-25 00:02:50 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-25 00:12:36 +0200 | tram | (~tram@94.71.169.62) |
| 2024-07-25 00:19:37 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-07-25 00:23:30 +0200 | kuribas | (~user@ptr-17d51epajiqo5s57kyl.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2024-07-25 00:24:51 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-07-25 00:34:33 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-07-25 00:34:49 +0200 | oo_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 +0200 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) |
| 2024-07-25 00:41:39 +0200 | tcard_ | (~tcard@2400:4051:5801:7500:1e90:74c3:2754:ce8a) |
| 2024-07-25 00:41:45 +0200 | euleritian | (~euleritia@dynamic-176-006-134-017.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-25 00:42:04 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-07-25 00:43:06 +0200 | benjaminl | (~benjaminl@user/benjaminl) (Ping timeout: 252 seconds) |
| 2024-07-25 00:44:44 +0200 | tcard | (~tcard@p3705237-ipxg22301hodogaya.kanagawa.ocn.ne.jp) (Ping timeout: 260 seconds) |
| 2024-07-25 00:45:43 +0200 | prolic_ | (~sasa@181.122.138.24) (Read error: Connection reset by peer) |
| 2024-07-25 01:04:45 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb366d2386d7abebf685.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-07-25 01:10:59 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 260 seconds) |
| 2024-07-25 01:14:05 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 260 seconds) |
| 2024-07-25 01:18:07 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
| 2024-07-25 01:50:03 +0200 | urdh | (~urdh@user/urdh) (Ping timeout: 246 seconds) |
| 2024-07-25 01:50:27 +0200 | urdh | (~urdh@user/urdh) |
| 2024-07-25 01:51:04 +0200 | lbseale | (~quassel@user/ep1ctetus) (Quit: No Ping reply in 180 seconds.) |
| 2024-07-25 01:51:06 +0200 | barthandelous01 | (barth@triton.blinkenshell.org) (Ping timeout: 246 seconds) |
| 2024-07-25 01:52:19 +0200 | lbseale | (~quassel@user/ep1ctetus) |
| 2024-07-25 01:53:13 +0200 | barthandelous01 | (barth@triton.blinkenshell.org) |
| 2024-07-25 01:53:25 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2024-07-25 01:53:53 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) |
| 2024-07-25 01:53:53 +0200 | ChanServ | +v haskellbridge |
| 2024-07-25 02:00:49 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-07-25 02:07:12 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 2024-07-25 02:10:33 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-07-25 02:17:58 +0200 | ricar | (~ricar@2804:7f0:b081:713a:29dd:80d7:8c22:cf8b) |
| 2024-07-25 02:19:09 +0200 | Guest0 | (~Guest0@2804:7f0:b081:713a:29dd:80d7:8c22:cf8b) |
| 2024-07-25 02:19:39 +0200 | ricar | (~ricar@2804:7f0:b081:713a:29dd:80d7:8c22:cf8b) (Client Quit) |
| 2024-07-25 02:22:55 +0200 | gdown | (~gavin@h69-11-148-150.kndrid.broadband.dynamic.tds.net) |
| 2024-07-25 02:41:51 +0200 | madhavanmiui | (~madhavanm@2409:40f4:3a:ef6f:8000::) |
| 2024-07-25 02:43:03 +0200 | madhavanmiui | (~madhavanm@2409:40f4:3a:ef6f:8000::) (Client Quit) |
| 2024-07-25 02:44:39 +0200 | Guest0 | (~Guest0@2804:7f0:b081:713a:29dd:80d7:8c22:cf8b) (Quit: Client closed) |
| 2024-07-25 02:46:55 +0200 | sasa_ | (~sasa@181.122.138.24) |
| 2024-07-25 02:47:17 +0200 | sasa_ | 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 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-07-25 03:15:15 +0200 | prolic_ | (~sasa@181.122.138.24) (Quit: Leaving) |
| 2024-07-25 03:23:54 +0200 | poscat | (~poscat@user/poscat) (Quit: Bye) |
| 2024-07-25 03:28:43 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2024-07-25 03:29:46 +0200 | poscat | (~poscat@user/poscat) |
| 2024-07-25 03:30:33 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-25 03:34:39 +0200 | billchenchina- | (~billchenc@210.110.131.60) |
| 2024-07-25 03:54:51 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-07-25 03:55:57 +0200 | xff0x | (~xff0x@2405:6580:b080:900:8fcf:75e8:d4d3:15fa) (Ping timeout: 252 seconds) |
| 2024-07-25 03:59:36 +0200 | billchenchina- | (~billchenc@210.110.131.60) (Quit: Leaving) |
| 2024-07-25 04:03:04 +0200 | Square2 | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2024-07-25 04:07:24 +0200 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) (Read error: Connection reset by peer) |
| 2024-07-25 04:09:47 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-07-25 04:14:55 +0200 | td_ | (~td@i53870916.versanet.de) (Ping timeout: 260 seconds) |
| 2024-07-25 04:16:31 +0200 | td_ | (~td@i53870924.versanet.de) |
| 2024-07-25 04:19:56 +0200 | pyooque | (~puke@user/puke) |
| 2024-07-25 04:19:56 +0200 | puke | Guest5956 |
| 2024-07-25 04:19:56 +0200 | pyooque | puke |
| 2024-07-25 04:22:30 +0200 | Guest5956 | (~puke@user/puke) (Ping timeout: 260 seconds) |
| 2024-07-25 04:38:36 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 265 seconds) |
| 2024-07-25 04:41:50 +0200 | mikess | (~mikess@user/mikess) |
| 2024-07-25 04:44:21 +0200 | puke | (~puke@user/puke) (Quit: puke) |
| 2024-07-25 04:47:04 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-07-25 04:58:20 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-07-25 05:17:09 +0200 | benjaminl | (~benjaminl@user/benjaminl) |
| 2024-07-25 05:32:30 +0200 | tram | (~tram@94.71.169.62) (Quit: Leaving.) |
| 2024-07-25 05:36:49 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-25 05:44:43 +0200 | j_ | (~Guest5@2601:282:1a7f:4fb0:bc74:ec62:c557:3079) |
| 2024-07-25 05:45:36 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 252 seconds) |
| 2024-07-25 05:48:59 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-07-25 05:55:17 +0200 | aforemny_ | (~aforemny@i59F516CE.versanet.de) |
| 2024-07-25 05:55:39 +0200 | aforemny | (~aforemny@2001:9e8:6cf8:db00:b657:96fb:9374:58f5) (Ping timeout: 276 seconds) |
| 2024-07-25 05:59:30 +0200 | mikess | (~mikess@user/mikess) (Quit: nyaa~) |
| 2024-07-25 06:09:15 +0200 | sympt | (~sympt@user/sympt) (Ping timeout: 260 seconds) |
| 2024-07-25 06:33:10 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-07-25 06:34:44 +0200 | tram | (~tram@94.71.169.62) |
| 2024-07-25 06:35:49 +0200 | <jle`> | nice |
| 2024-07-25 06:45:58 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-25 06:50:15 +0200 | tt123109783 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Ping timeout: 276 seconds) |
| 2024-07-25 06:53:32 +0200 | michalz | (~michalz@185.246.207.222) |
| 2024-07-25 06:54:31 +0200 | tram | (~tram@94.71.169.62) (Quit: Leaving.) |
| 2024-07-25 07:02:44 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-07-25 07:13:17 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-07-25 07:19:16 +0200 | gdown | (~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 +0200 | Sgeo | (~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 +0200 | tt123109783 | (~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 +0200 | tt123109783 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Ping timeout: 276 seconds) |
| 2024-07-25 07:42:34 +0200 | misterfish | (~misterfis@84.53.85.146) |
| 2024-07-25 07:46:22 +0200 | zmt00 | (~zmt00@user/zmt00) (Quit: Leaving) |
| 2024-07-25 07:47:28 +0200 | Midjak | (~MarciZ@82.66.147.146) |
| 2024-07-25 07:50:44 +0200 | Midjak | (~MarciZ@82.66.147.146) (Client Quit) |
| 2024-07-25 07:51:36 +0200 | tt123109783 | (~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 +0200 | tt123109783 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Ping timeout: 260 seconds) |
| 2024-07-25 07:59:44 +0200 | tt123109783 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) |
| 2024-07-25 08:10:12 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 276 seconds) |
| 2024-07-25 08:14:35 +0200 | JuanDaugherty | (~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 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-07-25 08:19:39 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-07-25 08:20:20 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 252 seconds) |
| 2024-07-25 08:20:44 +0200 | euleritian | (~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 +0200 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2024-07-25 08:28:26 +0200 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) |
| 2024-07-25 08:28:29 +0200 | jle` | (~jle`@2603:8001:3b02:84d4:4d0a:e160:f7c1:70f5) (Ping timeout: 260 seconds) |
| 2024-07-25 08:29:11 +0200 | jle` | (~jle`@2603:8001:3b02:84d4:dd06:efe9:8bc2:a7e6) |
| 2024-07-25 08:30:15 +0200 | sord937 | (~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 +0200 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (Quit: WeeChat 2.8) |
| 2024-07-25 08:38:17 +0200 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) |
| 2024-07-25 08:43:41 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-25 08:44:41 +0200 | JuanDaugherty | imagined 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 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-07-25 08:55:03 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb03f05f6f54f1bcaaa6.dip0.t-ipconnect.de) |
| 2024-07-25 08:57:19 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-07-25 09:02:18 +0200 | ft | (~ft@p3e9bc4e7.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-07-25 09:25:51 +0200 | slack1256 | (~slack1256@2803:c600:5111:80cb:380e:34f2:2727:e112) (Ping timeout: 244 seconds) |
| 2024-07-25 09:39:31 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-07-25 09:46:29 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb03f05f6f54f1bcaaa6.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2024-07-25 09:50:30 +0200 | euleritian | (~euleritia@dynamic-176-006-131-216.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-25 09:50:48 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-25 09:51:49 +0200 | vpan | (~vpan@212.117.1.172) |
| 2024-07-25 09:56:18 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-07-25 10:09:59 +0200 | misterfish | (~misterfis@87.215.131.102) |
| 2024-07-25 10:20:35 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Quit: restarting) |
| 2024-07-25 10:23:11 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-25 10:30:53 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-07-25 10:33:00 +0200 | mikess | (~mikess@user/mikess) |
| 2024-07-25 10:51:01 +0200 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 248 seconds) |
| 2024-07-25 10:53:02 +0200 | misterfish | (~misterfis@178.225.156.106) |
| 2024-07-25 10:54:20 +0200 | billchenchina- | (~billchenc@210.110.131.60) |
| 2024-07-25 11:04:09 +0200 | vizimajac | (~Rodney@90.201.223.82) (Ping timeout: 245 seconds) |
| 2024-07-25 11:04:31 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-07-25 11:05:44 +0200 | vizimajac | (~Rodney@92.40.181.182.threembb.co.uk) |
| 2024-07-25 11:06:59 +0200 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) |
| 2024-07-25 11:09:14 +0200 | lol_ | (~lol@2603:3016:1e01:b9a0:b0d0:e22d:2e3b:6bd1) |
| 2024-07-25 11:09:32 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-07-25 11:11:41 +0200 | Guest48 | (~Guest48@remote.dynamics.be) |
| 2024-07-25 11:12:25 +0200 | danse-glirc | (~danse-gli@151.37.250.22) |
| 2024-07-25 11:12:34 +0200 | simendsjo | (~user@2001:2044:1413:800:c4c9:16db:19ee:b47c) |
| 2024-07-25 11:13:22 +0200 | jcarpenter2 | (~lol@2603:3016:1e01:b9a0:2067:c56:157c:96de) (Ping timeout: 248 seconds) |
| 2024-07-25 11:15:12 +0200 | chele | (~chele@user/chele) |
| 2024-07-25 11:15:14 +0200 | skyesoss | (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) (Ping timeout: 252 seconds) |
| 2024-07-25 11:15:33 +0200 | j_ | (~Guest5@2601:282:1a7f:4fb0:bc74:ec62:c557:3079) (Quit: Client closed) |
| 2024-07-25 11:18:45 +0200 | Rodney- | (~Rodney@90.201.223.82) |
| 2024-07-25 11:19:16 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 252 seconds) |
| 2024-07-25 11:19:22 +0200 | Guest48 | (~Guest48@remote.dynamics.be) (Quit: Client closed) |
| 2024-07-25 11:20:52 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 2024-07-25 11:22:19 +0200 | vizimajac | (~Rodney@92.40.181.182.threembb.co.uk) (Ping timeout: 264 seconds) |
| 2024-07-25 11:31:03 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-07-25 11:36:52 +0200 | andreas808 | (andreas303@is.drunk.and.ready-to.party) |
| 2024-07-25 11:37:26 +0200 | andreas303 | (andreas303@is.drunk.and.ready-to.party) (Read error: Connection reset by peer) |
| 2024-07-25 11:38:11 +0200 | y-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 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-25 11:42:02 +0200 | danse-glirc | (~danse-gli@151.37.250.22) (Quit: Client closed) |
| 2024-07-25 11:42:07 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-07-25 11:42:07 +0200 | billchenchina- | (~billchenc@210.110.131.60) (Remote host closed the connection) |
| 2024-07-25 11:42:26 +0200 | euleritian | (~euleritia@dynamic-176-006-131-216.176.6.pool.telefonica.de) |
| 2024-07-25 11:44:30 +0200 | euleritian | (~euleritia@dynamic-176-006-131-216.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-25 11:45:01 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-07-25 11:46:22 +0200 | drdo | (~drdo@bl5-29-74.dsl.telepac.pt) (Remote host closed the connection) |
| 2024-07-25 11:46:59 +0200 | drdo | (~drdo@bl5-29-74.dsl.telepac.pt) |
| 2024-07-25 11:48:09 +0200 | danse-glirc | (~danse-gli@151.37.250.22) |
| 2024-07-25 11:49:41 +0200 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2024-07-25 11:51:05 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-07-25 12:03:05 +0200 | xff0x | (~xff0x@2405:6580:b080:900:c695:3b30:f4d2:83e8) |
| 2024-07-25 12:04:12 +0200 | galois` | (~user@169-136-067-156.ip-addr.inexio.net) |
| 2024-07-25 12:07:47 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2024-07-25 12:08:28 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-07-25 12:09:32 +0200 | danse-glirc | (~danse-gli@151.37.250.22) (Quit: Client closed) |
| 2024-07-25 12:11:33 +0200 | skyesoss | (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) |
| 2024-07-25 12:15:40 +0200 | jespada_ | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2024-07-25 12:15:44 +0200 | danse-glirc | (~danse-gli@151.37.250.22) |
| 2024-07-25 12:16:13 +0200 | danse-glirc | danse-web |
| 2024-07-25 12:16:22 +0200 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2024-07-25 12:17:18 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-07-25 12:17:55 +0200 | skyesoss | (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) (Ping timeout: 252 seconds) |
| 2024-07-25 12:19:33 +0200 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2024-07-25 12:20:20 +0200 | jespada_ | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Client Quit) |
| 2024-07-25 12:20:28 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-25 12:27:35 +0200 | billchenchina- | (~billchenc@210.110.131.60) |
| 2024-07-25 12:33:27 +0200 | billchenchina- | (~billchenc@210.110.131.60) (Quit: Leaving) |
| 2024-07-25 12:34:41 +0200 | tram | (~tram@94.71.169.62) |
| 2024-07-25 12:42:04 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Remote host closed the connection) |
| 2024-07-25 12:45:35 +0200 | troydm | (~troydm@user/troydm) |
| 2024-07-25 12:46:43 +0200 | jrm | (~jrm@user/jrm) (Quit: ciao) |
| 2024-07-25 12:48:18 +0200 | jrm | (~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 +0200 | galois` | (~user@169-136-067-156.ip-addr.inexio.net) (Ping timeout: 276 seconds) |
| 2024-07-25 13:13:28 +0200 | oo_miguel | (~Thunderbi@78.10.207.46) |
| 2024-07-25 13:14:12 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2024-07-25 13:15:09 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-07-25 13:19:09 +0200 | tram | (~tram@94.71.169.62) (Ping timeout: 245 seconds) |
| 2024-07-25 13:23:19 +0200 | ticat | (~ticat@156.251.183.153) |
| 2024-07-25 13:24:13 +0200 | galois` | (~user@169-136-067-156.ip-addr.inexio.net) |
| 2024-07-25 13:24:24 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-25 13:28:48 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-07-25 13:28:57 +0200 | euleritian | (~euleritia@dynamic-176-006-131-216.176.6.pool.telefonica.de) |
| 2024-07-25 13:29:18 +0200 | mikess | (~mikess@user/mikess) (Ping timeout: 265 seconds) |
| 2024-07-25 13:34:41 +0200 | danse-web | (~danse-gli@151.37.250.22) (Ping timeout: 256 seconds) |
| 2024-07-25 13:37:27 +0200 | troydm | (~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 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2024-07-25 13:52:54 +0200 | euleritian | (~euleritia@dynamic-176-006-131-216.176.6.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-07-25 13:53:52 +0200 | euleritian | (~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 +0200 | zero | zzz |
| 2024-07-25 14:07:24 +0200 | tram | (~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 +0200 | danse-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 +0200 | danse-glirc | danse-web |
| 2024-07-25 14:13:15 +0200 | galois` | (~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 +0200 | jespada | (~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 +0200 | takuan | (~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 +0200 | tram | (~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 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2024-07-25 14:29:12 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-25 14:29:52 +0200 | euleritian | (~euleritia@dynamic-176-003-089-167.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-25 14:30:23 +0200 | euleritian | (~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 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-07-25 14:37:10 +0200 | danse-web | (~danse-gli@151.37.250.22) (Quit: other client) |
| 2024-07-25 14:41:52 +0200 | omegatron | (~some@user/omegatron) |
| 2024-07-25 14:42:39 +0200 | tram | (~tram@2a02:587:b43:7300:a89e:683a:2da1:a2ed) |
| 2024-07-25 14:44:37 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 248 seconds) |
| 2024-07-25 14:45:36 +0200 | ticat | (~ticat@156.251.183.153) (Quit: Client closed) |
| 2024-07-25 14:45:49 +0200 | euleritian | (~euleritia@dynamic-176-003-089-167.176.3.pool.telefonica.de) |
| 2024-07-25 14:46:42 +0200 | misterfish | (~misterfis@178.225.156.106) (Ping timeout: 276 seconds) |
| 2024-07-25 14:47:44 +0200 | misterfish | (~misterfis@87.215.131.102) |
| 2024-07-25 14:52:04 +0200 | szkl | (uid110435@2a03:5180:f:5::1:af63) |
| 2024-07-25 14:55:12 +0200 | ystael | (~ystael@user/ystael) |
| 2024-07-25 14:55:39 +0200 | tram | (~tram@2a02:587:b43:7300:a89e:683a:2da1:a2ed) (Remote host closed the connection) |
| 2024-07-25 14:55:41 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-07-25 14:55:56 +0200 | tram | (~tram@2a02:587:b43:7300:a89e:683a:2da1:a2ed) |
| 2024-07-25 14:58:44 +0200 | slack1256 | (~slack1256@2803:c600:5111:80cb:ffde:2539:7254:2ff5) |
| 2024-07-25 15:06:35 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2024-07-25 15:08:47 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Read error: Connection reset by peer) |
| 2024-07-25 15:09:31 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:1ee4:1b7c:94a7:8fa7) |
| 2024-07-25 15:09:42 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-07-25 15:23:38 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb03f05f6f54f1bcaaa6.dip0.t-ipconnect.de) |
| 2024-07-25 15:23:40 +0200 | pkal | (~pkal@static.159.65.245.188.clients.your-server.de) (Remote host closed the connection) |
| 2024-07-25 15:24:11 +0200 | pkal | (~pkal@2a01:4f8:1c1b:a321::) |
| 2024-07-25 15:26:00 +0200 | tram | (~tram@2a02:587:b43:7300:a89e:683a:2da1:a2ed) (Remote host closed the connection) |
| 2024-07-25 15:26:19 +0200 | tram | (~tram@2a02:587:b43:7300:a89e:683a:2da1:a2ed) |
| 2024-07-25 15:29:27 +0200 | pkal | (~pkal@2a01:4f8:1c1b:a321::) (Remote host closed the connection) |
| 2024-07-25 15:29:57 +0200 | pkal | (~pkal@2a01:4f8:1c1b:a321::) |
| 2024-07-25 15:33:04 +0200 | Square2 | (~Square@user/square) |
| 2024-07-25 15:34:01 +0200 | pkal | (~pkal@2a01:4f8:1c1b:a321::) (Remote host closed the connection) |
| 2024-07-25 15:34:32 +0200 | pkal | (~pkal@2a01:4f8:1c1b:a321::) |
| 2024-07-25 15:36:24 +0200 | euleritian | (~euleritia@dynamic-176-003-089-167.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-25 15:36:34 +0200 | kuribas | (~user@ptr-17d51enp2xepfmiuieg.18120a2.ip6.access.telenet.be) |
| 2024-07-25 15:37:02 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-07-25 15:38:20 +0200 | pkal | (~pkal@2a01:4f8:1c1b:a321::) (Remote host closed the connection) |
| 2024-07-25 15:38:53 +0200 | pkal | (~pkal@2a01:4f8:1c1b:a321::) |
| 2024-07-25 15:39:31 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-07-25 15:40:00 +0200 | rvalue | (~rvalue@user/rvalue) |
| 2024-07-25 15:43:14 +0200 | billchenchina- | (~billchenc@118.38.173.226) |
| 2024-07-25 15:44:22 +0200 | pkal | (~pkal@2a01:4f8:1c1b:a321::) (Remote host closed the connection) |
| 2024-07-25 15:44:54 +0200 | pkal | (~pkal@2a01:4f8:1c1b:a321::) |
| 2024-07-25 15:45:37 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-25 15:45:37 +0200 | Sgeo | (~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 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Quit: got to go) |
| 2024-07-25 15:54:32 +0200 | pkal | (~pkal@2a01:4f8:1c1b:a321::) (Remote host closed the connection) |
| 2024-07-25 15:54:38 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 252 seconds) |
| 2024-07-25 15:55:09 +0200 | pkal | (~pkal@2a01:4f8:1c1b:a321::) |
| 2024-07-25 15:55:18 +0200 | euleritian | (~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 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb03f05f6f54f1bcaaa6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2024-07-25 16:13:28 +0200 | stef204 | (~stef204@user/stef204) |
| 2024-07-25 16:13:54 +0200 | pkal | (~pkal@2a01:4f8:1c1b:a321::) (Remote host closed the connection) |
| 2024-07-25 16:14:24 +0200 | pkal | (~pkal@2a01:4f8:1c1b:a321::) |
| 2024-07-25 16:14:59 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 245 seconds) |
| 2024-07-25 16:15:53 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-25 16:19:24 +0200 | skyesoss | (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) |
| 2024-07-25 16:20:55 +0200 | stef204 | (~stef204@user/stef204) (Quit: WeeChat 4.2.1) |
| 2024-07-25 16:23:22 +0200 | pkal | (~pkal@2a01:4f8:1c1b:a321::) (Remote host closed the connection) |
| 2024-07-25 16:23:54 +0200 | pkal | (~pkal@2a01:4f8:1c1b:a321::) |
| 2024-07-25 16:23:55 +0200 | skyesoss | (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) (Ping timeout: 272 seconds) |
| 2024-07-25 16:27:39 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-07-25 16:37:40 +0200 | infinity0 | (~infinity0@pwned.gg) (Quit: WeeChat 4.3.1) |
| 2024-07-25 16:38:08 +0200 | tram | (~tram@2a02:587:b43:7300:a89e:683a:2da1:a2ed) (Remote host closed the connection) |
| 2024-07-25 16:38:32 +0200 | infinity0 | (~infinity0@pwned.gg) |
| 2024-07-25 16:38:53 +0200 | tram | (~tram@2a02:587:b43:7300:a89e:683a:2da1:a2ed) |
| 2024-07-25 16:41:37 +0200 | billchenchina- | (~billchenc@118.38.173.226) (Quit: Leaving) |
| 2024-07-25 16:45:09 +0200 | euleritian | (~euleritia@dynamic-176-003-089-167.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-25 16:45:14 +0200 | falafel | (~falafel@2a0c:5a84:e301:4d01::5c13) |
| 2024-07-25 16:45:28 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-25 16:47:04 +0200 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 252 seconds) |
| 2024-07-25 16:47:43 +0200 | skyesoss | (~Thunderbi@128.135.204.35) |
| 2024-07-25 16:51:59 +0200 | tram | (~tram@2a02:587:b43:7300:a89e:683a:2da1:a2ed) (Remote host closed the connection) |
| 2024-07-25 16:52:19 +0200 | tram | (~tram@2a02:587:b43:7300:a89e:683a:2da1:a2ed) |
| 2024-07-25 17:02:29 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-07-25 17:03:12 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 2024-07-25 17:07:06 +0200 | falafel | (~falafel@2a0c:5a84:e301:4d01::5c13) (Ping timeout: 276 seconds) |
| 2024-07-25 17:07:57 +0200 | euleritian | (~euleritia@dynamic-176-003-089-167.176.3.pool.telefonica.de) |
| 2024-07-25 17:10:20 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-25 17:12:43 +0200 | euleritian | (~euleritia@dynamic-176-003-089-167.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-25 17:13:00 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-25 17:15:01 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-07-25 17:15:45 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-07-25 17:18:59 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb03bc7a1a14f590e127.dip0.t-ipconnect.de) |
| 2024-07-25 17:27:35 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-07-25 17:31:57 +0200 | qqe | (~qqq@92.43.167.61) |
| 2024-07-25 17:35:24 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-07-25 17:41:45 +0200 | krei-se | (~krei-se@p5085de4b.dip0.t-ipconnect.de) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2024-07-25 17:43:49 +0200 | krei-se | (~krei-se@p5085de4b.dip0.t-ipconnect.de) |
| 2024-07-25 17:46:58 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 2024-07-25 17:49:38 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-07-25 17:51:52 +0200 | mikess | (~mikess@user/mikess) |
| 2024-07-25 17:52:40 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-07-25 17:53:10 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-07-25 17:53:55 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Quit: reloading conf) |
| 2024-07-25 17:54:44 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-07-25 18:03:34 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 2024-07-25 18:07:48 +0200 | Midjak | (~MarciZ@82.66.147.146) |
| 2024-07-25 18:19:36 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-25 18:19:41 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-07-25 18:22:00 +0200 | kuribas | (~user@ptr-17d51enp2xepfmiuieg.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2024-07-25 18:23:47 +0200 | Midjak | (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2024-07-25 18:38:33 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Quit: life calls) |
| 2024-07-25 18:39:46 +0200 | Midjak | (~MarciZ@82.66.147.146) |
| 2024-07-25 18:49:50 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-07-25 18:52:08 +0200 | vpan | (~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 +0200 | mikess | (~mikess@user/mikess) (Quit: nyaa~) |
| 2024-07-25 19:10:55 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 252 seconds) |
| 2024-07-25 19:11:09 +0200 | tomku | (~tomku@user/tomku) |
| 2024-07-25 19:16:06 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-25 19:24:10 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-25 19:31:49 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-07-25 19:37:40 +0200 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-07-25 19:37:57 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2024-07-25 19:38:27 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-07-25 19:40:25 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) |
| 2024-07-25 19:40:25 +0200 | ChanServ | +v haskellbridge |
| 2024-07-25 19:44:42 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-07-25 19:46:46 +0200 | noctux | (~noctux@user/noctux) (Read error: Connection reset by peer) |
| 2024-07-25 19:54:11 +0200 | pavonia | (~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 +0200 | noctux | (~noctux@user/noctux) |
| 2024-07-25 20:04:05 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2024-07-25 20:06:33 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) |
| 2024-07-25 20:06:33 +0200 | ChanServ | +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 +0200 | mauke | (~mauke@user/mauke) (Read error: Connection reset by peer) |
| 2024-07-25 20:11:36 +0200 | mauke | (~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 +0200 | vgtw | (~vgtw@user/vgtw) |
| 2024-07-25 20:24:49 +0200 | misterfish | (~misterfis@84.53.85.146) |
| 2024-07-25 20:27:34 +0200 | hc | (~hc@2407:d200:d002:43:229:85:195:3) |
| 2024-07-25 20:32:33 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-07-25 20:34:21 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) |
| 2024-07-25 20:34:21 +0200 | ChanServ | +v haskellbridge |
| 2024-07-25 20:42:46 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-07-25 20:49:05 +0200 | glguy | (glguy@libera/staff/glguy) (*.net *.split) |
| 2024-07-25 20:49:05 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (*.net *.split) |
| 2024-07-25 20:49:05 +0200 | krei-se | (~krei-se@p5085de4b.dip0.t-ipconnect.de) (*.net *.split) |
| 2024-07-25 20:49:05 +0200 | qqe | (~qqq@92.43.167.61) (*.net *.split) |
| 2024-07-25 20:49:05 +0200 | skyesoss | (~Thunderbi@128.135.204.35) (*.net *.split) |
| 2024-07-25 20:49:05 +0200 | Sgeo | (~Sgeo@user/sgeo) (*.net *.split) |
| 2024-07-25 20:49:05 +0200 | xff0x | (~xff0x@2405:6580:b080:900:c695:3b30:f4d2:83e8) (*.net *.split) |
| 2024-07-25 20:49:05 +0200 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (*.net *.split) |
| 2024-07-25 20:49:05 +0200 | auri | (~auri@fsf/member/auri) (*.net *.split) |
| 2024-07-25 20:49:05 +0200 | coldtom | (~coldtom@coldrick.cc) (*.net *.split) |
| 2024-07-25 20:49:05 +0200 | cheater | (~Username@user/cheater) (*.net *.split) |
| 2024-07-25 20:49:05 +0200 | chaitlatte0 | (ea29c0bb16@user/chaitlatte0) (*.net *.split) |
| 2024-07-25 20:49:05 +0200 | fvr | (ef3e56ca8b@2a03:6000:1812:100::3c4) (*.net *.split) |
| 2024-07-25 20:49:05 +0200 | arcadewise | (52968ed80d@2a03:6000:1812:100::3df) (*.net *.split) |
| 2024-07-25 20:49:05 +0200 | shreyasminocha | (51fdc93eda@user/shreyasminocha) (*.net *.split) |
| 2024-07-25 20:49:05 +0200 | sus | (1b7af6299f@user/zeromomentum) (*.net *.split) |
| 2024-07-25 20:49:05 +0200 | ymherklotz | (cb2c9cfbdd@2a03:6000:1812:100::29a) (*.net *.split) |
| 2024-07-25 20:49:05 +0200 | bsima1 | (9d7e39c8ad@2a03:6000:1812:100::dd) (*.net *.split) |
| 2024-07-25 20:49:05 +0200 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) (*.net *.split) |
| 2024-07-25 20:49:05 +0200 | orcus | (~orcus@mail.brprice.uk) (*.net *.split) |
| 2024-07-25 20:49:05 +0200 | tjbc | (~tjbc@user/fliife) (*.net *.split) |
| 2024-07-25 20:49:05 +0200 | dostoyevsky2 | (~sck@user/dostoyevsky2) (*.net *.split) |
| 2024-07-25 20:49:05 +0200 | end | (~end@user/end/x-0094621) (*.net *.split) |
| 2024-07-25 20:49:05 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (*.net *.split) |
| 2024-07-25 20:49:05 +0200 | xal | (~xal@mx1.xal.systems) (*.net *.split) |
| 2024-07-25 20:49:05 +0200 | cyphase | (~cyphase@user/cyphase) (*.net *.split) |
| 2024-07-25 20:49:05 +0200 | down200 | (~down200@shell.lug.mtu.edu) (*.net *.split) |
| 2024-07-25 20:49:22 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-25 20:49:22 +0200 | krei-se | (~krei-se@p5085de4b.dip0.t-ipconnect.de) |
| 2024-07-25 20:49:22 +0200 | qqe | (~qqq@92.43.167.61) |
| 2024-07-25 20:49:22 +0200 | skyesoss | (~Thunderbi@128.135.204.35) |
| 2024-07-25 20:49:22 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-07-25 20:49:22 +0200 | xff0x | (~xff0x@2405:6580:b080:900:c695:3b30:f4d2:83e8) |
| 2024-07-25 20:49:22 +0200 | lambdabot | (~lambdabot@haskell/bot/lambdabot) |
| 2024-07-25 20:49:22 +0200 | auri | (~auri@fsf/member/auri) |
| 2024-07-25 20:49:22 +0200 | coldtom | (~coldtom@coldrick.cc) |
| 2024-07-25 20:49:22 +0200 | cheater | (~Username@user/cheater) |
| 2024-07-25 20:49:22 +0200 | chaitlatte0 | (ea29c0bb16@user/chaitlatte0) |
| 2024-07-25 20:49:22 +0200 | fvr | (ef3e56ca8b@2a03:6000:1812:100::3c4) |
| 2024-07-25 20:49:22 +0200 | ymherklotz | (cb2c9cfbdd@2a03:6000:1812:100::29a) |
| 2024-07-25 20:49:22 +0200 | sus | (1b7af6299f@user/zeromomentum) |
| 2024-07-25 20:49:22 +0200 | shreyasminocha | (51fdc93eda@user/shreyasminocha) |
| 2024-07-25 20:49:22 +0200 | arcadewise | (52968ed80d@2a03:6000:1812:100::3df) |
| 2024-07-25 20:49:22 +0200 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) |
| 2024-07-25 20:49:22 +0200 | bsima1 | (9d7e39c8ad@2a03:6000:1812:100::dd) |
| 2024-07-25 20:49:22 +0200 | orcus | (~orcus@mail.brprice.uk) |
| 2024-07-25 20:49:22 +0200 | tjbc | (~tjbc@user/fliife) |
| 2024-07-25 20:49:22 +0200 | dostoyevsky2 | (~sck@user/dostoyevsky2) |
| 2024-07-25 20:49:22 +0200 | end | (~end@user/end/x-0094621) |
| 2024-07-25 20:49:22 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2024-07-25 20:49:22 +0200 | xal | (~xal@mx1.xal.systems) |
| 2024-07-25 20:49:22 +0200 | cyphase | (~cyphase@user/cyphase) |
| 2024-07-25 20:49:22 +0200 | down200 | (~down200@shell.lug.mtu.edu) |
| 2024-07-25 20:49:22 +0200 | glguy | (glguy@libera/staff/glguy) |
| 2024-07-25 20:49:22 +0200 | silver.libera.chat | +v lambdabot |
| 2024-07-25 20:51:07 +0200 | krei-se | (~krei-se@p5085de4b.dip0.t-ipconnect.de) (Max SendQ exceeded) |
| 2024-07-25 20:51:07 +0200 | dostoyevsky2 | (~sck@user/dostoyevsky2) (Max SendQ exceeded) |
| 2024-07-25 20:51:16 +0200 | dostoyevsky2 | (~sck@user/dostoyevsky2) |
| 2024-07-25 20:52:30 +0200 | krei-se | (~krei-se@p5085de4b.dip0.t-ipconnect.de) |
| 2024-07-25 20:58:08 +0200 | haskellbridge | (~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 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) |
| 2024-07-25 21:00:52 +0200 | ChanServ | +v haskellbridge |
| 2024-07-25 21:01:25 +0200 | danse-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 +0200 | AlexNoo | (~AlexNoo@94.233.241.102) (Read error: Connection reset by peer) |
| 2024-07-25 21:05:04 +0200 | AlexNoo | (~AlexNoo@94.233.241.102) |
| 2024-07-25 21:07:38 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-07-25 21:10:20 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) |
| 2024-07-25 21:10:20 +0200 | ChanServ | +v haskellbridge |
| 2024-07-25 21:15:17 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 255 seconds) |
| 2024-07-25 21:17:31 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-07-25 21:19:06 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) |
| 2024-07-25 21:19:06 +0200 | ChanServ | +v haskellbridge |
| 2024-07-25 21:19:47 +0200 | pointlessslippe1 | (~pointless@212.82.82.3) (Ping timeout: 255 seconds) |
| 2024-07-25 21:23:20 +0200 | typedfern_ | (~Typedfern@182.red-83-37-43.dynamicip.rima-tde.net) (Ping timeout: 260 seconds) |
| 2024-07-25 21:25:23 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-07-25 21:26:23 +0200 | pointlessslippe1 | (~pointless@212.82.82.3) |
| 2024-07-25 21:27:13 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Quit: glircing) |
| 2024-07-25 21:28:51 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-07-25 21:28:55 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-07-25 21:37:23 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Quit: glitching) |
| 2024-07-25 21:38:13 +0200 | typedfern_ | (~Typedfern@91.red-83-37-29.dynamicip.rima-tde.net) |
| 2024-07-25 21:38:20 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-07-25 21:41:20 +0200 | omegatron | (~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 +0200 | tt123109783 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Ping timeout: 264 seconds) |
| 2024-07-25 21:47:44 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Quit: glitching) |
| 2024-07-25 21:48:42 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-07-25 21:52:31 +0200 | tt123109783 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) |
| 2024-07-25 21:52:57 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 244 seconds) |
| 2024-07-25 21:53:11 +0200 | tomku | (~tomku@user/tomku) |
| 2024-07-25 21:59:31 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Quit: braindead) |
| 2024-07-25 22:00:22 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-07-25 22:13:19 +0200 | paddymahoney | (~paddymaho@pool-99-250-30-88.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2024-07-25 22:13:46 +0200 | paddymahoney | (~paddymaho@pool-99-250-30-88.cpe.net.cable.rogers.com) |
| 2024-07-25 22:19:59 +0200 | Digit | (~user@user/digit) (Ping timeout: 252 seconds) |
| 2024-07-25 22:20:27 +0200 | Digitteknohippie | (~user@user/digit) |
| 2024-07-25 22:21:26 +0200 | ft | (~ft@p3e9bc4e7.dip0.t-ipconnect.de) |
| 2024-07-25 22:24:34 +0200 | paddymahoney | (~paddymaho@pool-99-250-30-88.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2024-07-25 22:27:23 +0200 | Midjak | (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2024-07-25 22:30:25 +0200 | qqe | (~qqq@92.43.167.61) (Quit: Lost terminal) |
| 2024-07-25 22:33:43 +0200 | APic | (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 +0200 | simendsjo | (~user@2001:2044:1413:800:c4c9:16db:19ee:b47c) (Ping timeout: 260 seconds) |
| 2024-07-25 22:52:07 +0200 | ystael | (~ystael@user/ystael) (Quit: Lost terminal) |
| 2024-07-25 22:53:12 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Remote host closed the connection) |
| 2024-07-25 22:53:44 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-07-25 22:53:53 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Remote host closed the connection) |
| 2024-07-25 22:53:54 +0200 | ystael | (~ystael@user/ystael) |
| 2024-07-25 22:54:07 +0200 | sindu | (~torkel@83-243-191-191.fth.tafjordconnect.net) |
| 2024-07-25 22:55:27 +0200 | danse-nr3 | would laugh if she had understood anything. Nods with confidence though |
| 2024-07-25 22:59:24 +0200 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 260 seconds) |
| 2024-07-25 23:00:52 +0200 | tessier | (~treed@ip72-220-57-194.sd.sd.cox.net) |
| 2024-07-25 23:03:57 +0200 | Digitteknohippie | (~user@user/digit) (Ping timeout: 276 seconds) |
| 2024-07-25 23:07:43 +0200 | Inst | (~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 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-07-25 23:12:31 +0200 | <sprout> | lol |
| 2024-07-25 23:17:07 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-07-25 23:19:13 +0200 | michalz | (~michalz@185.246.207.222) (Quit: ZNC 1.9.0 - https://znc.in) |
| 2024-07-25 23:21:08 +0200 | Digit | (~user@user/digit) |
| 2024-07-25 23:21:58 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-25 23:25:20 +0200 | tessier | (~treed@ip72-220-57-194.sd.sd.cox.net) (Ping timeout: 255 seconds) |
| 2024-07-25 23:26:21 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-07-25 23:27:17 +0200 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 2024-07-25 23:29:18 +0200 | sindu | (~torkel@83-243-191-191.fth.tafjordconnect.net) (Ping timeout: 276 seconds) |
| 2024-07-25 23:31:25 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-25 23:40:13 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-25 23:46:37 +0200 | Guestc127 | (~Guestc127@50.25.133.140) |
| 2024-07-25 23:46:53 +0200 | machinedgod | (~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 +0200 | peterbecich | (~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? |