« first day (3853 days earlier)      last day (975 days later) » 

12:07 AM
0
Q: SKI calculus golf: Hello, World!

BubblerBackground SKI combinator calculus, or simply SKI calculus, is a system similar to lambda calculus, except that SKI calculus uses a small set of combinators, namely S, K, and I instead of lambda abstraction. Unlike lambda calculus, beta reduction is possible only when a combinator is given enough...

 
@exedraj codex?
 
Ah
 
lol
 
12:19 AM
It seems to have added a $ command to the specs as well
 
bf_putc = '.'

# The character used to print the ASCII character corresponding to an integer
bf_printchar = '$'
...but...
# The function used to print the ASCII character corresponding to an integer
def bf_printascii(char):
    sys.stdout.write(chr(char))

# The function used to put a character on stdout
def bf_putchar(char):
    sys.stdout.write(chr(char))
 
> If you want to contribute (and correct my French if you speak it),
# feel free to fork the project at https://github.com/pepibumur/brainfuck.py
# and to send me a pull request.
 
cumpooter sienze
 
The two comments are essentially the same thing :P
 
> I'm pretty bad at coding, so just be nice and help me make it better.
# You will also learn a lot if you do so.
 
12:21 AM
Well at least it's honest
 
elif prog[prog_ptr] == bf_putc:
    # Put an ASCII character on stdout
    bf_printc(input_buffer[input_ptr])
elif prog[prog_ptr] == bf_printchar:
    # Put an integer on stdout
    bf_printc(tape[tape_ptr])
Really???
 
@user Funny thing is that the person that it's attributing the interpreter to actually is good at coding
 
lol
 
What the hell is that behaviour for .?
 
12:23 AM
...
 
input_buffer what
 
@Dudecoinheringaahing it seems to be highly optimised for cat programs
 
So . is basically a one-char-at-a-time cat program?
 
Seems so
 
Well, most programmers (not just esolangers) have done a bf interpreter at least once in their career
 
12:24 AM
I checked the person's repo list
There's no bf repo
And their account wasn't even active in 2012
 
Wait, it never increases input_ptr
 
It doesn't have to be by them, the program itself was probably taken from someone else
 
@Dudecoinheringaahing And, it never increases the size of input_buffer, so it's just a single element list containing each successive character read from STDIN
 
It also tried to write a befunge interpreter, but got very confused: gist.github.com/Lyxal/572b1509bf5fc3f38d36a4d21b153544
 
@exedraj It's very Pythonic, writing a Befunge interpreter as import befunge.interpreter :P
 
12:37 AM
I can't help thinking that this is typical python too ;D
 
Sandbox posts last active a week ago: Which in and out shuffles do I need?
 
1:12 AM
Dang, if the rickroll challenge wasn't so strict on its output format, I'd have a 249 byte python answer
Strict here means punctuation wise
 
 
2 hours later…
2:49 AM
O.o I just realised, I've offered over 2k in bounties this year, meaning that I've made almost 21k since Jan 1st (19k without bounties), which is over half my rep
 
Very cool
 
@Dudecoinheringaahing Nice. I should get back into the bounty business.
 
yes APL bounties are back
 
@Adám Why'd you stop? Were you running out of rep?
 
3:08 AM
@Dudecoinheringaahing Silly reason: I had a sticky note with my template text for my bounties. Then I got a new laptop, and forgot to transfer the note.
 
I'm shocked that you weren't using an APL script to auto-award them for you :P
 
3:22 AM
Is Community Ads showing up on "Featured on Meta" for anyone else?
 
yes
 
^
still yes after "delete local cache and hard refresh"
 
I want to think it's caching, but was removed 15 days ago :/
 
4:00 AM
0
A: "Hello, World!"

Christian AlexanderMinim, 44 Bytes []="\x13!dlroW ,olleH".$<[[0]--]._^![0].C=0. With whitespace and comments: [] = "\x13!dlroW ,olleH". ; Insert the value 13, and "Hello, World!" backwards, \ into memory starting from index 0 $< [[0]--]. ; Prints the value at the index sto...

 
4:13 AM
CMQ: APL333 or APL385 (unicode) [the fonts]
 
BQN386, if you think you'll learn BQN later
 
Hii
 
@emanresuA I'd prefer if the output is simply the minimal width, but looks like a decent challenge
 
Actually, yeah, that's probably a better idea
I'll do thqt
 
Though we need to see if it has a trivial math solution
 
