Logs: liberachat/#haskell
| 2026-02-18 10:04:47 | → | dolio joins (~dolio@130.44.140.168) |
| 2026-02-18 10:06:41 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2026-02-18 10:18:56 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2026-02-18 10:26:48 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-02-18 10:26:58 | → | divlamir joins (~divlamir@user/divlamir) |
| 2026-02-18 10:33:13 | → | uowou joins (~u0_a160@cpc157419-sotn14-2-0-cust964.15-1.cable.virginm.net) |
| 2026-02-18 10:39:32 | → | srazkvt joins (~sarah@user/srazkvt) |
| 2026-02-18 11:04:48 | <gentauro> | hadronized: which proof tool are you using? |
| 2026-02-18 11:05:30 | → | xff0x joins (~xff0x@2405:6580:b080:900:f3ed:c7e5:5beb:90ae) |
| 2026-02-18 11:06:02 | × | srazkvt quits (~sarah@user/srazkvt) (Read error: Connection reset by peer) |
| 2026-02-18 11:19:47 | × | Enrico63 quits (~Enrico63@host-79-56-90-180.retail.telecomitalia.it) (Ping timeout: 272 seconds) |
| 2026-02-18 11:24:25 | × | int-e quits (~noone@int-e.eu) (Server closed connection) |
| 2026-02-18 11:24:35 | → | int-e joins (~noone@int-e.eu) |
| 2026-02-18 11:31:45 | × | cjay quits (~cjay@nerdbox.nerd2nerd.org) (Server closed connection) |
| 2026-02-18 11:31:55 | → | cjay joins (~cjay@nerdbox.nerd2nerd.org) |
| 2026-02-18 11:36:25 | × | LUCKY_NOOB quits (~LUCKY_NOO@user/LUCKY-NOOB:44374) (Server closed connection) |
| 2026-02-18 11:36:43 | → | LUCKY_NOOB joins (~LUCKY_NOO@user/LUCKY-NOOB:44374) |
| 2026-02-18 11:41:05 | × | Flow quits (~none@gentoo/developer/flow) (Server closed connection) |
| 2026-02-18 11:41:44 | → | Flow joins (~none@gentoo/developer/flow) |
| 2026-02-18 11:44:23 | → | haritz joins (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2026-02-18 11:44:23 | × | haritz quits (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2026-02-18 11:44:23 | → | haritz joins (~hrtz@user/haritz) |
| 2026-02-18 11:48:46 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-02-18 11:52:59 | × | krei-se quits (~krei-se@p5dea1d59.dip0.t-ipconnect.de) (Server closed connection) |
| 2026-02-18 11:53:21 | → | krei-se joins (~krei-se@p200300f1cfff3e88000000000000c8c6.dip0.t-ipconnect.de) |
| 2026-02-18 11:56:59 | × | myme quits (~myme@2a01:799:d5e:5f00:1efd:1fab:dfd5:7518) (Server closed connection) |
| 2026-02-18 11:57:23 | → | myme joins (~myme@2a01:799:d5e:5f00:6ed7:8f01:2568:20be) |
| 2026-02-18 12:06:36 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 2026-02-18 12:10:44 | × | fp quits (~Thunderbi@130.233.70.214) (Ping timeout: 245 seconds) |
| 2026-02-18 12:14:56 | × | juri_ quits (~juri@217-114-215-140.pool.ovpn.com) (Ping timeout: 252 seconds) |
| 2026-02-18 12:16:36 | → | juri_ joins (~juri@217-114-215-140.pool.ovpn.com) |
| 2026-02-18 12:20:02 | → | fp joins (~Thunderbi@130.233.70.214) |
| 2026-02-18 12:22:36 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2026-02-18 12:22:36 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2026-02-18 12:22:36 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2026-02-18 12:22:36 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-02-18 12:22:36 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2026-02-18 12:22:50 | → | califax joins (~califax@user/califx) |
| 2026-02-18 12:22:52 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 2026-02-18 12:22:55 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 2026-02-18 12:22:57 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2026-02-18 12:23:03 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 2026-02-18 12:25:39 | × | mulk quits (~mulk@p5b2dcbcc.dip0.t-ipconnect.de) (Server closed connection) |
| 2026-02-18 12:26:29 | → | mulk joins (~mulk@p5b2dcbcc.dip0.t-ipconnect.de) |
| 2026-02-18 12:41:06 | × | arandombit quits (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-02-18 12:41:19 | × | juri_ quits (~juri@217-114-215-140.pool.ovpn.com) (Ping timeout: 246 seconds) |
| 2026-02-18 12:43:24 | → | juri_ joins (~juri@217-114-215-140.pool.ovpn.com) |
| 2026-02-18 12:43:56 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-02-18 12:45:55 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2026-02-18 12:55:07 | → | weary-traveler joins (~user@user/user363627) |
| 2026-02-18 12:55:24 | → | polykernel joins (~polykerne@user/polykernel) |
| 2026-02-18 13:13:39 | × | remedan quits (~remedan@78-80-95-79.customers.tmcz.cz) (Server closed connection) |
| 2026-02-18 13:14:40 | → | remedan joins (~remedan@78-80-95-79.customers.tmcz.cz) |
| 2026-02-18 13:23:36 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2026-02-18 13:23:58 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 2026-02-18 13:27:12 | → | tremon joins (~tremon@83.80.159.219) |
| 2026-02-18 13:29:41 | × | uowou quits (~u0_a160@cpc157419-sotn14-2-0-cust964.15-1.cable.virginm.net) (Quit: WeeChat 4.7.1) |
| 2026-02-18 13:29:45 | → | michalz joins (~michalz@185.246.207.200) |
| 2026-02-18 13:33:14 | × | skum quits (~skum@user/skum) (Quit: WeeChat 4.8.1) |
| 2026-02-18 13:44:11 | → | skum joins (~skum@user/skum) |
| 2026-02-18 13:44:30 | → | crazazy joins (crazazy@tilde.town) |
| 2026-02-18 13:46:59 | → | skinkitten joins (~skinkitte@user/skinkitten) |
| 2026-02-18 14:05:19 | × | chr55 quits (57a0c161b0@user/chr55) (Ping timeout: 245 seconds) |
| 2026-02-18 14:05:19 | × | samhh_ quits (7569f027cf@2a03:6000:1812:100::e4) (Ping timeout: 245 seconds) |
| 2026-02-18 14:05:45 | × | xdej quits (~xdej@quatramaran.salle-s.org) (Server closed connection) |
| 2026-02-18 14:05:56 | → | xdej joins (~xdej@quatramaran.salle-s.org) |
| 2026-02-18 14:09:49 | → | chr55 joins (57a0c161b0@user/chr55) |
| 2026-02-18 14:09:49 | → | bsima1 joins (9d7e39c8ad@2a03:6000:1812:100::dd) |
| 2026-02-18 14:09:50 | → | samhh_ joins (7569f027cf@2a03:6000:1812:100::e4) |
| 2026-02-18 14:09:53 | → | lukec joins (9dfd4d094e@2a03:6000:1812:100::10e) |
| 2026-02-18 14:17:04 | → | rekahsoft joins (~rekahsoft@76.67.111.168) |
| 2026-02-18 14:31:19 | × | tromp quits (~textual@2001:1c00:3487:1b00:8db8:aaff:f8b5:b4de) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-18 14:40:54 | → | jayanth joins (~jayanth@pool-108-16-35-209.phlapa.fios.verizon.net) |
| 2026-02-18 14:51:19 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 2026-02-18 14:57:20 | × | haveo_ quits (~weechat@pacamara.iuwt.fr) (Quit: WeeChat 4.2.2) |
| 2026-02-18 14:58:35 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 2026-02-18 15:01:37 | → | poscat joins (~poscat@user/poscat) |
| 2026-02-18 15:06:15 | → | tromp joins (~textual@2001:1c00:3487:1b00:8db8:aaff:f8b5:b4de) |
| 2026-02-18 15:14:29 | → | emaczen joins (~user@user/emaczen) |
| 2026-02-18 15:15:39 | × | skinkitten quits (~skinkitte@user/skinkitten) (Quit: Client closed) |
| 2026-02-18 15:19:11 | → | Enrico63 joins (~Enrico63@host-79-56-90-180.retail.telecomitalia.it) |
| 2026-02-18 15:19:49 | × | rembo10_ quits (~rembo10@main.remulis.com) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-02-18 15:22:03 | → | rembo10 joins (~rembo10@main.remulis.com) |
| 2026-02-18 15:32:19 | × | polykernel quits (~polykerne@user/polykernel) (Ping timeout: 265 seconds) |
| 2026-02-18 15:32:44 | → | polykernel joins (~polykerne@user/polykernel) |
| 2026-02-18 15:37:39 | × | bwe quits (~bwe@2a01:4f8:1c1c:4878::2) (Server closed connection) |
| 2026-02-18 15:38:19 | → | Guest53 joins (~Guest99@143.110.247.45) |
| 2026-02-18 15:41:13 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-02-18 15:44:14 | × | DetourNetworkUK quits (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-02-18 15:45:24 | → | DetourNetworkUK joins (~DetourNet@user/DetourNetworkUK) |
| 2026-02-18 15:45:29 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 252 seconds) |
| 2026-02-18 15:46:00 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2026-02-18 15:57:12 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-02-18 16:00:26 | × | Guest53 quits (~Guest99@143.110.247.45) (Quit: Client closed) |
| 2026-02-18 16:08:19 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 255 seconds) |
| 2026-02-18 16:13:01 | × | Enrico63 quits (~Enrico63@host-79-56-90-180.retail.telecomitalia.it) (Ping timeout: 272 seconds) |
| 2026-02-18 16:19:41 | × | fp quits (~Thunderbi@130.233.70.214) (Ping timeout: 265 seconds) |
| 2026-02-18 16:21:30 | → | Tuplanolla joins (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) |
| 2026-02-18 16:22:18 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2026-02-18 16:22:37 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
All times are in UTC.