Logs: liberachat/#haskell
| 2025-11-09 22:16:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-09 22:18:44 | × | bggd quits (~bgg@2a01:e0a:819:1510:f6c5:7174:b2a7:ffcc) (Remote host closed the connection) |
| 2025-11-09 22:21:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-09 22:32:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-09 22:37:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-09 22:37:14 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-11-09 22:38:41 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-11-09 22:38:59 | → | divlamir joins (~divlamir@user/divlamir) |
| 2025-11-09 22:47:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-09 22:52:50 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-09 23:03:41 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-09 23:08:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-09 23:09:26 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2025-11-09 23:10:06 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 2025-11-09 23:11:32 | × | tromp quits (~textual@2001:1c00:3487:1b00:b9c6:2c55:4165:c029) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-09 23:17:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-09 23:19:07 | hololeap_ | is now known as hololeap |
| 2025-11-09 23:21:03 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 265 seconds) |
| 2025-11-09 23:22:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-11-09 23:22:30 | → | haltingsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-09 23:33:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-09 23:39:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-09 23:40:52 | trickard_ | is now known as trickard |
| 2025-11-09 23:51:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-09 23:55:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-09 23:56:56 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-11-09 23:58:08 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 272 seconds) |
| 2025-11-10 00:05:32 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-10 00:06:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-10 00:12:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-10 00:18:25 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-10 00:23:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-10 00:25:54 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2025-11-10 00:27:52 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-10 00:36:55 | × | Tuplanolla quits (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Ping timeout: 264 seconds) |
| 2025-11-10 00:50:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-10 00:55:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-11-10 00:59:34 | × | trickard quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-10 00:59:47 | → | trickard joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-10 01:05:00 | × | otto_s quits (~user@p4ff27028.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2025-11-10 01:05:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-10 01:06:57 | → | otto_s joins (~user@p4ff2757b.dip0.t-ipconnect.de) |
| 2025-11-10 01:07:18 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-11-10 01:09:35 | → | Apaho joins (~Apaho@2601:152:5001:2790:4cb8:420c:5aa5:e9a6) |
| 2025-11-10 01:09:41 | × | Apaho quits (~Apaho@2601:152:5001:2790:4cb8:420c:5aa5:e9a6) (Client Quit) |
| 2025-11-10 01:10:41 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-10 01:10:58 | × | xff0x_ quits (~xff0x@2405:6580:b080:900:2f53:a1ab:6a96:bd23) (Ping timeout: 246 seconds) |
| 2025-11-10 01:19:18 | → | inline__ joins (~inlinE@2a02:3035:667:b4a6:302c:e2db:579c:e1ef) |
| 2025-11-10 01:21:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-10 01:21:49 | × | Inline quits (~inlinE@dynamic-176-006-058-078.176.6.pool.telefonica.de) (Ping timeout: 255 seconds) |
| 2025-11-10 01:28:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-11-10 01:35:16 | × | haltingsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 2025-11-10 01:35:37 | → | haltingsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-10 01:39:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-10 01:41:56 | × | Starving_Drummer quits (~berke@user/Starving-Drummer:76786) (Remote host closed the connection) |
| 2025-11-10 01:44:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-10 01:52:39 | × | haltingsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 260 seconds) |
| 2025-11-10 01:55:00 | × | trickard quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-10 01:55:14 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-10 01:55:25 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-10 01:58:56 | × | trickard_ quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-10 02:00:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-10 02:00:28 | → | mange joins (~mange@user/mange) |
| 2025-11-10 02:02:55 | × | otto_s quits (~user@p4ff2757b.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2025-11-10 02:03:15 | × | weary-traveler quits (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-11-10 02:03:33 | → | weary-traveler joins (~user@user/user363627) |
| 2025-11-10 02:04:55 | → | otto_s joins (~user@p4ff2712e.dip0.t-ipconnect.de) |
| 2025-11-10 02:05:44 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-10 02:09:24 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-11-10 02:11:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-10 02:12:35 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Remote host closed the connection) |
| 2025-11-10 02:13:59 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-11-10 02:16:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-10 02:16:48 | trickard_ | is now known as trickard |
| 2025-11-10 02:22:21 | × | tccq quits (~tccq@user/tccq) (Remote host closed the connection) |
| 2025-11-10 02:27:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-10 02:31:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-10 02:37:26 | → | DetourNe- joins (DetourNetw@user/DetourNetworkUK) |
| 2025-11-10 02:37:52 | × | DetourNetworkUK quits (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2025-11-10 02:39:49 | DetourNe- | is now known as DetourNetworkUK |
| 2025-11-10 02:42:16 | <jreicher> | Another way of looking at two's complement that I quite like is that it's an offset number line with the top bit missing. So say you have an 8 bit representation. Imagine your number line in 9 bits with 0 being represented as 1 0000 0000 and arithmetic working as usual. Strip the top bit and you get two's complement. |
| 2025-11-10 02:42:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-10 02:47:23 | × | bradparker quits (sid262931@id-262931.uxbridge.irccloud.com) () |
| 2025-11-10 02:47:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-11-10 02:58:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-10 02:58:44 | → | collide2954 joins (~collide29@user/collide2954) |
| 2025-11-10 03:02:17 | × | pabs3 quits (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
| 2025-11-10 03:03:03 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-10 03:03:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-10 03:04:07 | → | pabs3 joins (~pabs3@user/pabs3) |
| 2025-11-10 03:09:37 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2025-11-10 03:11:10 | × | trickard quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-10 03:11:23 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-10 03:12:51 | × | acarrico quits (~acarrico@pppoe-209-99-223-51.greenmountainaccess.net) (Ping timeout: 252 seconds) |
| 2025-11-10 03:14:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-10 03:14:26 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-10 03:17:53 | × | Pozyomka quits (~pyon@user/pyon) (Ping timeout: 244 seconds) |
| 2025-11-10 03:19:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-10 03:22:29 | × | trickard_ quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-10 03:22:43 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
All times are in UTC.