That's hard...
Actually true... I'm going with the ascii-art output thing
Trivial math solutions are boring.
(10k+)
Tags? (asidefrom codegolf,asciiart)
 
4:50 AM
Maybe hexagonal-grid?
 
Sorta, I suppose
 
0
Q: Stack the rocks

emanresu AThis is a rock: * Rocks can be stacked. Apart from the bottommost layer, each rock must rest on two other rocks, like this: * * * You have a pile of rocks, and your boss wants you to pile them symetrically, taking up the least horizontal space possible. Your challenge is to take a number of ro...

 
Have fun!
 
@NewPosts is this because I used to have a rock pile?
Also, vtc as unrealistic
 
What happened to it?
 
4:54 AM
Someone destroyed it
Idk who because I built it by a public lake
@NewPosts back in my day, you needed at least 3 rocks to stack another on
With an average of 4 or 5
This "only 2 rocks" business is nonsense
 
It's2d
 
5:45 AM
0
Q: How can i shorten this code?

user106597import random with open('sanasto.txt', encoding='utf-8') as f: sanasto = f.read() sanasto = list(map(str, sanasto.split())) score = 0 while True: sana = (random.choice(sanasto)) j = sana k = sana.split('#')[0] j = sana.split('#')[1] teksti1 = "mitä sana tarkoittaa englanniksi?" teksti...

 
 
1 hour later…
7:18 AM
0
A: Sandbox for Proposed Challenges

BubblerParse Ternary Lambda Calculus for correctness code-golf parsing decision-problem lambda-calculus string Wheat Wizard has once tried to come up with a parsing problem unsuitable for regex, but it failed due to Anders Kaseorg's Perl regex answer. This is the second attempt. Now that we know that Pe...

 
I'm writing up the explanation right now, but I did the Hello World in SKI!
 
Thanks for the baseline answer :P
 
@Bubbler Oh, can you tell that I didn't even try to golf it?
 
It has patterns I can readily recognize
 
7:24 AM
Isn't there a website that lets you permalink to any part of a Wikipedia article? Where you highlight a piece of it and then you can link to the highlighted part or something?
@Bubbler ⍥⍤⍥
You're a total hacker. Do you know if SKI calculus is golfable?
 
@AviFS General SKI metagolfers have been done before (see this challenge for example), but Church numeral golfing is a different beast
like, 3 3 is so much golfier than 27
 
Oh...
I somehow thought when it was SKI-ified, that would all come out in the wash.
Do you know of other ways to golf SKI?
 
To my knowledge no one has seriously golfed Church numerals, let alone Church lists
 
0
Q: Tips for Golfing in SKI Combinator Calculus

AviFSPlease post one tip per answer. Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea commodo consequat. Duis aute irure dolor in reprehen...

 
Posted!
I'll look for the template for golfing tip questions after I finish the explanation!
 
7:33 AM
Best pastime: Change people's nicknames on discord to something weird.
 
I once fiddled with the succ function and did something like this, but it hasn't made into any golfed answer except for the constant 42 = succ succ (succ succ 2)
 
Should I make it general (functional/lambda-calc-based) combinator calculuses?
 
Almost no one is interested in combinator calculus other than SKI, and there's already a tips question for Binary Lambda Calculus
 
Eg. to include BCKW system.
But that'd include iota/jot/zot also
Which are pretty well known
Let me see if there's a tips page for those
 
iota and jot are usable only because the direct conversion from/to SK is known and nothing else
 
7:34 AM
There isn't. I think this is a good idea, then.
Right, but they've gotten a fair bit of press
 
@AviFS No, please don't.
I looked through every press I can find and I found nothing other than the exact conversion
 
But look, there's this & this
So they're out there
@Bubbler Right, so this would be a golfing tips page for all of those related langs
 
My point is that they're not golfable in any practical sense
other than direct conversion from SK
 
o/
 
7:37 AM
Oh wait... Binary Lambda Calculus tips is the only one related to lambda cal at all
And it has 1 answer
We def just need a page for lambda calculus/sk/other-derivs in general
 
Yes, that's better
 
7:53 AM
@Bubbler Hey, i just did the Boustrophedon transform problem that you posted in the sandbox and i enjoyed it :)
 
Thanks, I'll post it on main tomorrow if nothing goes wrong
 
8:05 AM
I'll just let it go big actually, since it's like a new post:
0
Q: Tips for Golfing the Lambda Calculus & Friends

AviFSThis includes tips for all related derivatives, as coding in these langs often primarily consists of writing the function in the lambda calculus and then compiling it down at the end. Among others, this includes tips for: Standard combinator calculi SKI system BCKW system Esolang combinator c...

Also:
Should this also apply to Unlambda? I'm not sure because I've run into some claims that Unlambda isn't as functional as it claims. I'm also not sure that there's as simple a map between the lambda calculus and Unlambda as there is with these others. One other apprehension is that we already have a tips page for Underload, and Underload can be translated directly to Unlambda. — AviFS 4 mins ago
 
Uhh, I thought generalizing the existing post was better, since it already has one answer that is generally applicable
 
That did occur to me at the very end...
But what if they don't want it generalized?
 
Jun 23 at 8:57, by hyper-neutrino
java
3stars
 
That felt like it might need more of a consensus either from the community or the OP, I guess
 
I already asked the OP, and if OP disagrees then we can open a meta question
 
8:10 AM
Oh, you know them?
Or you mean left a comment?
 
No, I just left a comment
I don't know anyone on the site in person
 
That works too, haha
Me neither : (
Although you've had a lot of interaction with the APL(Orchard) community, no?
 
True, but the same can be said for CGCC in general
 
Does this mean the new tips page is getting closed?
Or too soon to tell?
 
If the OP for BLC tips agrees, then yes, I (or anyone else with codegolf gold badge who cares enough) will close yours as dupe
Otherwise it might be the other way around, since yours is obviously the superset, but not 100% sure, which is why I'm saying to open a meta Q
 
8:19 AM
Luckily, we can at least reuse the text either waay
 
(also I have a plan to add an interpreter nicknamed "functional tarpit collection" where you can define a function in Haskell-like style and compile it into various syntaxes, and then write a LYAL proposal using that interpreter)
 
8:51 AM
In terms of golfing it's not all that interesting, so for everyone equally unacquainted with such things, I decided to turn it into a bit of a comedy of errors story towards the end of writing it.
@RedwolfPrograms This is amazing Redwolf, haha
Ski Calculus - Golf 1/2 a Church Numeral: Oh look, this was also you Bubbler. Such a shock, haha
 
@user Hanlon's Razor: "never attribute to malice that which can be adequately explained by stupidity"
 
And you just had to be the last one to edit Combinatory Conundrum, hehe
@RGS I think you might have a made a typo here ;) Curse ye who click here.
 
lol
 
9:09 AM
I think he meant shoulder blades ; )
 
9:24 AM
how has no one cracked this?
 
Numberwang?
 
Nope
Synaxerors
Guess who?
 
9:53 AM
I didn't pass my chinese class lol, now I am 100% fucked
 
Correct
 
presumably, from the profile pic lol
 
@emanresuA thought it was unary, appearently not
 
Nope
 
10:10 AM
i guess it's not any unary or something similar
 
CMC: Implement asyncgoto
 
but a sink can't go to sleep
2
 
10:32 AM
wdym by asyncgoto
 
goto but somehow async
 
confused cat noise
is that goto the javascript one?\
 
JS doesn't have goto
 
puppeteer
I was searching online
all i saw is many puppets
and puppet upsets me since it's not kitten
 
eh?
 
10:46 AM
Idea: Instead of deleting spam, migrate it to windowsphone.se!
4
 
11:02 AM
'ninhitnhtiinghitnhigtnhitnihgnithnithg
 
