2026/01/28

Newest at the top

2026-01-28 14:42:58 +0100yin(~zero@user/zero) (Ping timeout: 255 seconds)
2026-01-28 14:36:03 +0100trickard_(~trickard@cpe-80-98-47-163.wireline.com.au)
2026-01-28 14:35:49 +0100trickard(~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2026-01-28 14:29:55 +0100karenw(~karenw@user/karenw) (Ping timeout: 255 seconds)
2026-01-28 14:25:08 +0100xff0x(~xff0x@ai083101.d.east.v6connect.net)
2026-01-28 14:15:12 +0100merijn(~merijn@77.242.116.146) merijn
2026-01-28 14:14:37 +0100tromp(~textual@2001:1c00:3487:1b00:3c54:4195:2368:c0f6)
2026-01-28 14:14:20 +0100Enrico63(~Enrico63@host-79-42-228-73.retail.telecomitalia.it) Enrico63
2026-01-28 14:09:16 +0100trickard_trickard
2026-01-28 14:06:01 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 264 seconds)
2026-01-28 14:03:03 +0100machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2026-01-28 13:54:14 +0100statusbot(~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) statusbot
2026-01-28 13:53:57 +0100statusbot4(~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Remote host closed the connection)
2026-01-28 13:42:36 +0100trickard_(~trickard@cpe-80-98-47-163.wireline.com.au)
2026-01-28 13:42:23 +0100trickard_(~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2026-01-28 13:21:47 +0100mange(~mange@user/mange) (Quit: Zzz...)
2026-01-28 13:16:03 +0100karenw(~karenw@user/karenw) karenw
2026-01-28 13:03:52 +0100merijn(~merijn@77.242.116.146) merijn
2026-01-28 12:52:55 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 240 seconds)
2026-01-28 12:50:16 +0100tromp(~textual@2001:1c00:3487:1b00:3c54:4195:2368:c0f6) (Quit: My iMac has gone to sleep. ZZZzzz…)
2026-01-28 12:50:13 +0100 <gentauro> «What a time to be alive»
2026-01-28 12:49:24 +0100 <gentauro> speaking of bots, I saw somebody that had created an AI-bot, with access to kill processes. They called the AI-bot "RussAIn roulette" xD
2026-01-28 12:47:44 +0100danza(~danza@user/danza) (Remote host closed the connection)
2026-01-28 12:46:33 +0100merijn(~merijn@77.242.116.146) merijn
2026-01-28 12:44:57 +0100poscat(~poscat@user/poscat) poscat
2026-01-28 12:43:41 +0100itaipu(~itaipu@168.121.97.28) itaipu
2026-01-28 12:43:08 +0100poscat(~poscat@user/poscat) (Quit: Bye)
2026-01-28 12:40:50 +0100vanishingideal(~vanishing@user/vanishingideal) (Read error: Connection reset by peer)
2026-01-28 12:36:32 +0100marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2026-01-28 12:33:19 +0100comerijn(~merijn@77.242.116.146) (Ping timeout: 264 seconds)
2026-01-28 12:29:31 +0100 <danza> good luck with that
2026-01-28 12:29:14 +0100itaipu(~itaipu@168.121.97.28) (Ping timeout: 256 seconds)
2026-01-28 12:24:54 +0100 <gentauro> "I'm any AI" -> "I'm anti AI"
2026-01-28 12:24:36 +0100poscat(~poscat@user/poscat) poscat
2026-01-28 12:24:17 +0100 <gentauro> however, I'm not gonna make such a tool (yeah, I made `uniprocess` ages ago) mostly cos I'm any AI. Not cos it isn't usefull (Terence Tao) but because it's used by so many to generate an insane amount of AI-workslop (look it up Harvard Business Review)
2026-01-28 12:23:37 +0100poscat0x04(~poscat@user/poscat) (Quit: Bye)
2026-01-28 12:23:30 +0100kuribas(~user@ip-188-118-57-242.reverse.destiny.be) kuribas
2026-01-28 12:22:49 +0100 <gentauro> I mean, we are the ones that can limit branches of code with `rio` -> https://uniprocess.org/effects.html
2026-01-28 12:22:28 +0100danza(~danza@user/danza) danza
2026-01-28 12:21:49 +0100 <gentauro> __monty__: "Composable Memory Transactions" -> http://research.microsoft.com/en-us/um/people/simonpj/papers/stm/stm.pdf (look for "launching missiles") ;)
2026-01-28 12:19:10 +0100 <__monty__> What does sound and safe mean for an IRC bot?
2026-01-28 12:18:37 +0100 <gentauro> just a thought
2026-01-28 12:18:29 +0100 <gentauro> and since most AI-tools now are becoming TUI (but running JS or Go)
2026-01-28 12:17:38 +0100 <gentauro> I mean, the bots running here are "pretty" bullet-proof
2026-01-28 12:17:26 +0100 <gentauro> reading a few messages here on AI learning (ChatGPT). What holds haskellers back from creating a "sound and safe" bot?
2026-01-28 11:57:45 +0100mange(~mange@user/mange) mange
2026-01-28 11:54:21 +0100attlin(~user@user/attlin) attlin
2026-01-28 11:53:46 +0100attlin(~user@user/attlin) (Quit: Leaving)
2026-01-28 11:49:51 +0100danz65495(~danza@user/danza) (Remote host closed the connection)
2026-01-28 11:35:44 +0100chexum(~quassel@gateway/tor-sasl/chexum) chexum