00:09:02 -!- tromp has quit (Remote host closed the connection). 00:29:37 [[User:Vulture001]] https://esolangs.org/w/index.php?diff=70038&oldid=66389 * Vulture001 * (+56) 00:29:48 [[User:Vulture001]] https://esolangs.org/w/index.php?diff=70039&oldid=70038 * Vulture001 * (+4) 00:29:55 [[User:Vulture001]] https://esolangs.org/w/index.php?diff=70040&oldid=70039 * Vulture001 * (+4) 00:35:18 [[Special:Log/upload]] upload * Vulture001 * uploaded "[[File:No logo.png]]": Public domain 00:37:57 [[No]] N https://esolangs.org/w/index.php?oldid=70042 * Vulture001 * (+630) Created 00:38:41 [[User:Vulture001]] https://esolangs.org/w/index.php?diff=70043&oldid=70040 * Vulture001 * (+46) 00:38:47 [[User:Vulture001]] https://esolangs.org/w/index.php?diff=70044&oldid=70043 * Vulture001 * (+4) 00:43:39 -!- tromp has joined. 00:48:05 -!- tromp has quit (Ping timeout: 252 seconds). 00:53:40 [[Joke language list]] https://esolangs.org/w/index.php?diff=70045&oldid=69275 * Vulture001 * (+53) 01:38:30 -!- tromp has joined. 01:43:23 -!- tromp has quit (Ping timeout: 272 seconds). 01:50:36 -!- oerjan has joined. 02:17:13 ennesby, meet grippy 02:17:50 02:37:13 -!- arseniiv has quit (Ping timeout: 272 seconds). 02:42:41 -!- arseniiv has joined. 02:44:42 -!- iovoid has quit (Quit: iovoid has quit!). 02:44:50 -!- moonythehammer has quit (Quit: Bye!). 02:44:50 -!- iczero has quit (Quit: rip). 02:47:23 -!- imode has joined. 02:49:19 -!- Bowserinator has quit (Quit: Blame iczero something happened). 02:54:27 -!- iovoid has joined. 02:54:36 -!- moony has joined. 02:54:42 -!- iczero has joined. 02:56:06 -!- Bowserinator has joined. 03:09:47 [[List of ideas]] https://esolangs.org/w/index.php?diff=70046&oldid=67527 * Vulture001 * (+34) /* Looks Like */ 03:17:47 [[Special:Log/upload]] upload * Vulture001 * uploaded "[[File:SC logo.png]]" 03:17:50 [[SovietCode]] N https://esolangs.org/w/index.php?oldid=70048 * Vulture001 * (+758) Created page with "[[File:SC logo.png|130px|border|thumb|Logo|right]]'''SovietCode''' is a Python-interpreted, joke programming language created by [[User:Vulture001|Vulture001]]. The sole purpo..." 03:23:47 [[Talk:Beatnik]] https://esolangs.org/w/index.php?diff=70049&oldid=46212 * Quadril-Is * (+46) 03:23:59 [[Talk:Beatnik]] https://esolangs.org/w/index.php?diff=70050&oldid=70049 * Quadril-Is * (+95) 03:26:23 -!- tromp has joined. 03:30:53 -!- tromp has quit (Ping timeout: 252 seconds). 03:34:02 -!- spruit11 has joined. 03:39:34 -!- imode has quit (Ping timeout: 255 seconds). 03:49:30 -!- tromp has joined. 03:51:47 -!- BWBellairs[NNRF] has joined. 03:52:03 -!- joast has quit (Ping timeout: 260 seconds). 03:52:31 -!- aloril has quit (Ping timeout: 260 seconds). 03:52:31 -!- ineiros_ has quit (Ping timeout: 260 seconds). 03:52:31 -!- Cale has quit (Ping timeout: 260 seconds). 03:52:31 -!- BWBellairs has quit (Ping timeout: 260 seconds). 03:52:31 -!- aji has quit (Ping timeout: 260 seconds). 03:52:43 -!- BWBellairs[NNRF] has changed nick to BWBellairs. 03:52:59 -!- Hooloovo0 has quit (Ping timeout: 260 seconds). 03:53:26 -!- ineiros has joined. 03:54:05 -!- aloril has joined. 03:54:29 -!- tromp has quit (Ping timeout: 272 seconds). 03:54:48 -!- Cale has joined. 03:55:15 -!- aji has joined. 03:56:02 -!- Hooloovo0 has joined. 04:01:27 -!- FreeFull has quit. 04:01:51 -!- aji has quit (Ping timeout: 260 seconds). 04:07:08 -!- arseniiv has quit (Ping timeout: 258 seconds). 04:14:26 -!- aji has joined. 04:45:42 -!- imode has joined. 05:04:31 -!- tromp has joined. 05:08:47 -!- tromp has quit (Ping timeout: 252 seconds). 06:33:18 -!- sprocklem has quit (Ping timeout: 265 seconds). 06:33:34 -!- sprocklem has joined. 06:39:07 -!- sprocklem has quit (Ping timeout: 260 seconds). 06:39:55 -!- sprocklem has joined. 06:49:11 -!- cpressey has joined. 06:49:25 -!- cpressey has quit (Client Quit). 06:52:42 -!- tromp has joined. 06:55:23 -!- cpressey has joined. 06:57:31 -!- tromp has quit (Ping timeout: 272 seconds). 06:58:58 -!- cpressey has quit (Client Quit). 07:03:22 -!- cpressey has joined. 07:04:43 -!- cpressey has quit (Client Quit). 07:06:28 -!- cpressey has joined. 07:06:32 -!- cpressey has quit (Client Quit). 07:07:48 -!- cpressey has joined. 07:09:04 -!- cpressey has quit (Client Quit). 07:21:35 -!- cpressey has joined. 07:22:19 -!- cpressey has quit (Client Quit). 07:33:40 -!- Lord_of_Life_ has joined. 07:35:39 -!- Lord_of_Life has quit (Ping timeout: 265 seconds). 07:35:39 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 07:43:15 -!- tromp has joined. 07:48:11 -!- tromp has quit (Ping timeout: 272 seconds). 08:08:15 -!- imode has quit (Ping timeout: 258 seconds). 08:18:21 -!- tromp has joined. 08:33:11 -!- Banana51 has joined. 08:33:30 Hey. Anyone here experienced with the npiet interpreter and decoding npiet? 08:35:10 is npiet something other than piet? 08:36:01 oh i see. 08:36:14 i know some here have done piet, at least. 08:40:01 Its the same 08:40:30 I have a challenge I have to solve, and it asks for a password. I have to reverse engineer it. It is a piet file. 08:40:46 I have tried to "visual trace" it, but I cannot find any compare instructions that compares to my input. 08:43:17 put printfs in the interpreter? 08:43:37 it might not be enough since there could be multiple execution paths with conditionals, but it's a start 08:44:14 npiet has a non-visual trace already 08:45:07 put printfs in the interpreter? I have a .ppm file that I run with ./npiet -t, and it prints the actions (instructions). 08:45:08 (But no, I have not used it for anything, not recently anyway.) 08:45:24 Yeah, that would be the -t I think 08:46:01 I know approximately where it compares, but there are no cc or compare instructions, which makes me a bit confused. 08:46:22 But yes, there seems to be multiple execution paths 08:48:25 maybe give it two different passwords and see where execution starts to differ 08:48:45 and then find out why 08:49:22 ill give it a shot, thanks. 08:50:40 As for comparison it could be obfuscated in various ways, but it may also simply be a 'not', which does a comparison with 0. 08:57:38 oerjan: Clippy got a face-lift :) 08:59:11 -!- tromp has quit (Remote host closed the connection). 09:02:00 how large is the piet program? is it large enough to do a strong cryptographic checksum of the password, to make it hard to decode it? 09:02:04 -!- b_jonas has quit (Quit: leaving). 09:02:51 I wouldnt say it is that large 09:03:05 I think I just found a way to do it, by reading all the stack values and converting decimal -> ascii 09:15:33 -!- cpressey has joined. 09:17:10 I just noticed that this channel is the international center for esoteric programming library design. 09:18:01 It happens. 09:18:17 Though I had not realized we were branching out into architecture. 09:21:13 Seems like that was a dead end... Did not find anything useful... 09:23:22 -!- tromp has joined. 09:31:28 -!- kritixilithos has joined. 09:49:04 -!- oerjan has quit (Quit: Nite). 10:09:27 -!- kritixilithos has quit (Quit: quit). 10:12:45 -!- Sgeo_ has joined. 10:15:38 -!- Sgeo has quit (Ping timeout: 240 seconds). 10:45:03 -!- wib_jonas has joined. 11:03:21 -!- rain1 has joined. 11:10:26 `pbflist https://pbfcomics.com/comics/rubbed/ 11:10:28 pbflist https://pbfcomics.com/comics/rubbed/: shachaf Sgeo quintopia ion b_jonas Cale kmc 11:21:28 https://mathoverflow.net/questions/353514/whatt-the-smallest-lambda-calculus-term-which-is-not-known-to-have-a-normal-for 11:22:05 I like that question 11:22:34 I had wanted to work on it but I didn't do it 11:27:20 tromp: you need to specify a reduction strategy for that. 11:27:46 tromp: At least for the quantitative version (the busy beaver function) 11:28:17 I feel like it would be very interesting to approach this problem using automated theorem proving 11:36:19 i specified normal order 11:55:31 ps: fixed subject which moved it to https://mathoverflow.net/questions/353514/whats-the-smallest-lambda-calculus-term-not-known-to-have-a-normal-form 12:02:31 tromp: Oh so you did, sorry. I was looking for something more verbose (leftmost outermost) 12:02:59 i went with the Wikipedia nomenclature 12:04:26 https://en.wikipedia.org/wiki/Lambda_calculus#Reduction_strategies 12:05:16 i also thought it sounded less arbitrary:-) 12:07:27 It does. 12:13:05 i expect all terms under 50 bits should be manually decidable 12:13:58 but things should get interesting under 100 bits 12:18:00 one may be able to look for odd perfect number in under 200 bits 12:19:12 computing divisors by indexing cyclic lists 13:09:29 -!- arseniiv has joined. 13:31:08 tromp: Oh I found your https://oeis.org/A114852 13:35:11 Though I wanted 13:35:19 this for sizes up to 100 :) 13:35:32 int-e: follow the references 13:35:38 Terms with size up to 50: 145448015544; size up to 100: 14186608955706026703799033 13:36:05 too many to check exaustively then 13:36:08 wib_jonas: Well, the way I found the sequence is that I wrote code to compute it :P So I basically was already at my goal. 13:37:17 145448015544 is around 2**38, 14186608955706026703799033 is around 2**84, for those who don't like counting digits because it's a computer's chore 13:40:25 You can prune quite a bit (e.g., any terms with a non-duplicating beta-redex, possibly using some extended beta-reduction (what I have in mind is reducing (\x\y\z.M[x,y,z]) r s t to (\x\y.M[x,y,t]) r s). 13:40:59 But the space will still be large after that. 13:54:36 -!- xkapastel has joined. 14:24:15 -!- rain1 has quit (Quit: leaving). 14:59:36 -!- joast has joined. 15:25:28 lol 15:26:16 `? lol 15:26:19 lol? ¯\(°​_o)/¯ 15:27:58 kmc: What are you laughing about? 15:33:31 pbf 15:34:32 Oh. 15:58:48 -!- cpressey has quit (Quit: A la prochaine.). 16:02:03 https://www.smbc-comics.com/comic/villainy-theory another one about modern supervillain strategy, so soon after https://www.smbc-comics.com/comic/supervillainy 16:02:14 -!- imode has joined. 16:19:47 well, you can also prune a term t if it ever reduces to some term smaller than t 16:20:21 (generalizing your existence of non-duplicating beta-redex) 16:36:30 -!- sprocklem has quit (Ping timeout: 265 seconds). 16:43:57 -!- wib_jonas has quit (Remote host closed the connection). 17:26:46 -!- imode has quit (Ping timeout: 265 seconds). 17:27:03 -!- xkapastel has quit (Quit: Connection closed for inactivity). 17:33:49 -!- Lord_of_Life has quit (Read error: Connection reset by peer). 17:34:51 -!- Lord_of_Life has joined. 18:07:02 -!- LKoen has joined. 18:07:41 -!- rain1 has joined. 18:13:47 -!- tromp has quit (Read error: Connection reset by peer). 18:22:07 -!- LKoen has quit (Remote host closed the connection). 18:22:11 -!- b_jonas has joined. 18:24:30 -!- LKoen has joined. 18:31:37 -!- tromp has joined. 18:40:17 -!- TheLie has joined. 18:59:03 [[I like frog]] https://esolangs.org/w/index.php?diff=70051&oldid=69883 * Apollyon094 * (+22) 19:22:49 -!- FreeFull has joined. 19:27:57 [[Talk:BitBitJump]] https://esolangs.org/w/index.php?diff=70052&oldid=30074 * Apollyon094 * (+225) 19:28:30 [[Talk:BitBitJump]] https://esolangs.org/w/index.php?diff=70053&oldid=70052 * Apollyon094 * (+1) 19:33:29 -!- Lord_of_Life_ has joined. 19:36:53 -!- Lord_of_Life has quit (Ping timeout: 272 seconds). 19:36:58 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 19:52:08 -!- imode has joined. 20:35:29 -!- LKoen has quit (Remote host closed the connection). 20:36:36 -!- LKoen has joined. 20:44:43 -!- LKoen has quit (Remote host closed the connection). 20:45:52 -!- LKoen has joined. 20:54:26 -!- arseniiv has quit (Ping timeout: 240 seconds). 21:17:02 -!- rain1 has quit (Quit: Lost terminal). 21:29:10 -!- TheLie has quit (Remote host closed the connection). 21:45:07 -!- sprocklem has joined. 22:47:06 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”). 23:33:25 -!- imode has quit (Ping timeout: 255 seconds). 23:44:17 i changed the lambda busy beaver definition to use normal form size rather than number of normal order reduction steps 23:45:02 see https://mathoverflow.net/questions/353514/whats-the-smallest-lambda-calculus-term-not-known-to-have-a-normal-form