2025/07/22

Newest at the top

2025-07-23 00:49:05 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2025-07-23 00:48:22 +0200 <EvanR> gcc solved the halting problem!
2025-07-23 00:48:16 +0200falafel(~falafel@79.117.174.28) (Remote host closed the connection)
2025-07-23 00:48:00 +0200_________(~nobody@user/noodly) _________
2025-07-23 00:46:08 +0200hydrocarboxide(~user@user/hydrocarboxide) hydrocarboxide
2025-07-23 00:46:01 +0200_________(~nobody@user/noodly) (Ping timeout: 244 seconds)
2025-07-23 00:41:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-23 00:37:28 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 240 seconds)
2025-07-23 00:36:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-23 00:32:53 +0200Square2(~Square@user/square) (Ping timeout: 245 seconds)
2025-07-23 00:32:52 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-07-23 00:30:43 +0200xff0x(~xff0x@2405:6580:b080:900:a128:338f:f680:9bb)
2025-07-23 00:30:15 +0200xff0x(~xff0x@2405:6580:b080:900:5e14:ebc5:de35:bb62) (Ping timeout: 276 seconds)
2025-07-23 00:26:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-23 00:24:05 +0200Digit(~user@user/digit) (Remote host closed the connection)
2025-07-23 00:21:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-23 00:13:47 +0200Square2(~Square@user/square) Square
2025-07-23 00:11:49 +0200Square2(~Square@user/square) (Ping timeout: 260 seconds)
2025-07-23 00:10:27 +0200stefan-__(~m-yh2rcc@42dots.de) stefan-__
2025-07-23 00:10:12 +0200stefan-__(~m-yh2rcc@42dots.de) (Ping timeout: 252 seconds)
2025-07-23 00:08:47 +0200Square3(~Square4@user/square) Square
2025-07-23 00:08:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-07-23 00:07:27 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds)
2025-07-23 00:04:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-23 00:01:57 +0200weary-traveler(~user@user/user363627) (Quit: Konversation terminated!)
2025-07-23 00:00:21 +0200 <monochrom> Yeah it started with GHC -O compiling "x=x+1" to "x=x". :)
2025-07-22 23:58:55 +0200 <int-e> Anyway. It occurs to me that this isn't Haskell :-)
2025-07-22 23:58:27 +0200 <int-e> I guess that's what you get if you don't realize that c++ always terminates
2025-07-22 23:57:44 +0200 <int-e> Oh, still with `int` I guess. So stopping right before the undefined behavior occurs...
2025-07-22 23:57:22 +0200biberu(~biberu@user/biberu) (Read error: Connection reset by peer)
2025-07-22 23:57:16 +0200 <monochrom> It's really < . cmpl. Also I printed out the final c, it prints 31.
2025-07-22 23:56:54 +0200 <int-e> (I assume you're reading assembly)
2025-07-22 23:56:40 +0200 <int-e> should be <= ?
2025-07-22 23:56:10 +0200 <monochrom> -O1 is the funny one. It became: while (c < 31) {c++;}
2025-07-22 23:54:35 +0200 <int-e> ("next" in the resulting binary)
2025-07-22 23:54:11 +0200weary-traveler(~user@user/user363627) user363627
2025-07-22 23:53:57 +0200ndudaev(~ndudaev@user/ndudaev) (Remote host closed the connection)
2025-07-22 23:53:53 +0200 <int-e> true, it could drop it all fall through to the next function, if any
2025-07-22 23:53:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-07-22 23:53:07 +0200 <mauke> weird that it left the loop in
2025-07-22 23:52:40 +0200 <monochrom> Right, I misremembered. I have now checked my old files. It was really: int b = 1, c = 0; while (b >= 0) {b *= 2; ++c}
2025-07-22 23:52:21 +0200 <int-e> but if you do this with signed integers you'll get burned by singed overflow being undefined behavior.
2025-07-22 23:51:35 +0200 <int-e> monochrom: unsigned should work fine. (assuming that's a b *= 2; )
2025-07-22 23:49:15 +0200geekosaur-o geekosaur
2025-07-22 23:49:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-22 23:48:55 +0200 <monochrom> In C I had "unsigned b = 1, c = 0; while (b != 0) { b *= 2 1; c++}; print c;". gcc -O2 compiled that to: L2: goto L2; XD
2025-07-22 23:48:38 +0200geekosaur+b r-sta!r-sta@*.cable.virginm.net
2025-07-22 23:47:57 +0200ChanServ+o geekosaur
2025-07-22 23:47:38 +0200 <geekosaur> right, they switched to a different provider to evade the ban
2025-07-22 23:45:06 +0200 <int-e> you did