2025/07/22

Newest at the top

2025-07-22 22:40:35 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-07-22 22:39:44 +0200phma(phma@2001:5b0:210d:45d8:85e2:d152:9907:301d)
2025-07-22 22:39:33 +0200 <EvanR> I'm glad we intuitively arrived at the same meaning for "pointy data"
2025-07-22 22:37:38 +0200trickard_trickard
2025-07-22 22:35:47 +0200phma(~phma@host-67-44-208-35.hnremote.net) (Read error: Connection reset by peer)
2025-07-22 22:32:13 +0200 <tomsmeding> ooh
2025-07-22 22:32:07 +0200 <[exa]> (spoiler: I'm trying to do a versioned union-find, pointers all over :D :D )
2025-07-22 22:31:47 +0200 <tomsmeding> neat!
2025-07-22 22:31:42 +0200 <[exa]> but it actually helps because I can reuse their plotting stuff :D
2025-07-22 22:31:35 +0200takuan(~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection)
2025-07-22 22:31:26 +0200 <tomsmeding> ah
2025-07-22 22:30:53 +0200 <[exa]> tomsmeding: was not aiming at haskell data actually
2025-07-22 22:30:08 +0200 <tomsmeding> sounds like you don't need it but just in case
2025-07-22 22:30:00 +0200 <tomsmeding> [exa]: https://www.youtube.com/watch?v=I4lnCG18TaY
2025-07-22 22:28:50 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2025-07-22 22:26:53 +0200trickard_(~trickard@cpe-49-98-47-163.wireline.com.au)
2025-07-22 22:22:19 +0200ndudaev(~ndudaev@user/ndudaev) ndudaev
2025-07-22 22:17:28 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 240 seconds)
2025-07-22 22:14:33 +0200dhil(~dhil@5.151.29.141) (Ping timeout: 245 seconds)
2025-07-22 22:13:43 +0200trickard(~trickard@cpe-61-98-47-163.wireline.com.au) (Ping timeout: 245 seconds)
2025-07-22 22:13:34 +0200amadaluzia(~amadaluzi@user/amadaluzia) (Quit: ZNC 1.10.0 - https://znc.in)
2025-07-22 22:11:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-22 22:06:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-22 22:01:33 +0200pavonia(~user@user/siracusa) siracusa
2025-07-22 21:54:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-07-22 21:52:20 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-07-22 21:50:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-22 21:39:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-07-22 21:36:28 +0200ethereal_(~ethereal@ip2505f2ec.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds)
2025-07-22 21:35:19 +0200jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2025-07-22 21:35:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-22 21:34:12 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-22 21:31:16 +0200falafel(~falafel@2a0c:5a87:3104:8f01::f709) (Remote host closed the connection)
2025-07-22 21:28:59 +0200 <[exa]> *s
2025-07-22 21:28:57 +0200 <[exa]> thank
2025-07-22 21:28:55 +0200 <[exa]> EvanR: oh great it handles loopy data nicely
2025-07-22 21:27:04 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-07-22 21:24:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-07-22 21:23:14 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds)
2025-07-22 21:22:55 +0200 <EvanR> my frequency is 140.85
2025-07-22 21:21:34 +0200 <mauke> (also, channels used to be numbered, not named)
2025-07-22 21:21:17 +0200 <mauke> hence why we talk on "channels"
2025-07-22 21:21:06 +0200 <mauke> IRC was originally modelled on CB radio
2025-07-22 21:20:52 +0200 <[exa]> uuuuuh that's very relevant
2025-07-22 21:20:26 +0200 <EvanR> https://dennis.felsing.org/ghc-vis/
2025-07-22 21:20:03 +0200 <EvanR> ghc-vis
2025-07-22 21:19:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-22 21:18:42 +0200 <[exa]> is there something recommendable for visualizing various pointy data structures?
2025-07-22 21:18:25 +0200 <[exa]> anyway
2025-07-22 21:17:14 +0200 <ethereal_> but it's actually pretty fun