2024/10/02

2024-10-02 00:02:09 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-10-02 00:06:04 +0200 <haskellbridge> <sm> ICFP happened not long ago, interesting videos
2024-10-02 00:06:14 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2024-10-02 00:06:34 +0200shapr(~user@2601:19c:417e:5434:7020:f3be:22a2:6949) shapr
2024-10-02 00:06:50 +0200 <haskellbridge> <sm> The Haskell committee and foundation just announced they’re merging
2024-10-02 00:07:24 +0200 <haskellbridge> <sm> And HF has moved to matrix for chat
2024-10-02 00:07:55 +0200paddymahoney(~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com)
2024-10-02 00:08:25 +0200 <haskellbridge> <sm> There’s an “official Haskell blog” recently set up
2024-10-02 00:11:02 +0200 <haskellbridge> <sm> microhs and hell are a new portable Haskell compiler and a Haskell-like scripting language built on the ghc runtime, respectively
2024-10-02 00:12:34 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2024-10-02 00:13:05 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 00:13:10 +0200 <haskellbridge> <sm> Cardano Haskell based blockchain continues to run with 100% uptime
2024-10-02 00:13:42 +0200 <haskellbridge> <sm> Funding and sponsorship of ghc and Haskell is slowly growing
2024-10-02 00:14:51 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2024-10-02 00:15:31 +0200 <haskellbridge> <sm> in the Haskell-wasm room, wasm back end with template Haskell support just passed all ghc tests for the first time
2024-10-02 00:15:36 +0200 <yin> sm: thanks!
2024-10-02 00:15:51 +0200 <haskellbridge> <sm> A few things! Excuse the dump
2024-10-02 00:16:02 +0200 <yin> not at all, keep going
2024-10-02 00:16:23 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-10-02 00:16:42 +0200synchromesh(~john@2406:5a00:241a:5600:6102:87a5:44b3:29a3) (Read error: Connection reset by peer)
2024-10-02 00:17:56 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2024-10-02 00:17:58 +0200synchromesh(~john@2406:5a00:241a:5600:6102:87a5:44b3:29a3) synchromesh
2024-10-02 00:18:56 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 00:25:57 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-10-02 00:28:01 +0200 <haskellbridge> <magic_rb> sm: Did ghc plugins with cross compilation get figured out ?
2024-10-02 00:36:36 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2024-10-02 00:36:48 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 00:38:53 +0200 <haskellbridge> <sm> magic_rb: Don't know about that
2024-10-02 00:42:04 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-10-02 00:45:00 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2024-10-02 00:51:33 +0200acidjnk(~acidjnk@p200300d6e72cfb276c1c454e32c34a99.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2024-10-02 00:52:35 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 00:52:59 +0200codaraxis___(~codaraxis@user/codaraxis) (Remote host closed the connection)
2024-10-02 00:53:35 +0200codaraxis___(~codaraxis@user/codaraxis) Codaraxis
2024-10-02 00:57:32 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-10-02 00:57:41 +0200 <geekosaur> I suspect not
2024-10-02 01:01:14 +0200troojg(~troojg@user/troojg) troojg
2024-10-02 01:08:05 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 01:13:00 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-10-02 01:18:09 +0200athan(~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!)
2024-10-02 01:23:31 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 01:28:24 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-10-02 01:28:49 +0200sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 260 seconds)
2024-10-02 01:34:26 +0200bilegeek(~bilegeek@2600:1008:b042:dc1f:46ed:459d:fa73:5af1) (Quit: Leaving)
2024-10-02 01:37:44 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-10-02 01:38:18 +0200kaskal-(~kaskal@213-147-165-35.nat.highway.webapn.at) (Quit: ZNC - https://znc.in)
2024-10-02 01:38:39 +0200kaskal(~kaskal@2001:4bb8:2af:db4a:8acd:a0ac:f117:1e24) kaskal
2024-10-02 01:39:15 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 01:43:36 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-10-02 01:48:12 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds)
2024-10-02 01:54:44 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 01:57:48 +0200komikat(~user@218.185.248.66) komikat
2024-10-02 02:01:20 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-10-02 02:06:14 +0200supercode(~supercode@user/supercode) supercode
2024-10-02 02:06:45 +0200troojg(~troojg@user/troojg) (Ping timeout: 248 seconds)
2024-10-02 02:11:00 +0200bliminse(~bliminse@user/bliminse) (Ping timeout: 265 seconds)
2024-10-02 02:11:52 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 02:12:42 +0200bliminse(~bliminse@user/bliminse) bliminse
2024-10-02 02:16:47 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-10-02 02:22:02 +0200pavonia(~user@user/siracusa) siracusa
2024-10-02 02:26:58 +0200haveo(~weechat@pacamara.iuwt.fr) (Quit: WeeChat 4.2.2)
2024-10-02 02:27:17 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 02:30:50 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-10-02 02:32:41 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-10-02 02:35:32 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-10-02 02:43:35 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 02:45:06 +0200supercode(~supercode@user/supercode) (Quit: Client closed)
2024-10-02 02:47:41 +0200identity(~identity@user/ZharMeny) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4))
2024-10-02 02:48:13 +0200xff0x(~xff0x@ai080132.d.east.v6connect.net) (Ping timeout: 265 seconds)
2024-10-02 02:48:16 +0200vglfr_(~vglfr@c-73-250-25-113.hsd1.md.comcast.net)
2024-10-02 02:48:17 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-10-02 02:49:19 +0200vglfr_(~vglfr@c-73-250-25-113.hsd1.md.comcast.net) (Client Quit)
2024-10-02 02:50:07 +0200haveo(~weechat@pacamara.iuwt.fr) haveo
2024-10-02 02:59:08 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 03:03:49 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-10-02 03:14:41 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 03:17:05 +0200mceresa(~mceresa@user/mceresa) (Ping timeout: 248 seconds)
2024-10-02 03:19:21 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-02 03:27:10 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection)
2024-10-02 03:30:05 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 03:31:14 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-10-02 03:34:57 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-10-02 03:39:53 +0200troojg(~troojg@user/troojg) troojg
2024-10-02 03:40:03 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2024-10-02 03:56:01 +0200youthlic(~Thunderbi@user/youthlic) (Remote host closed the connection)
2024-10-02 03:59:15 +0200youthlic(~Thunderbi@user/youthlic) youthlic
2024-10-02 04:01:03 +0200mud(~mud@user/kadoban) (Ping timeout: 276 seconds)
2024-10-02 04:01:20 +0200athan(~athan@syn-098-153-145-140.biz.spectrum.com) athan
2024-10-02 04:01:34 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 04:01:59 +0200machinedgod(~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod
2024-10-02 04:07:58 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-10-02 04:09:44 +0200mceresa(~mceresa@user/mceresa) mceresa
2024-10-02 04:09:53 +0200dyniec(~dyniec@dybiec.info) (Quit: WeeChat 4.2.2)
2024-10-02 04:12:32 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2024-10-02 04:18:39 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 04:20:15 +0200td_(~td@i5387093B.versanet.de) (Ping timeout: 252 seconds)
2024-10-02 04:22:15 +0200td_(~td@i5387093C.versanet.de)
2024-10-02 04:23:27 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-10-02 04:25:16 +0200synchromesh(~john@2406:5a00:241a:5600:6102:87a5:44b3:29a3) (Read error: Connection reset by peer)
2024-10-02 04:26:38 +0200synchromesh(~john@2406:5a00:241a:5600:6102:87a5:44b3:29a3) synchromesh
2024-10-02 04:34:02 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 04:38:45 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-10-02 04:45:49 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Quit: au revoir)
2024-10-02 04:49:27 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 04:53:58 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-02 04:54:58 +0200troojg(~troojg@user/troojg) (Ping timeout: 245 seconds)
2024-10-02 05:04:57 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 05:06:06 +0200KicksonButt(~quassel@187.21.174.221)
2024-10-02 05:09:27 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-10-02 05:12:59 +0200hsw(~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) hsw
2024-10-02 05:20:08 +0200aforemny(~aforemny@2001:9e8:6cd7:c200:342e:20f9:8752:4727) aforemny
2024-10-02 05:20:31 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 05:21:09 +0200aforemny_(~aforemny@i59F4C5B0.versanet.de) (Ping timeout: 260 seconds)
2024-10-02 05:21:42 +0200KicksonButt(~quassel@187.21.174.221) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2024-10-02 05:23:22 +0200weary-traveler(~user@user/user363627) user363627
2024-10-02 05:24:07 +0200neuroevolutus(~neuroevol@206.217.206.41) neuroevolutus
2024-10-02 05:24:29 +0200machinedgod(~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 260 seconds)
2024-10-02 05:25:18 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-10-02 05:25:23 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-10-02 05:25:46 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 244 seconds)
2024-10-02 05:27:37 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2024-10-02 05:29:58 +0200EvanR_(~EvanR@user/evanr) EvanR
2024-10-02 05:30:44 +0200EvanR(~EvanR@user/evanr) (Read error: Connection reset by peer)
2024-10-02 05:31:06 +0200nkatte(~nkatte@2804:14c:87de:706b:dc54:3091:78f1:e245) (Ping timeout: 265 seconds)
2024-10-02 05:35:57 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 05:40:36 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-10-02 05:43:13 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2024-10-02 05:44:15 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds)
2024-10-02 05:44:36 +0200Lord_of_Life_Lord_of_Life
2024-10-02 05:51:31 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 05:55:56 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-02 06:06:58 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 06:11:39 +0200youthlic(~Thunderbi@user/youthlic) (Remote host closed the connection)
2024-10-02 06:11:45 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-10-02 06:12:11 +0200hughjfchen(~hughjfche@vmi556545.contaboserver.net) (Quit: WeeChat 4.1.1)
2024-10-02 06:12:37 +0200hughjfchen(~hughjfche@vmi556545.contaboserver.net) hughjfchen
2024-10-02 06:13:46 +0200youthlic(~Thunderbi@user/youthlic) youthlic
2024-10-02 06:22:29 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 06:25:03 +0200michalz(~michalz@185.246.207.205)
2024-10-02 06:27:05 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-02 06:30:24 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)