Logs: liberachat/#haskell
| 2026-01-03 19:44:57 | → | Everything joins (~Everythin@46.96.10.169) |
| 2026-01-03 19:45:56 | → | mangoiv joins (~mangoiv@user/mangoiv) |
| 2026-01-03 19:46:15 | × | pebble quits (~pebble@212.104.118.193) (Quit: KVIrc 5.2.8 Quasar http://www.kvirc.net/) |
| 2026-01-03 19:47:38 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2026-01-03 19:47:39 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-03 19:50:16 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 2026-01-03 19:52:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-03 19:52:32 | → | somemathguy joins (~somemathg@user/somemathguy) |
| 2026-01-03 19:59:21 | → | pebble joins (~pebble@212.104.118.193) |
| 2026-01-03 19:59:36 | × | pebble quits (~pebble@212.104.118.193) (Max SendQ exceeded) |
| 2026-01-03 20:00:25 | → | pebble joins (~pebble@212.104.118.193) |
| 2026-01-03 20:01:01 | × | ouilemur quits (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.8.1) |
| 2026-01-03 20:03:00 | × | pebble quits (~pebble@212.104.118.193) (Read error: Connection reset by peer) |
| 2026-01-03 20:03:28 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-03 20:05:50 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-01-03 20:08:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-03 20:10:49 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 2026-01-03 20:10:50 | × | somemathguy quits (~somemathg@user/somemathguy) (Quit: WeeChat 4.1.1) |
| 2026-01-03 20:14:47 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-03 20:19:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-03 20:23:24 | → | pavonia joins (~user@user/siracusa) |
| 2026-01-03 20:30:24 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-03 20:34:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-03 20:47:52 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-03 20:52:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-03 20:53:13 | × | Inline quits (~User@cgn-195-14-221-74.nc.de) (Quit: KVIrc 5.2.6 Quasar http://www.kvirc.net/) |
| 2026-01-03 20:58:10 | → | Inline joins (~User@cgn-195-14-221-74.nc.de) |
| 2026-01-03 21:03:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-03 21:03:51 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Quit: Textual IRC Client: www.textualapp.com) |
| 2026-01-03 21:07:41 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-03 21:09:04 | <Milan_Vanca> | Imposible happened :( Who could have known ! :D |
| 2026-01-03 21:11:10 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 245 seconds) |
| 2026-01-03 21:13:51 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2026-01-03 21:14:47 | <c_wraith> | I have put (error "you rewrote <this function> and got it wrong") in code before. |
| 2026-01-03 21:15:51 | → | merijn joins (~merijn@62.45.136.136) |
| 2026-01-03 21:19:17 | <EvanR> | Milan_Vanca, a teachable moment |
| 2026-01-03 21:22:30 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 252 seconds) |
| 2026-01-03 21:27:48 | <Milan_Vanca> | EvanR: Indeed! I got humbled. |
| 2026-01-03 21:29:31 | <EvanR> | by obtaining the proof of impossibility, you may humble the code / computer / critics |
| 2026-01-03 21:29:58 | <EvanR> | (then your boss humbles you again by changing the requirements and invalidating the proof) |
| 2026-01-03 21:33:38 | → | Brumaire joins (~no@94.140.114.73) |
| 2026-01-03 21:33:50 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-03 21:36:52 | → | ouilemur joins (~jgmerritt@user/ouilemur) |
| 2026-01-03 21:38:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-03 21:43:20 | × | Inline quits (~User@cgn-195-14-221-74.nc.de) (Ping timeout: 244 seconds) |
| 2026-01-03 21:48:56 | → | Inline joins (~User@cgn-195-14-221-74.nc.de) |
| 2026-01-03 21:49:02 | × | rainbyte_ quits (~rainbyte@186.22.19.214) (Remote host closed the connection) |
| 2026-01-03 21:49:27 | → | rainbyte joins (~rainbyte@186.22.19.214) |
| 2026-01-03 21:49:36 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-03 21:50:00 | × | cheater quits (~AdminUser@2a02:8388:a180:3500:2936:d5c0:ce56:944) (Ping timeout: 252 seconds) |
| 2026-01-03 21:54:02 | <Milan_Vanca> | :D Lucky me! I am not yet employable as a haskell programmer so no proofs needed for my job! |
| 2026-01-03 21:54:15 | <Milan_Vanca> | Heehe :D |
| 2026-01-03 21:54:16 | <Milan_Vanca> | :( :( |
| 2026-01-03 21:54:39 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-01-03 21:54:56 | <Milan_Vanca> | Silently cries into pillow. |
| 2026-01-03 22:05:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-03 22:06:31 | → | crazazy joins (crazazy@tilde.town) |
| 2026-01-03 22:10:18 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-03 22:15:02 | → | haritz joins (~hrtz@user/haritz) |
| 2026-01-03 22:16:48 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-03 22:20:58 | × | Inline quits (~User@cgn-195-14-221-74.nc.de) (Ping timeout: 246 seconds) |
| 2026-01-03 22:21:57 | <Milan_Vanca> | GN :) |
| 2026-01-03 22:22:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-03 22:22:14 | <Milan_Vanca> | And thank you all for answers. |
| 2026-01-03 22:22:20 | × | Milan_Vanca quits (~milan@user/Milan-Vanca:32634) (Quit: WeeChat 4.5.2) |
| 2026-01-03 22:32:36 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-03 22:34:58 | × | aetepe quits (~aetepe@188.119.58.52) (Ping timeout: 246 seconds) |
| 2026-01-03 22:36:10 | → | Inline joins (~inlinE@2001-4dd4-36a0-0-c550-d69-6336-ffed.ipv6dyn.netcologne.de) |
| 2026-01-03 22:37:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-03 22:40:31 | × | Inline quits (~inlinE@2001-4dd4-36a0-0-c550-d69-6336-ffed.ipv6dyn.netcologne.de) (Remote host closed the connection) |
| 2026-01-03 22:48:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-03 22:53:10 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-03 22:56:59 | × | Everything quits (~Everythin@46.96.10.169) (Quit: leaving) |
| 2026-01-03 22:59:31 | → | Inline joins (~User@cgn-195-14-221-74.nc.de) |
| 2026-01-03 23:00:38 | × | Inline quits (~User@cgn-195-14-221-74.nc.de) (Max SendQ exceeded) |
| 2026-01-03 23:01:08 | → | Inline joins (~User@cgn-195-14-221-74.nc.de) |
| 2026-01-03 23:01:48 | × | DetourNetworkUK quits (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-01-03 23:02:11 | → | DetourNetworkUK joins (~DetourNet@user/DetourNetworkUK) |
| 2026-01-03 23:04:10 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-03 23:04:42 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2026-01-03 23:06:17 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2026-01-03 23:06:26 | <haskellbridge> | <Liamzee> @irc_libera.chat_milan_vanca:kf8nh.com: different idea: just newtype it |
| 2026-01-03 23:06:50 | <haskellbridge> | <Liamzee> gone :/ |
| 2026-01-03 23:11:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-03 23:17:49 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-03 23:22:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-01-03 23:23:02 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-01-03 23:25:09 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds) |
| 2026-01-03 23:33:06 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-01-03 23:33:36 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-03 23:37:15 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 240 seconds) |
| 2026-01-03 23:38:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-01-03 23:49:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-03 23:50:07 | × | m_a_r_k quits (~m_a_r_k@archlinux/support/mark) (Ping timeout: 264 seconds) |
| 2026-01-03 23:53:48 | × | Inline quits (~User@cgn-195-14-221-74.nc.de) (Quit: KVIrc 5.2.6 Quasar http://www.kvirc.net/) |
| 2026-01-03 23:54:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-04 00:04:48 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-04 00:09:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-04 00:10:31 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 2026-01-04 00:18:48 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
All times are in UTC.