User contributions for Blashyrkh

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 current
• 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
• 18:3618:36, 9 January 2026 diff hist +87‎ m Crazy J/Reverse input ‎ include-only self-ref in included page
• 18:3518:35, 9 January 2026 diff hist +75‎ m Crazy J/Truth-machine ‎ include-only self-ref in included page current
• 18:3318:33, 9 January 2026 diff hist +74‎ m Crazy J/Empty output ‎ include-only self-ref in included page current
• 18:2618:26, 9 January 2026 diff hist +75‎ Crazy J ‎ →‎Examples: Reverse input example
• 18:2618:26, 9 January 2026 diff hist +2,539‎ N Crazy J/Reverse input ‎ Crazy J examples - reverse input
• 18:2318:23, 9 January 2026 diff hist +1‎ m Crazy J ‎ →‎Truth-machine: typo
• 18:1818:18, 9 January 2026 diff hist +74‎ Crazy J ‎ →‎Examples: Truth-machine
• 18:1718:17, 9 January 2026 diff hist 0‎ m Crazy J/Truth-machine ‎ markup change for proper include
• 18:1518:15, 9 January 2026 diff hist +8,000‎ N Crazy J/Truth-machine ‎ Crazy J examples - Truth-machine
• 18:1018:10, 9 January 2026 diff hist −263‎ User:Blashyrkh/Crazy J ‎ discontinue the draft page current
• 18:0718:07, 9 January 2026 diff hist +73‎ Crazy J ‎ →‎Empty output
• 18:0418:04, 9 January 2026 diff hist +1,106‎ N Crazy J/Empty output ‎ Crazy J examples - empty output
• 17:5517:55, 9 January 2026 diff hist +9,610‎ N Crazy J ‎ Move Crazy J specification to global scope. Examples will be in separate (sub)pages partially included to the main one

8 January 2026

• 20:5320:53, 8 January 2026 diff hist +14‎ m User:Blashyrkh/Crazy J ‎ Strike out few TODO entries
• 18:4518:45, 8 January 2026 diff hist +289‎ User:Blashyrkh/Crazy J ‎ New rule with S combinator, update table, remove some todos
• 18:1818:18, 8 January 2026 diff hist +4,765‎ User:Blashyrkh/Crazy J ‎ →‎Cyclic tag system: Compiled form of cts-sts adapter
• 17:0517:05, 8 January 2026 diff hist +41‎ m User:Blashyrkh/UnnamedEsolang ‎ some clarification
• 17:0217:02, 8 January 2026 diff hist +168‎ m User talk:Blashyrkh ‎No edit summary
• 16:5516:55, 8 January 2026 diff hist +431‎ m User talk:Blashyrkh ‎No edit summary
• 16:4316:43, 8 January 2026 diff hist −1‎ m User:Blashyrkh/UnnamedEsolang ‎ typo
• 16:4016:40, 8 January 2026 diff hist +131‎ m User talk:Blashyrkh ‎No edit summary
• 16:3916:39, 8 January 2026 diff hist +1,544‎ N User:Blashyrkh/UnnamedEsolang ‎ Just an idea of a language
• 16:0716:07, 8 January 2026 diff hist +145‎ m User:Blashyrkh ‎ Link to UnnamedEsolang draft page
• 16:0116:01, 8 January 2026 diff hist +402‎ m User talk:Blashyrkh ‎No edit summary
• 15:5315:53, 8 January 2026 diff hist +372‎ m User talk:Blashyrkh ‎No edit summary
• 15:3615:36, 8 January 2026 diff hist +134‎ m User talk:Blashyrkh ‎No edit summary
• 15:2715:27, 8 January 2026 diff hist +1,209‎ User:Blashyrkh/Crazy J ‎ Cyclic tag system implementation
• 13:1613:16, 8 January 2026 diff hist +17,476‎ User:Blashyrkh/Crazy J ‎ Sequential tag system implementation