2026/06/17

Newest at the top

2026-06-17 00:15:34 +0000Natch(~natch@c-92-34-15-120.bbcust.telenor.se)
2026-06-17 00:15:11 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-06-17 00:13:07 +0000arkeet`arkeet
2026-06-17 00:13:07 +0000arkeet(arkeet@moriya.ca) (Ping timeout: 276 seconds)
2026-06-17 00:13:07 +0000sp1ff`(~user@2601:1c2:4080:14c0:5df2:f2f4:8a07:70ec) (Ping timeout: 276 seconds)
2026-06-17 00:13:00 +0000tuxpaint(~a@2600:3c06::f03c:93ff:fea6:ef0e) (Read error: Connection reset by peer)
2026-06-17 00:11:50 +0000jayanth(~jayanth@static-98-115-128-109.phlapa.fios.verizon.net) (Ping timeout: 245 seconds)
2026-06-17 00:11:05 +0000firesquidwao(~a@put.gay)
2026-06-17 00:11:01 +0000arkeet`(arkeet@moriya.ca)
2026-06-17 00:10:58 +0000stefan-_(~cri@42dots.de) stefan-_
2026-06-17 00:10:56 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-17 00:10:47 +0000Franciman(~Franciman@mx1.fracta.dev) Franciman
2026-06-17 00:10:43 +0000cephei8(b8652603d7@user/cephei8) cephei8
2026-06-17 00:10:43 +0000evanrelf(3addc196af@2a03:6000:1812:100::f0) evanrelf
2026-06-17 00:10:42 +0000stefan-_(~cri@42dots.de) (Quit: ZNC 1.8.2+deb2ubuntu0.1 - https://znc.in)
2026-06-17 00:10:40 +0000sp1ff``(~user@2601:1c2:4080:14c0:5df2:f2f4:8a07:70ec)
2026-06-17 00:10:39 +0000mra(~mra@172-105-19-44.ip.linodeusercontent.com) mra
2026-06-17 00:10:37 +0000rselim(ce261f06ff@user/milesrout) milesrout
2026-06-17 00:10:35 +0000evanrelf(3addc196af@2a03:6000:1812:100::f0) (Read error: Connection reset by peer)
2026-06-17 00:10:35 +0000cephei8(b8652603d7@user/cephei8) (Read error: Connection reset by peer)
2026-06-17 00:10:33 +0000Franciman(~Franciman@mx1.fracta.dev) (Read error: Connection reset by peer)
2026-06-17 00:10:31 +0000mra(~mra@172-105-19-44.ip.linodeusercontent.com) (Read error: Connection reset by peer)
2026-06-17 00:10:30 +0000whereiseveryone(206ba86c98@2a03:6000:1812:100::2e4) jgart
2026-06-17 00:10:28 +0000rselim(ce261f06ff@user/milesrout) (Read error: Connection reset by peer)
2026-06-17 00:10:23 +0000whereiseveryone(206ba86c98@2a03:6000:1812:100::2e4) (Read error: Connection reset by peer)
2026-06-17 00:10:16 +0000Natch(~natch@c-92-34-15-120.bbcust.telenor.se) (Read error: Connection reset by peer)
2026-06-17 00:09:59 +0000xintron(~xintron@user/xintron) xintron
2026-06-17 00:09:46 +0000xintron(~xintron@user/xintron) (Quit: Ping timeout (120 seconds))
2026-06-17 00:01:00 +0000CiaoSen(~Jura@dynamic-046-114-193-162.46.114.pool.telefonica.de) (Ping timeout: 245 seconds)
2026-06-17 00:00:02 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-06-16 23:55:21 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-16 23:49:38 +0000lisbeths(uid135845@id-135845.lymington.irccloud.com) lisbeths
2026-06-16 23:44:59 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2026-06-16 23:36:05 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-16 23:33:33 +0000Guest6251(~puke@user/puke) (Ping timeout: 268 seconds)
2026-06-16 23:30:36 +0000pyooquepuke
2026-06-16 23:30:35 +0000pukeGuest6251
2026-06-16 23:30:35 +0000pyooque(~puke@user/puke) puke
2026-06-16 23:27:30 +0000Pozyomka(~pyon@user/pyon) pyon
2026-06-16 23:27:05 +0000Pozyomka(~pyon@user/pyon) (Remote host closed the connection)
2026-06-16 23:25:41 +0000 <monochrom> Yeah functors are easy to learn. And from that you can build your way up to applicatives and monads.
2026-06-16 23:25:20 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2026-06-16 23:23:25 +0000Pozyomka(~pyon@user/pyon) pyon
2026-06-16 23:23:21 +0000 <monochrom> I'm OK with eg we don't need math definitions for "cars", one can just learn by examples and expect grey areas. But we can't do that for programming. Your code compiles or doesn't compile, there is no grey area, the compiler doesn't care about your opinion.
2026-06-16 23:23:05 +0000Pozyomka(~pyon@user/pyon) (Remote host closed the connection)
2026-06-16 23:21:49 +0000 <monochrom> or at least s/no rules/loose rules/
2026-06-16 23:21:14 +0000 <monochrom> Honestly candidly bluntly, it's either symbol games or word games. Symbol games are less bad because the rules are stricter and things are more falsifiable. Word games have no rules and are totally bendable, just look at what politicians and management types do.
2026-06-16 23:21:04 +0000xal(~xal@2607:9000:3000:11::fb8d:a8a3) xal
2026-06-16 23:20:48 +0000xal(~xal@mx1.xal.systems) (Ping timeout: 246 seconds)
2026-06-16 23:20:42 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn