2025/10/14

Newest at the top

2025-10-14 15:07:37 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds)
2025-10-14 15:05:42 +0200kuribas(~user@2a02-1810-2825-6000-b5ac-98ee-b19a-ab1f.ip6.access.telenet.be) (Ping timeout: 256 seconds)
2025-10-14 15:03:45 +0200inline(~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline
2025-10-14 15:00:52 +0200Googulator49Googulator
2025-10-14 14:50:50 +0200Googulator75(~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Client Quit)
2025-10-14 14:50:46 +0200Googulator49(~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu)
2025-10-14 14:46:14 +0200Googulator81(~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed)
2025-10-14 14:46:12 +0200rvalue(~rvalue@about/hackers/rvalue) rvalue
2025-10-14 14:46:05 +0200Googulator75(~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu)
2025-10-14 14:45:42 +0200 <tomsmeding> perhaps that would be too "monoid in the category of endofunctors" for wikipedia
2025-10-14 14:44:43 +0200 <tomsmeding> ski: why does that not open with "a monoid ring is a formal polynomial ring in a monoid with coefficient from a ring"
2025-10-14 14:43:55 +0200rvalue(~rvalue@about/hackers/rvalue) (Quit: bmV2ZXJnb25uYWdpdmV5b3V1cG5ldmVyZ29ubmFsZXR5b3Vkb3du)
2025-10-14 14:36:42 +0200ski. o O ( <https://en.wikipedia.org/wiki/Monoid_ring> )
2025-10-14 14:34:01 +0200rvalue(~rvalue@about/hackers/rvalue) rvalue
2025-10-14 14:32:19 +0200trickard_(~trickard@cpe-54-98-47-163.wireline.com.au)
2025-10-14 14:32:08 +0200 <merijn> mreh: Yet another reason, the Semigroup version is superior :p
2025-10-14 14:31:52 +0200trickard_(~trickard@cpe-54-98-47-163.wireline.com.au) (Ping timeout: 260 seconds)
2025-10-14 14:31:34 +0200 <mreh> jackdk: I went to a meetup maybe 10 years ago, it's since folded
2025-10-14 14:29:30 +0200 <mreh> that's true
2025-10-14 14:28:50 +0200rvalue(~rvalue@about/hackers/rvalue) (Excess Flood)
2025-10-14 14:28:49 +0200rvalue(~rvalue@about/hackers/rvalue) rvalue
2025-10-14 14:28:36 +0200 <merijn> So the current behaviour is trivially reconstructible via a newtype wrapper on values
2025-10-14 14:28:03 +0200 <merijn> mreh: It's called "Map k (First v)"
2025-10-14 14:27:53 +0200 <merijn> mreh: Yes there is
2025-10-14 14:27:23 +0200 <mreh> there's no "just use" when you're using a Map in Writer :'(
2025-10-14 14:27:01 +0200 <jackdk> mreh: I would've thought there'd be a fair number of Haskellers in London?
2025-10-14 14:26:22 +0200 <merijn> And when you want that you can just use `unions`
2025-10-14 14:26:13 +0200 <merijn> The left-biased merge never
2025-10-14 14:26:07 +0200 <merijn> __monty__: I've used the semigroup monoid on Map hundreds of times
2025-10-14 14:25:55 +0200 <merijn> __monty__: It's useful, but not AS useful as the semigroup version
2025-10-14 14:25:39 +0200Googulator81(~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu)
2025-10-14 14:25:37 +0200Googulator(~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed)
2025-10-14 14:25:29 +0200rvalue(~rvalue@about/hackers/rvalue) (Excess Flood)
2025-10-14 14:25:27 +0200rvalue(~rvalue@about/hackers/rvalue) rvalue
2025-10-14 14:25:23 +0200 <merijn> jackdk: You've got my signature :p
2025-10-14 14:25:16 +0200mrehwishes there was a Haskell meetup in London again
2025-10-14 14:25:09 +0200inline(~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Quit: Leaving)
2025-10-14 14:24:04 +0200 <mreh> recognised the name
2025-10-14 14:22:19 +0200 <jackdk> mreh: Thanks, that's good of you to say
2025-10-14 14:20:17 +0200 <mreh> jackdk: cool, I enjoyed that talk you gave on reflex a while back
2025-10-14 14:19:26 +0200 <jackdk> mreh: Correct. Its funding was not renewed. The Brisbane Functional Programming Group, however, resurrected itself after the pandemic: https://bfpg.org
2025-10-14 14:17:42 +0200 <mreh> lack of funding?
2025-10-14 14:16:29 +0200 <mreh> jackdk: what happened to Queensland FP?
2025-10-14 14:15:16 +0200Zemy_(~Zemy@2600:100c:b035:5997:4c73:91ff:fe3e:e2e1) (Ping timeout: 256 seconds)
2025-10-14 14:12:12 +0200Zemy(~Zemy@syn-076-184-041-021.res.spectrum.com)
2025-10-14 14:11:02 +0200Zemy(~Zemy@syn-076-184-041-021.res.spectrum.com) (Read error: Connection reset by peer)
2025-10-14 14:11:02 +0200Zemy_(~Zemy@2600:100c:b035:5997:4c73:91ff:fe3e:e2e1)
2025-10-14 14:10:04 +0200inline(~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline
2025-10-14 14:08:41 +0200Googulator(~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu)
2025-10-14 14:08:24 +0200Googulator(~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed)