Logs: liberachat/#haskell
| 2026-01-28 10:04:10 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2026-01-28 10:06:39 | → | acidjnk_new joins (~acidjnk@p200300d6e700e523c8ca6d674f934d23.dip0.t-ipconnect.de) |
| 2026-01-28 10:08:41 | × | trickard quits (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-28 10:08:54 | → | trickard_ joins (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2026-01-28 10:09:24 | × | img quits (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-01-28 10:10:37 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2026-01-28 10:10:44 | → | img joins (~img@user/img) |
| 2026-01-28 10:22:10 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 252 seconds) |
| 2026-01-28 10:23:11 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2026-01-28 10:28:49 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2026-01-28 10:30:46 | → | Guest87 joins (~Guest87@223.184.186.202) |
| 2026-01-28 10:33:56 | × | Guest87 quits (~Guest87@223.184.186.202) (Client Quit) |
| 2026-01-28 10:35:34 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-01-28 10:35:44 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 2026-01-28 10:49:51 | × | danz65495 quits (~danza@user/danza) (Remote host closed the connection) |
| 2026-01-28 10:53:46 | × | attlin quits (~user@user/attlin) (Quit: Leaving) |
| 2026-01-28 10:54:21 | → | attlin joins (~user@user/attlin) |
| 2026-01-28 10:57:45 | → | mange joins (~mange@user/mange) |
| 2026-01-28 11:17:26 | <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:17:38 | <gentauro> | I mean, the bots running here are "pretty" bullet-proof |
| 2026-01-28 11:18:29 | <gentauro> | and since most AI-tools now are becoming TUI (but running JS or Go) |
| 2026-01-28 11:18:37 | <gentauro> | just a thought |
| 2026-01-28 11:19:10 | <__monty__> | What does sound and safe mean for an IRC bot? |
| 2026-01-28 11:21:49 | <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 11:22:28 | → | danza joins (~danza@user/danza) |
| 2026-01-28 11:22:49 | <gentauro> | I mean, we are the ones that can limit branches of code with `rio` -> https://uniprocess.org/effects.html |
| 2026-01-28 11:23:30 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2026-01-28 11:23:37 | × | poscat0x04 quits (~poscat@user/poscat) (Quit: Bye) |
| 2026-01-28 11:24:17 | <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 11:24:36 | → | poscat joins (~poscat@user/poscat) |
| 2026-01-28 11:24:54 | <gentauro> | "I'm any AI" -> "I'm anti AI" |
| 2026-01-28 11:29:14 | × | itaipu quits (~itaipu@168.121.97.28) (Ping timeout: 256 seconds) |
| 2026-01-28 11:29:31 | <danza> | good luck with that |
| 2026-01-28 11:33:19 | × | comerijn quits (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2026-01-28 11:36:32 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 2026-01-28 11:40:50 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Read error: Connection reset by peer) |
| 2026-01-28 11:43:08 | × | poscat quits (~poscat@user/poscat) (Quit: Bye) |
| 2026-01-28 11:43:41 | → | itaipu joins (~itaipu@168.121.97.28) |
| 2026-01-28 11:44:57 | → | poscat joins (~poscat@user/poscat) |
| 2026-01-28 11:46:33 | → | merijn joins (~merijn@77.242.116.146) |
| 2026-01-28 11:47:44 | × | danza quits (~danza@user/danza) (Remote host closed the connection) |
| 2026-01-28 11:49:24 | <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 11:50:13 | <gentauro> | «What a time to be alive» |
| 2026-01-28 11:50:16 | × | tromp quits (~textual@2001:1c00:3487:1b00:3c54:4195:2368:c0f6) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-01-28 11:52:55 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2026-01-28 12:03:52 | → | merijn joins (~merijn@77.242.116.146) |
| 2026-01-28 12:16:03 | → | karenw joins (~karenw@user/karenw) |
| 2026-01-28 12:21:47 | × | mange quits (~mange@user/mange) (Quit: Zzz...) |
| 2026-01-28 12:42:23 | × | trickard_ quits (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-28 12:42:36 | → | trickard_ joins (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2026-01-28 12:53:57 | × | statusbot4 quits (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Remote host closed the connection) |
| 2026-01-28 12:54:14 | → | statusbot joins (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) |
| 2026-01-28 13:03:03 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2026-01-28 13:06:01 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2026-01-28 13:09:16 | trickard_ | is now known as trickard |
| 2026-01-28 13:14:20 | → | Enrico63 joins (~Enrico63@host-79-42-228-73.retail.telecomitalia.it) |
| 2026-01-28 13:14:37 | → | tromp joins (~textual@2001:1c00:3487:1b00:3c54:4195:2368:c0f6) |
| 2026-01-28 13:15:12 | → | merijn joins (~merijn@77.242.116.146) |
| 2026-01-28 13:25:08 | → | xff0x joins (~xff0x@ai083101.d.east.v6connect.net) |
| 2026-01-28 13:29:55 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 255 seconds) |
| 2026-01-28 13:35:49 | × | trickard quits (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-28 13:36:03 | → | trickard_ joins (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2026-01-28 13:42:58 | × | yin quits (~zero@user/zero) (Ping timeout: 255 seconds) |
| 2026-01-28 13:48:04 | × | Digit quits (~user@user/digit) (Ping timeout: 256 seconds) |
| 2026-01-28 13:52:58 | → | yin joins (~zero@user/zero) |
| 2026-01-28 13:53:56 | × | tromp quits (~textual@2001:1c00:3487:1b00:3c54:4195:2368:c0f6) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-01-28 14:00:24 | → | Digit joins (~user@user/digit) |
| 2026-01-28 14:07:03 | → | tromp joins (~textual@2001:1c00:3487:1b00:3c54:4195:2368:c0f6) |
| 2026-01-28 14:11:08 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2026-01-28 14:17:40 | Digit | is now known as digitteknohippie |
| 2026-01-28 14:18:28 | digitteknohippie | is now known as Digit |
| 2026-01-28 14:20:24 | × | _d0t quits (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 260 seconds) |
| 2026-01-28 14:22:16 | × | trickard_ quits (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-28 14:22:29 | → | trickard_ joins (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2026-01-28 14:24:12 | → | _d0t joins (~{-d0t-}@user/-d0t-/x-7915216) |
| 2026-01-28 14:30:06 | → | Zemy joins (~Zemy@2600:100c:b0ae:64d4:7044:f3ff:feb2:40ac) |
| 2026-01-28 14:33:19 | × | Zemy_ quits (~Zemy@72.178.108.235) (Ping timeout: 264 seconds) |
| 2026-01-28 14:33:19 | × | newgan quits (~halloy132@2601:8d:8700:2b30::722e) (Ping timeout: 246 seconds) |
| 2026-01-28 14:37:25 | × | qqq quits (~qqq@185.54.21.105) (Ping timeout: 245 seconds) |
| 2026-01-28 14:44:37 | → | qqq joins (~qqq@185.54.21.105) |
| 2026-01-28 14:45:32 | → | Zemy_ joins (~Zemy@mobile-107-80-206-40.mycingular.net) |
| 2026-01-28 14:48:54 | × | gawen quits (~gawen@user/gawen) (Quit: cya) |
| 2026-01-28 14:49:04 | × | Zemy quits (~Zemy@2600:100c:b0ae:64d4:7044:f3ff:feb2:40ac) (Ping timeout: 246 seconds) |
| 2026-01-28 14:50:35 | → | Zemy joins (~Zemy@2600:100c:b0ae:64d4:a8b1:42ff:fe07:b202) |
| 2026-01-28 14:54:05 | → | Core2071 joins (~Zemy@mobile-107-80-206-30.mycingular.net) |
| 2026-01-28 14:54:26 | → | gawen joins (~gawen@user/gawen) |
| 2026-01-28 14:54:55 | × | Zemy_ quits (~Zemy@mobile-107-80-206-40.mycingular.net) (Ping timeout: 264 seconds) |
| 2026-01-28 14:57:43 | × | natto17 quits (~natto@129.154.243.159) (Quit: a.) |
| 2026-01-28 14:57:44 | × | Zemy quits (~Zemy@2600:100c:b0ae:64d4:a8b1:42ff:fe07:b202) (Ping timeout: 260 seconds) |
| 2026-01-28 14:58:54 | → | natto17 joins (~natto@129.154.243.159) |
| 2026-01-28 15:01:55 | → | Zemy joins (~Zemy@2600:100c:b0ae:64d4:e8a1:60ff:fe56:28a) |
| 2026-01-28 15:05:54 | × | Core2071 quits (~Zemy@mobile-107-80-206-30.mycingular.net) (Ping timeout: 260 seconds) |
| 2026-01-28 15:06:29 | × | Enrico63 quits (~Enrico63@host-79-42-228-73.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-01-28 15:13:08 | × | gawen quits (~gawen@user/gawen) (Quit: cya) |
| 2026-01-28 15:14:10 | → | Square joins (~Square4@user/square) |
| 2026-01-28 15:17:01 | × | natto17 quits (~natto@129.154.243.159) (Quit: a.) |
| 2026-01-28 15:18:19 | trickard_ | is now known as trickard |
| 2026-01-28 15:18:54 | → | danza joins (~danza@user/danza) |
| 2026-01-28 15:19:22 | → | gawen joins (~gawen@user/gawen) |
| 2026-01-28 15:20:20 | × | danza quits (~danza@user/danza) (Remote host closed the connection) |
All times are in UTC.