view paste/paste.9373 @ 12493:885661512b17 draft

<int-e> le//rn schwartzian//In 1987, Yogurt introduced a better way to rank Schwartz users: Rather than holding an annual tournament, users would take a series of standardized tests adminstered by official Schwartz centers, and would then be ranked according to the results. This lead to the Schwartzian transform because it allowed many more users to be ranked.
author HackEso <hackeso@esolangs.org>
date Fri, 12 Jan 2024 07:24:55 +0000
parents 8d076e80b777
children
line wrap: on
line source

103) <Mathnerd314> Gregor-P: I don't think lambda calculus is powerful enough
332) [after a long string of Lymia getting lambdabot to spit out huge, meaningless type signatures] <Lymia> I need to learn more Haskell...  <CakeProphet> ..I need to get op privs.
410) <monqy> rest in peace lambdabot????  <ais523> monqy: it'll probably be back later  <monqy> nap in peace
497) <CakeProphet> monqy: help how do I use lambdabot to send messages to people. [...around half an hour later...] <CakeProphet> @messages  <lambdabot> quicksilver said 1y 2m 18d 19h 54m 29s ago: you use @tell
525) <Taneb> I think this has taught us one thing. We can't teach itidus20 lambda calculus by comittee
892) <shachaf> FOUR SIMULTANEOUS TYPE SYSTEMS IN A SINGLE ROTATION OF THE LAMBDA CUBE
1203) <Bike> scheme doesn't have any control structures, you can make them yourself out of call/cc, lambdas, and arrogance