11:16 AM
me when my internet is down: :(
 
 
1 hour later…
12:22 PM
I love how obvious it is that this was just copied and pasted from a template
 
lmao
are you gonna take that one?
 
I have to, yeah
 
eww
> management, including [...] controlling.
I wonder what you'll be controlling
 
The hivemind, until lyxal messed with it >:|
 
I suspect I mightn't want to work at Redwolf, Inc. if its leader took that course
 
12:25 PM
I wonder how many people will contact them for assistance getting a positive attitude.
 
I don't want to be [ominously] "controlled"
@WheatWizard I can almost guarantee you that Redwolf will
 
Not true >:|
 
go on, I know you're feeling tempted
 
I just left it at home, that's all :p
 
oooh are we making jokes at the expense of redwolf instead of me for once?
wait for me y'all I wanna join in ;P
 
12:27 PM
oh no we can bully you instead if you want
ahem
VYXAL BAD
 
@emanresuA I was thinking Locksmith because numbers, but I was too lazy to try it.
 
@pxeger see now things like this get you added to the list of people who's vyxal opinions should go to trash
 
VYXAL DAB
5
 
VYXAL FIDGET SPINNERS
 
I'm proud of you.
both of you
 
12:29 PM
<3 (or am I gonna regret that depending on the message that comes next...)
 
@AaronMiller maybe use some of that dank energy to go approve pr 218
 
@exedraj I originally wrote "lyxal bad" but then I remembered you'd changed your name and decided to put vyxal instead for the memes
> Also, I'm personally requesting no merging until 4 reviews instead of the usual 2
 
yes
 
that doesn't help if you just tell people to approve it
it's not 4 proper reviews lol
 
12:32 PM
@AaronMiller maybe use some of that dank energy to go approve review pr 218
@pxeger better?
 
yes
 
(I think the "vyxal bad" joke should probably avoided. Although I'm probably one of the strongest critics of vyxal, it's not particularly funny and it's probably pretty discouraging for the people who develop and use it)
 
@RedwolfPrograms I have no feelings.
 
you felt strongly enough to suggest we sue cicso for their cookies
so don't tell me you don't have feelings buddy.
;p
 
12:36 PM
I love complaining about vyxal (moslty the flags) as much as the next guy, but I will move any of the more egregious "vyxal bad"s to windowsphone :p
 
vyxal bad
ass
:p
 
9 secs ago, by Redwolf Programs
12 secs ago, by user
ass
 
I will kill you if you tale it out of context
 
too late
 
12:37 PM
@user Ferb, I know what we're doing today
 
@user I didn't even understand the context initially lmao
 
😡
 
I just looked at my list of classes I want to take, and I think I'm taking 7 AP courses next year (and one non-AP (but still advanced) one) ._.
 
@user "tale" it
 
Ugh
 
12:41 PM
why am i on Anarchy Golf these days
and why did i post so here, not on twitter
 
I think "if you are compiling Firefox often, ..." should be "if you compile Firefox frequently, ..." I know the verb tens is wrong, but I can't work out why I want to change "often" into "frequently"
 
@AviFS Pretty sure that's a type of bird ;)
 
@user did you ever move that message here that you wanted to move?
 
@Neil "if you <do thing> often" in general sounds a bit off to me
 
1:08 PM
31 mins ago, by exedraj
9 secs ago, by Redwolf Programs
12 secs ago, by user
ass
 
@PyGamer0 this is getting a little on the side of meaningless churn
 
^
 
Would somebody really want tips for restricted source in Perl?
 
^^
@exedraj No, wouldn't be right for tnb
 
@user was it by any chance
in Vyxal, yesterday, by user
Intolerance of vyxal must not be tolerated
?
 
1:18 PM
No, it was cookie
 
oh
sad.
 
I was going to pin it and move it here :P
 
yeah I saw
I was lurking in the transcripts, waiting eagerly to see you RO abuse
and nothing
 
@tailsparkrabbitear I think Perl has enough tricks for this to be useful.
 
Nah, not going to risk getting kicked from here
Redwolf never said they'd approve of me doing that, so I figured it wouldn't be appreciated
 
1:23 PM
I will banish you to windowsphone
 
lol
but some time in the year 2900, you would be banished from there as well
 
But...but I didn't do anything
 
> would
 
I opened my laptop and had this fullscreened:
 
> I will banish you
 
1:24 PM
 
he really do run
but he can't hide tho
(haha funny vyxal chat reference)
 
@RedwolfPrograms who did this? drunk/tired redwolf? some epic jokester? or are you really like this lol
 
@RedwolfPrograms Why did I find this so funny lol
 
because humour
and go frick if you're american and you don't like that
 
@pxeger My chemistry teacher wanted us to attach photos of our favorite sports to some sort of thing, and I was too lazy to google one
 
1:26 PM
s/humour/humor
 
@exedraj ???
 
!!/make aaron go frick
 
Reddit is like 50% Americans posting surreal memes
 
@user some americans would say "it should be humor not humour"
 
Ah
 
1:27 PM
It shold thogh :p
 
This is America, so it should be humor here
 
no
it shouldn't
@RedwolfPrograms ^
 
@RedwolfPrograms you just used two words with ou in them
 
When sending messages to Americans, please translate your English
 
hypoucrite
 
1:28 PM
@exedraj I didn't actually notice the incorrect spelling until you said something
 
33
Q: Translate English to English

userYou have been hired by the American embassy in the UK to act as a translator. Being a programmer, you decide to write a program to do a bit of the work for you. You've found out that often just doing the following things can satisfy Word's spellcheck, which has been set to "English (United States)"...

@exedraj You may find the answers here useful ^
 
çjumer
9
 
?
 
???
 
(why did someone star that?)
 
1:28 PM
Because TNB
 
Maybe WW has a sockpuppet
:p
 
@RedwolfPrograms wouldn't we see it in the users list in that case though?
 
> And we make a lot of noise, because we love each other.
There's more of WW
 
@pxeger It's an invisible sockpuppet. An anklesockpuppet.
 
I guess three other WW's starred that message
@pxeger You can star from the transcript
 
1:30 PM
@user TIL I'm a WW
 
@user huh, TIL
 
which is impossible seeing as how I'm a Lyxal
@pxeger *That Ixplains a Lot
 
@exedraj no, you're JoKing
4
 
@pxeger wow did you actually just uno reverse card my joke on me?
 
yup
 
1:31 PM
@exedraj get uno reversed
 
that's a good indication that I won't be able to win the game of chat anymore tonight
 
We must immediately quarantine you, the Lyxalitis infection has gone too far
2
 
See y'all tomorrow after sleep happens
 
\o
 
1:31 PM
o/
 
@RedwolfPrograms get ninja'd
 
$o
 
^o^
 
@AaronMiller this "a'd" emoticon is confusing me. I'm guessing it represents a rabbit with bent left ear and third eye
 
Aww, new favorite emoticon :p
 
1:36 PM
> new favorite emoticon
proceeds to immediately use a different one
 
A rabbit lives under my shed
And a snake, which is somewhat worrying
 
I need pictures a'd
 
@Wezl And here I was worried that the meaning would be lost
 
●_●
 
@,__,@
 
1:37 PM
■_■ what
 
\[ .___. ]/
 
♤_♧ emoticon war?
 
/[ . _ . ]\
 
What is going on here?
 
\_(●_●)_/
 
1:40 PM
in Vyxal, 1 min ago, by pxeger
candice conversation get any more ridiculous?
 
--- [ [ . ] _ [ . ] ] ---
 
~◇_◇~
i am on a phone i have more symbols than you evil laugh
 
😱
 
Ҕ᤹⤹ o Ƒ o ⦒
@PyGamer0 bet
 
@RedwolfPrograms ok (uh oh)
 
1:42 PM
I can use any unicode character thanks to Ctrl + Shift + U :p
 
*Goes to a unicode website*
*Hits Ctrl+A, Ctrl+C*
 
@AaronMiller wait
my 40kbps internet is prevent me
 
@ROs this should probably go somewhere else now tbh
 
nukes tnb
 
uh oh lol
PRAGMATAPRO 0.829 ALL CHARS



Position 0 1 2 3 4 5 6 7 8 9 A B C D E F

▼ Controls and Latin-1 Suppl.
U+0020 ! " # $ % & ' ( ) * + , - . /
U+0030 0 1 2 3 4 5 6 7 8 9 : ; < = > ?
U+0040 @ A B C D E F G H I J K L M N O
U+0050 P Q R S T U V W X Y Z [ \ ] ^ _
U+0060 ` a b c d e f g h i j k l m n o
U+0070 p q r s t u v w x y z { | } ~
U+00A0 ¡ ¢ £ ¤ ¥ ¦ § ¨ © ª « ¬ ­ ® ¯
U+00B0 ° ± ² ³ ´ µ ¶ · ¸ ¹ º » ¼ ½ ¾ ¿
U+00C0 À Á Â Ã Ä Å Æ Ç È É Ê Ë Ì Í Î Ï
U+00D0 Ð Ñ Ò Ó Ô Õ Ö × Ø Ù Ú Û Ü Ý Þ ß
 
1:46 PM
I don't think this needs to be moved, but now that PyGamer0's posted the ingredients of every emoticon that does or can ever exist, this conversation should probably end :p
 
Hmm, do there exist strings whose suffix trees with suffix links are non-planar graphs?
 
@RedwolfPrograms *Expands the Unicode specification*
 
@AaronMiller to include 1m glyphs
 
2:21 PM
¯\_⦕'-'⦖_/¯ This is a very helpful conversation but I suppose it's not on-topic
 

« first day (3853 days earlier)      last day (975 days later) »