2026/06/24

Newest at the top

2026-06-24 05:42:47 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-24 05:39:33 +0000ft(~ft@p508db6b1.dip0.t-ipconnect.de) (Quit: leaving)
2026-06-24 05:32:24 +0000 <dolio> Markov's principle says that semi-decidable propositions are ¬¬-stable.
2026-06-24 05:31:53 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-06-24 05:27:26 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-24 05:16:34 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-06-24 05:12:04 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-24 05:05:02 +0000_________(~nobody@user/noodly) _________
2026-06-24 05:03:44 +0000haritz(~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2026-06-24 05:02:43 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-06-24 05:01:03 +0000_________(~nobody@user/noodly) (Quit: leaving)
2026-06-24 04:55:46 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-24 04:49:24 +0000marinelli(~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli)
2026-06-24 04:44:45 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 243 seconds)
2026-06-24 04:40:23 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-24 04:29:38 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-06-24 04:25:03 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-24 04:20:16 +0000michalz(~michalz@185.246.207.201)
2026-06-24 04:14:45 +0000fgarcia(~lei@user/fgarcia) (Ping timeout: 245 seconds)
2026-06-24 04:14:09 +0000merijn(~merijn@62.45.136.136) (Ping timeout: 265 seconds)
2026-06-24 04:09:45 +0000merijn(~merijn@62.45.136.136) merijn
2026-06-24 04:02:20 +0000xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2026-06-24 04:00:40 +0000xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 261 seconds)
2026-06-24 03:58:48 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-06-24 03:54:05 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-24 03:52:08 +0000xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2026-06-24 03:50:19 +0000xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 245 seconds)
2026-06-24 03:45:56 +0000xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2026-06-24 03:44:09 +0000xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 268 seconds)
2026-06-24 03:43:05 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-06-24 03:38:44 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-24 03:27:54 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-06-24 03:24:50 +0000rekahsoft(~rekahsoft@70.51.99.119) (Remote host closed the connection)
2026-06-24 03:24:13 +0000kimiamania(~768865ec@user/kimiamania) kimiamania
2026-06-24 03:23:22 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-24 03:20:50 +0000vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 244 seconds)
2026-06-24 03:12:37 +0000fgarcia(~lei@user/fgarcia) fgarcia
2026-06-24 03:12:24 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-06-24 03:11:38 +0000smalltalkman(uid545680@id-545680.hampstead.irccloud.com) smalltalkman
2026-06-24 03:07:59 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-24 03:06:58 +0000kimiamania(~768865ec@user/kimiamania) (Ping timeout: 248 seconds)
2026-06-24 03:02:11 +0000 <monochrom> Yeah.
2026-06-24 03:02:00 +0000 <EvanR> as you sit there waiting for the search to terminate, you might start to feel like you're looking at the "proof" that the turing machine is infinite
2026-06-24 03:01:25 +0000 <EvanR> yes the realization of this principle is... the purported n can't not exist, so just start looping through them all in order until you find it
2026-06-24 02:59:54 +0000 <monochrom> Oh, decidable f makes the principle much less powerful. I mean much more realistic and closer to being constructive!
2026-06-24 02:57:18 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-06-24 02:52:54 +0000foul_owl(~kerry@94.156.149.95) (Ping timeout: 252 seconds)
2026-06-24 02:52:35 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-24 02:52:06 +0000Katarushisu69Katarushisu6
2026-06-24 02:52:06 +0000Katarushisu6(~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 252 seconds)