2025/01/31

Newest at the top

2025-01-31 09:59:55 +0100AlexNoo__(~AlexNoo@5.139.233.186)
2025-01-31 09:59:52 +0100danza(~danza@user/danza) danza
2025-01-31 09:59:37 +0100danz55770(~danza@user/danza) (Remote host closed the connection)
2025-01-31 09:58:29 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-01-31 09:58:03 +0100anpad(~pandeyan@user/anpad) anpad
2025-01-31 09:56:36 +0100danza(~danza@user/danza) (Ping timeout: 252 seconds)
2025-01-31 09:54:37 +0100danz55770(~danza@user/danza) danza
2025-01-31 09:51:35 +0100nullie(~nullie@nuremberg.nullie.name) nullie
2025-01-31 09:49:54 +0100falafel(~falafel@syn-076-093-010-089.res.spectrum.com) (Ping timeout: 260 seconds)
2025-01-31 09:48:10 +0100nullie(~nullie@nuremberg.nullie.name) (Read error: Connection reset by peer)
2025-01-31 09:47:41 +0100chele(~chele@user/chele) chele
2025-01-31 09:39:50 +0100anpad(~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in)
2025-01-31 09:36:56 +0100tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) tcard
2025-01-31 09:32:40 +0100Googulator(~Googulato@2a01-036d-0106-1666-e945-fd21-b920-9aa7.pool6.digikabel.hu) (Ping timeout: 240 seconds)
2025-01-31 09:30:58 +0100danza(~danza@user/danza) danza
2025-01-31 09:30:48 +0100anpad(~pandeyan@user/anpad) anpad
2025-01-31 09:29:36 +0100emmanuelux(~emmanuelu@user/emmanuelux) (Quit: au revoir)
2025-01-31 09:27:08 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en
2025-01-31 09:25:37 +0100acidjnk_new3(~acidjnk@p200300d6e7283f830c2bc91cde612e63.dip0.t-ipconnect.de) acidjnk
2025-01-31 09:25:18 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-01-31 09:24:38 +0100user__(~user@user/fmira) (Remote host closed the connection)
2025-01-31 09:23:39 +0100tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving)
2025-01-31 09:21:01 +0100anpad(~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in)
2025-01-31 09:16:57 +0100eL_Bart0(eL_Bart0@dietunichtguten.org)
2025-01-31 09:15:48 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-01-31 09:14:04 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-01-31 09:13:58 +0100sawilagar(~sawilagar@user/sawilagar) sawilagar
2025-01-31 09:13:09 +0100anpad(~pandeyan@user/anpad) anpad
2025-01-31 09:11:19 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-01-31 09:09:45 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-01-31 09:07:30 +0100rvalue(~rvalue@user/rvalue) rvalue
2025-01-31 09:06:59 +0100rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2025-01-31 09:05:03 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-01-31 09:02:23 +0100euleritian(~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de)
2025-01-31 09:02:05 +0100euleritian(~euleritia@dynamic-176-006-140-003.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-01-31 09:01:32 +0100sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-01-31 09:01:04 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-01-31 09:00:41 +0100caconym(~caconym@user/caconym) caconym
2025-01-31 09:00:02 +0100caconym(~caconym@user/caconym) (Quit: bye)
2025-01-31 08:59:02 +0100tnt2tnt1
2025-01-31 08:59:02 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 252 seconds)
2025-01-31 08:58:51 +0100tnt2(~Thunderbi@user/tnt1) tnt1
2025-01-31 08:56:25 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-01-31 08:54:31 +0100falafel(~falafel@syn-076-093-010-089.res.spectrum.com) falafel
2025-01-31 08:52:03 +0100 <dminuoso> I'm staring at some Haskell code that explicitly masks with 0xff before fromIntegral, is that strictly necessary or can I rely on truncation like this?
2025-01-31 08:51:52 +0100Square(~Square@user/square) (Ping timeout: 272 seconds)
2025-01-31 08:51:27 +0100 <yahb2> <interactive>:97:15: warning: [GHC-97441] [-Woverflowed-literals] ; Literal 16777215 is out of the Word16 range 0..65535 ; ; 255
2025-01-31 08:51:27 +0100 <dminuoso> % fromIntegral (0xffffff :: Word16) :: Word8
2025-01-31 08:49:36 +0100euouae(~euouae@user/euouae) ()
2025-01-31 08:46:21 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)