Newest at the top
| 2026-01-28 14:15:12 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-01-28 14:14:37 +0100 | tromp | (~textual@2001:1c00:3487:1b00:3c54:4195:2368:c0f6) |
| 2026-01-28 14:14:20 +0100 | Enrico63 | (~Enrico63@host-79-42-228-73.retail.telecomitalia.it) Enrico63 |
| 2026-01-28 14:09:16 +0100 | trickard_ | trickard |
| 2026-01-28 14:06:01 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2026-01-28 14:03:03 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2026-01-28 13:54:14 +0100 | statusbot | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) statusbot |
| 2026-01-28 13:53:57 +0100 | statusbot4 | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Remote host closed the connection) |
| 2026-01-28 13:42:36 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2026-01-28 13:42:23 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-28 13:21:47 +0100 | mange | (~mange@user/mange) (Quit: Zzz...) |
| 2026-01-28 13:16:03 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2026-01-28 13:03:52 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-01-28 12:52:55 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2026-01-28 12:50:16 +0100 | tromp | (~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 +0100 | danza | (~danza@user/danza) (Remote host closed the connection) |
| 2026-01-28 12:46:33 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-01-28 12:44:57 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2026-01-28 12:43:41 +0100 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2026-01-28 12:43:08 +0100 | poscat | (~poscat@user/poscat) (Quit: Bye) |
| 2026-01-28 12:40:50 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Read error: Connection reset by peer) |
| 2026-01-28 12:36:32 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2026-01-28 12:33:19 +0100 | comerijn | (~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 +0100 | itaipu | (~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 +0100 | poscat | (~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 +0100 | poscat0x04 | (~poscat@user/poscat) (Quit: Bye) |
| 2026-01-28 12:23:30 +0100 | kuribas | (~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 +0100 | danza | (~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 +0100 | mange | (~mange@user/mange) mange |
| 2026-01-28 11:54:21 +0100 | attlin | (~user@user/attlin) attlin |
| 2026-01-28 11:53:46 +0100 | attlin | (~user@user/attlin) (Quit: Leaving) |
| 2026-01-28 11:49:51 +0100 | danz65495 | (~danza@user/danza) (Remote host closed the connection) |
| 2026-01-28 11:35:44 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-01-28 11:35:34 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-01-28 11:33:56 +0100 | Guest87 | (~Guest87@223.184.186.202) (Client Quit) |
| 2026-01-28 11:30:46 +0100 | Guest87 | (~Guest87@223.184.186.202) |
| 2026-01-28 11:28:49 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-01-28 11:23:11 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |