User contributions for Blashyrkh

29 January 2026

• 09:5309:53, 29 January 2026 diff hist +28‎ m User talk:Blashyrkh/Between IJ and SK ‎No edit summary current

27 January 2026

• 13:3513:35, 27 January 2026 diff hist +249‎ m Category talk:Zero-dimensional ‎No edit summary

26 January 2026

• 10:3710:37, 26 January 2026 diff hist +141‎ User talk:Blashyrkh/Between IJ and SK ‎ →‎Solution for X x = x (K x) x
• 06:2606:26, 26 January 2026 diff hist +1,378‎ User talk:Blashyrkh/Between IJ and SK ‎ →‎Solution for X x = x (K x) x
• 00:4400:44, 26 January 2026 diff hist +209‎ Talk:MIBBLLII ‎ →‎Byte IO is preferrable: new section current

25 January 2026

• 19:5919:59, 25 January 2026 diff hist +91‎ m Talk:MIBBLLII ‎ →‎How the end of input is delimited?
• 18:1718:17, 25 January 2026 diff hist +413‎ N Talk:MIBBLLII ‎ →‎How the end of input is delimited?: new section

24 January 2026

• 20:2420:24, 24 January 2026 diff hist +91‎ m User talk:Blashyrkh/Between IJ and SK ‎No edit summary
• 20:2320:23, 24 January 2026 diff hist +148‎ User talk:Blashyrkh/Between IJ and SK ‎ →‎Does John Tromp know the answer?: new section
• 20:1220:12, 24 January 2026 diff hist +213‎ User:Blashyrkh/Between IJ and SK ‎ →‎Some ideas for the proof: The program has found a really tough case current
• 15:1115:11, 24 January 2026 diff hist +61‎ User:Blashyrkh/Between IJ and SK ‎ →‎Some ideas for the proof: More strict definition of case 1 (to satisfy requirements of case 3)
• 15:0115:01, 24 January 2026 diff hist +621‎ m User:Blashyrkh/Between IJ and SK ‎No edit summary
• 14:4314:43, 24 January 2026 diff hist +1,123‎ User:Blashyrkh/Between IJ and SK ‎ a little more bit of the proof
• 14:1214:12, 24 January 2026 diff hist +1,294‎ User:Blashyrkh/Between IJ and SK ‎ Beginning of the proof
• 12:0012:00, 24 January 2026 diff hist +426‎ Talk:Combinatory logic ‎ →‎What's the exact definition of cancellative combinator?: new section current
• 10:4410:44, 24 January 2026 diff hist +49‎ m Talk:Combinatory logic ‎ →‎Is there anything between IJ and complete bases?: link to the page with search results
• 10:4110:41, 24 January 2026 diff hist −4‎ m User:Blashyrkh/Between IJ and SK ‎ reword
• 10:3710:37, 24 January 2026 diff hist +722‎ User:Blashyrkh/Between IJ and SK ‎ more (and no more) search results
• 10:1510:15, 24 January 2026 diff hist +198‎ m User talk:Blashyrkh/Between IJ and SK ‎ how to build and run
• 10:1110:11, 24 January 2026 diff hist +85‎ m User:Blashyrkh/Between IJ and SK ‎ More search results
• 10:0910:09, 24 January 2026 diff hist +61‎ User:Blashyrkh/Between IJ and SK ‎ Link to the program
• 09:3009:30, 24 January 2026 diff hist +390‎ User talk:Blashyrkh/Between IJ and SK ‎No edit summary
• 09:0109:01, 24 January 2026 diff hist +1,460‎ N User:Blashyrkh/Between IJ and SK ‎ Created page with "Is there a non-complete system of combinators that includes IJ system as a subset? Equivalent: is there a cancellative combinator X for which K combinator can't be expressed in IJX basis? The opposite question: is it enough to add ''any'' cancellative combinator to IJ basis to make the basis complete? Or, equivalent: is it possible to express K combinator in IJX basis for any cancellative combinators X? I have no proof yet. Not a tiniest idea what the proof might be...."
• 08:5008:50, 24 January 2026 diff hist +149‎ User:Blashyrkh ‎No edit summary current
• 08:1108:11, 24 January 2026 diff hist +344‎ Talk:Combinatory logic ‎ →‎Is there anything between IJ and complete bases?: Preliminary simulation results

23 January 2026

• 23:1723:17, 23 January 2026 diff hist 0‎ m Talk:Combinatory logic ‎ →‎Is there anything between IJ and complete bases?: Fix use of contains/includes
• 23:1423:14, 23 January 2026 diff hist +91‎ m Talk:Combinatory logic ‎ →‎Is there anything between IJ and complete bases?
• 23:0923:09, 23 January 2026 diff hist +367‎ Talk:Combinatory logic ‎ →‎Is there anything between IJ and complete bases?: new section

16 January 2026

• 18:0318:03, 16 January 2026 diff hist +180‎ Talk:Closed lambda term ‎No edit summary current
• 10:1410:14, 16 January 2026 diff hist +574‎ N Talk:Closed lambda term ‎ Created page with "<blockquote>'''Open question.''' What is the smallest complete closed λ-term in terms of Fokker size? It is at least three and at most seven.</blockquote> Why '''three''' is the low boundary and not '''four'''? It's known that complete basis must include a combinator of rank 3. It's also known that complete basis must include duplicative combinator (i.e. a combinator with at least one application inside). 3 abstractions plus 1 application = Fokker size is at least 4, i..."

15 January 2026

• 19:3319:33, 15 January 2026 diff hist +427‎ Crazy J/QUINE ‎ Little more explanation for QUINE current
• 14:4114:41, 15 January 2026 diff hist +1‎ m Crazy J/QUINE ‎ and another typo
• 14:3814:38, 15 January 2026 diff hist 0‎ m Crazy J/QUINE ‎ typo
• 14:3214:32, 15 January 2026 diff hist +39‎ List of quines ‎ Link to Crazy J QUINE current
• 14:2914:29, 15 January 2026 diff hist −793‎ Crazy J ‎ →‎Examples: QUINE current
• 14:2914:29, 15 January 2026 diff hist +17,668‎ N Crazy J/QUINE ‎ Crazy J examples - QUINE

13 January 2026

• 15:2215:22, 13 January 2026 diff hist −364‎ Crazy J ‎ →‎Some common combinators in IJ basis: Shorter versions of increment function

11 January 2026

• 19:5119:51, 11 January 2026 diff hist +265‎ m Crazy J ‎ →‎QUINE: Minor update on QUINE development progress
• 00:5700:57, 11 January 2026 diff hist +560‎ m Crazy J ‎ →‎Examples: Few words about work-in-progress QUINE

9 January 2026

• 20:2520:25, 9 January 2026 diff hist −2‎ m Crazy J ‎ Tiny change in infobox
• 20:1620:16, 9 January 2026 diff hist +49‎ Truth-machine ‎ Link to Crazy J Truth-machine
• 20:1120:11, 9 January 2026 diff hist +31‎ Crazy J ‎ →‎Examples: Cyclic tag system
• 20:1120:11, 9 January 2026 diff hist +24,856‎ N Crazy J/Cyclic tag system ‎ Crazy J examples - Cyclic tag system current
• 19:3419:34, 9 January 2026 diff hist +7‎ m User:Blashyrkh ‎ Remove no longer actual comment about Crazy J
• 19:3019:30, 9 January 2026 diff hist +4‎ m Crazy J/Sequential tag system ‎ →‎Sequential tag system: Link to parent page current
• 19:2119:21, 9 January 2026 diff hist +35‎ Crazy J ‎ →‎Examples: Sequential tag system
• 19:2019:20, 9 January 2026 diff hist +1‎ m Crazy J/Sequential tag system ‎ typo
• 19:1619:16, 9 January 2026 diff hist +17,601‎ N Crazy J/Sequential tag system ‎ Crazy J examples - Sequential tag system
• 18:3918:39, 9 January 2026 diff hist −143‎ m Crazy J ‎ Links to examples' detailed description are provided by subpages themselves
• 18:3718:37, 9 January 2026 diff hist −12‎ m Crazy J/Reverse input ‎ typo current