« first day (3956 days earlier)      last day (894 days later) » 
00:00 - 15:0015:00 - 00:00

3:05 PM
I have no idea
 
@cairdcoinheringaahing BCT? TM?
 
I can just about try to prove if a language is TC. Cellular automaton and such still confuse me
 
@Fmbalbuena actually no
 
@PyGamer0 why not?
see BCT
 
@Fmbalbuena unless you actually earn money from it, its free
@Fmbalbuena bct?
 
3:16 PM
@PyGamer0 Money?
0
Q: Is my programming language Turing Complete or not?

FmbalbuenaI ve made my Computational model (?) and i got this: x = input() y = False breaking = False u = "1" while 1: for i in x: if y:x += i * 2;y = False;u = i;continue if i == "1": x += "2" x = x[1:] elif i == "3": if x[-1] == "0":y = Tru...

 
wat?
 
IT'S GETTING 9 11 VIEWS
oh no why downvotes
 
Did you check if such a question is on-topic for SO?
 
I'm not sure if this is closed
 
✔ Specific programming problems
✔ Software algorithms
✔ Coding techniques
✔ Software development tools
 
3:20 PM
@Adám Should i delete
stackoverflow.com/users/1169091/nicomp edited while the about says
 
@Fmbalbuena If you believe it is off-topic, then yes.
 
> I love dumb questions. How else will we learn?
don't remove the x
 
@Fmbalbuena You should probably explain a bit about how the language works.
 
@Adám I can't
do your edits
 
@Fmbalbuena What?
 
3:24 PM
@Adám edit my question
 
Uh, I don't have anything to add. I just approved someone else's edit.
 
@RedwolfPrograms Everyone who had any tag badge in lost it, then immediately got those same badges in once HN did the merge
 
@Fmbalbuena Please don't ask people to up- or down-vote.
 
@Adám why?
 
@Fmbalbuena Because that interferes with the natural process of good questions and answers getting upvotes and bad posts getting downvotes.
 
3:34 PM
I don't like losing rep in SO
 
@Fmbalbuena Why?
 
@Adám because... i don't want.
 
Why do you want to not lose rep on SO?
 
@Adám ¯\_(ツ)_/¯ Natural reaction to feel bad when you realize your posts aren't good
 
@Adám because... i don't want to lose rep. losing reps is frustating.
 
3:36 PM
There comes a point when you realise that rep is actually not valuable.
Then you achieve inner peace.
 
Adám = Buddha confirmed :P
4
SE rep means nothing, only street rep matters :P
 
@user I can't comment due to losing rep
 
Not a huge deal
There probably isn't something super important that only you can comment about on SO, and once you have a couple quality posts there, you'll have enough rep to comment
 
5 hours ago, by Milk
I think Scala is a great language
^ @user?????????
 
Milk = user confirmed
 
3:45 PM
5 hours ago, by lyxal
@Milk okay user
@Rɪᴋᴇʀ are you a cat or rick Astley
 
I am not a cat!
 
heh?
wait are you Riker?
 
@PyGamer0 You think Scala is a great language? That's amazing!
 
lol
 
@user i dont even know scala LOL
 
3:47 PM
Also, it was 5:45 for me 5 hours ago. Do you really think I'd wake up that early to hack into your sock? :P
 
yes you did
well you technically can
 
@PyGamer0 Come over to the Scala room then and learn you a Scala for great good!
 
@PyGamer0 you just said "yes" to "hack into your sock"
you admitted it!
 
Gottem :P
 
@user noi would learn rust first
@lyxaaaaaaaaal
 
3:49 PM
Rust is a solid choice too, although Scala will be easier to learn
 
@pxeger ok you exposed me yesterday
 
helo i am milk with full of nutrients
 
Do you have lactose?
 
also dont drink me drink my cousin hes more tasty and has more nutrients
 
Because if so, I can't tolerate you
 
3:53 PM
@user yes
 
who's your cousin
 
BEGONE MILK
 
@user are you lactose intolerant?
 
evidently
 
 
3:54 PM
@pxeger my cousin is @GlassOfMilk
 
Doctors hate this one easy step to cure lactose intolerance!
 
@user why?
 
It's a joke (pretend that ignoring Milk will cure lactose intolerance)
 
i know
 
CMC: print TREE(3)
 
3:55 PM
so i didnt get r/woooshed
 
@user what's the "give read / write / no access"? Is it from a userscript?
 
I assume it is (the Chat Improvements Userscript)
 
@Fmbalbuena python 2: print 'TREE(3)'
 
@Milk nope, kruskal's tree
In mathematics, Kruskal's tree theorem states that the set of finite trees over a well-quasi-ordered set of labels is itself well-quasi-ordered under homeomorphic embedding. The theorem was conjectured by Andrew Vázsonyi and proved by Joseph Kruskal (1960); a short proof was given by Crispin Nash-Williams (1963). It has since become a prominent example in reverse mathematics as a statement that cannot be proved within ATR0 (a form of arithmetical transfinite recursion), and a finitary application of the theorem gives the existence of the fast-growing TREE function. In 2004, the result was...
 
@Fmbalbuena oh you didnt specify
 
3:58 PM
@Milk implement
 
look at my about, so informative
 
0
A: List of bounties with no deadline

tjjfvi50-100 rep for answers in TypeScript's type system There aren't many answers here written in TypeScript's (turing complete) type system; as of posting, there six, two of which are my own. I like seeing such answers, so I'll be awarding a 50 rep bounty to answers that meet all of the following cri...

 
that was pretty fast, for a feeds bot
 
the feed drinks milk
 
Yeah, seemed like under a minute to me
 
4:02 PM
oais?
 
@PyGamer0 no, thats (removed)(removed)(removed)(removed)
 
0
Q: Tips for golfing in TypeScript's type system

tjjfviWhat general tips do you have for golfing in TypeScript's type system? I'm looking for ideas which can be applied to code-golf problems and which are also at least somewhat specific to TypeScript's type system (e.g. "remove comments" is not an answer). Please post one tip per answer. If you're no...

 
Would it be fine to mention my TypeScript Type System bounty in the tips page (either in the question or as an answer)?
 
I think it would (in the question or as a comment)
 
4:25 PM
0
A: List of bounties with no deadline

Fmbalbuena50 - 100 Rep for answers in NLRNIS if you do then i'll bounty 50-100 rep. (Complex codes will bountied 100 rep)

 
 
1 hour later…
5:36 PM
@pxeger So we can find [tag:showcase] > iex 'rm -rf ' $0
 
@RedwolfPrograms what is that horrible mishmash of POSIX and Powershell syntax supposed to do?
 
Delete all of the questions :p
There's a little SE markdown mixed in too
 
6:10 PM
Uh...Microsoft just decided the Official Minecraft Wiki is no longer official :(
They had to change their logo and everything
First it was the move from gamepedia to fandom, which was sus, now this
 
6:32 PM
ಠ_ಠ
 
@NewBountiesWithNoDeadlines Win 50 - 100 rep
by only making NLRNIS programs.
 
Please don't mass ping people
 
@emanresuA By magic
 
@cairdcoinheringaahing When mass ping people
 
But really it's like an esoteric functional programming language
 
6:42 PM
@Fmbalbuena Don't
 
@cairdcoinheringaahing When?
 
There's never a reason to mass ping people. If there's something the entire room needs to see, ask one of the ROs to pin it
 
@tjjfvi How can a type system be turing complete?
 
By recursion and what it calls conditional types
type Foo = A extends B ? C : D
 
The point of the New Deadlineless Bounty feed is to attract attention to the bounties, without pinging people
 
6:44 PM
That means "if the type A is a subtype of B, Foo is C, otherwise, Foo is D"
B can also contain infer X which act like pattern-matching placeholder binding things
 
That's... pretty neat.
 
It's not too bad to program in, once you know how the various features work
The one annoying bit that makes it hard to do most things is that it doesn't have arithmetic capabilities
Hence, in my ungolfed version, the [1,2,3,4,5,6,7,8,...,254,255,0] lookup table for Inc
 
Lol
 
bounty first answer in y is valid?
 
So for the BF interpreter, is M the recursive interpreter function?
 
6:47 PM
Yes
Which is _RunBF in the ungolfed version
I'll try writing up an explanation for the ungolfed version
 
hey
 
@emanresuA Type systems can include computation too
It doesn’t take mich for TC
Hell, I think Java’s generics are TC and they’re ridiculously simple
@tjjfvi What bu magic?
 
7:03 PM
I was responding to emanresuA's comment on my BF interpreter in TS Types
 
(I kinda wanna try fizzbuzz but I feel like hardcoding's going to be shorter)
 
Do it
 
@tjjfvi Can you do string concatenation?
 
Yep
`` ${A}${B} `` concats two string literal types into another
 
Ooh, nice
 
7:08 PM
It doesn't like my markdown
 
@tjjfvi I'll try when I get home from schooll
 
`\`${A}${B}\``
 
`${A}${B}`
Nice
@emanresuA 👍 feel free to ping me if you have any questions
 
Ok. Anyway o/ for now
 
@emanresuA I edited the ungolfed version to add explanatory comments
If it's unclear, please let me know; I've been working with TS types for so long that it reads like normal code to me, so I'm not a great judge of the clarity of my explanation
 
7:39 PM
@tjjfvi That is really cool
 
Thanks :D
 
Is there any way to get the first character of string literals or something like that?
 
"foo" extends `${infer FirstChar}${infer Rest}` ? [FirstChar, Rest] : StringIsEmpty
 
Oh nice, infer is handy
How does the ^? work, by the way? Is there a programmatic way to materialize types?
 
Wdym?
 
7:54 PM
The comment // ^? below X
 
Oh
That's a feature of the playground
 
Oh ok
 
It comes from a similar feature twoslash, which is a tool used to take TS code samples and annotate them for documentation
With type hints, auto completions, compiler errors, etc.
 
Ah, nice
 
7:59 PM
???
?????
???????
 
Yes?
 
. ... ... .
. ... .. ..
. . ... .
. ... .. ... ... .. ..?
 
Yeah, that's enough
 
@cairdcoinheringaahing ?
 
Please don't send noise, your messages should actually be a contribution to the conversation
 
8:01 PM
thats AI Dot-chat conversation.
 
Just sending question marks and full stops doesn't do that
 
@Fmbalbuena CMC: Given N, output N rows of text, where each row consists of a prime number of question marks, starting at 3 and strictly increasing
So for N=5, the output would be
???
?????
???????
???????????
?????????????
See, the question marks contributed to the conversation :P
 
yeah i was pretty much gonna do the exact same thing as you :P
 
@cairdcoinheringaahing You can't do
because only Fmbalbuena
 
8:04 PM
what
 
That wasn't to you, Fmbalbuena
I was just referencing your message
 
CMC: Do infinite counter in NLRNIS
 
@tjjfvi For your TS bounty, would you consider it okay to use Peano arithmetic since TS can't do real arithmetic?
 
You can technically do arithmetic with non-negative integers
One sec
Here's an Add<A, B>
But yeah, Peano arithmetic would be fine
 
That's so cursed lol
Although tbh so is Peano arithmetic
 
8:21 PM
0
Q: Esoteric programming languages

Binary198Are there any restrictions on what programming languages you can use in a challenge, and if you created your own programming language and you wanted to submit it to a code challenge, does there need to be a working interpreter which actually executes the code or can there just be some set out syn...

 
Migrate to Meta?
 
0
Q: Esoteric programming languages

Binary198Are there any restrictions on what programming languages you can use in a challenge, and if you created your own programming language and you wanted to submit it to a code challenge, does there need to be a working interpreter which actually executes the code or can there just be some set out syn...

 
Damn, that was fast, who closed it so quickly?
 
oh god dammit
someone VLQ flagged it and it got validated by my migration
that's not the right flag and i can't clear it
 
Why would it do that?
 
8:23 PM
because migration is just closing behind the scenes
and closing a question means it's low quality, apparently, even though that's not true
 
bruh
 
@user Looks good; I'll start the bounty in a min
 
Thanks
 
Looks like that @ts-ignore isn't doing anything and can be removed
 
Really? It gave me an error for ${I} without it so I left it in
 
8:27 PM
0
A: "Hello, World!"

FmbalbuenaCategorial, 17 bytes 🏌️"Hello, World!"

 
I flagged question
 
And '0'|'1'|'2'|'3'|'4'|'5'|'6'|'7'|'8'|'9' can be replaced by `${number}`
 
Oh wow, should've thought of that
 
@PyGamer0 my name is riker :p
tha'ts it. that's the whole username
 
@user see recent Hello, World!
 
8:28 PM
@user Yup, it says I and J aren't assignable to <a bunch of stringifiable types>
@Fmbalbuena Why?
 
@user only see
0
A: "Hello, World!"

FmbalbuenaCategorial, 17 bytes 🏌️"Hello, World!"

 
why user in particular
stop pinging people for no reason
 
because default
user means @user
 
@tjjfvi Not working for me
@Fmbalbuena Even if I wasn't in this room, you don't need to say @user or @someone or whatever
 
@user What version of TS are you on?
 
8:31 PM
I have no idea, I'm using the same one from your BF playground
 
That'd explain the @ts-ignore mismatch, too
Huh
I'll take another look
 
v4.5.2 (which appears to be the latest there, apart from Nightly)
 
Nope
Wrong link
Wait, how long have you been rues?
 
@tjjfvi Since around five minutes ago :P
I keep getting that error above ^ (and using ${number} also doesn't work)
 
@user Oh, yep, I'm blind
 
8:35 PM
It can't be a browser thing, can it?
Oh ok
 
With the `${number}`
 
@NewPosts Hang on, I need to go find the 3 or 4 different meta questions that already answer this :/
 
Indeed it does, I used '${number}' lol
 
Ah, yeah, that'd do it
 
8:39 PM
@Fmbalbuena if you're going to attempt to answer a question on meta, especially something as general as that, i'ts a good idea to have sources (preferably links to older meta posts on the topic) or at least a little bit of justification as to why that's the case
 
i think there's something wrong with the simple badges userscript :P
 
pxeger new mod confirmed???
 
Oh dear, did pxeger steal your diamond?
 
Now you have to challenge him to a golfing contest to win it back
 
0
Q: How to shorten this code using python golfing?

freshavocadoalpha=0.5 sample['u'] = np.random.normal(size=len(sample)) sample['v'] = sample.groupby('state')['u'].transform(lambda x : (1-alpha) * x.to_numpy() + alpha*np.random.normal(size=1)) sample is a pandas df of sample data with people's wages organized by what state they're from and other factors (g...

 
8:41 PM
@user FYI it looks like you forgot to update the codeglock in your answer
 
Oops, will fix
 
That was a typo but I'm leaving it
 
When the code becomes lethal :P
 
Whoever draws their codeglock the fastest wins the duel :P
 
25
Q: Convert prefix to infix

emanresu AInfix notation is a method of printing mathematical expressions where each operator sits between its two arguments, such as \$ \left(5 \cdot 4\right) + 3 \$. Prefix notation is a method of printing expressions where operators sit before their arguments. The equivalent of the above is +*543. It's ...

 
8:46 PM
Scala's match types are a much more straightforward way to deconstruct stuff, but infer seems like it's really powerful
Does anyone need it in real life?
 
@user Yeah, they can be useful for writing nice APIs
 
@user If you think about it, does anyone really need anything we do here in real life? :P
 
lol
You know civilization has reached its peak when there are people around who can afford to absolutely useless stuff of this kind :P
 
@user Here's an example of a cool thing you can do (written by yours truly)
Try editing one of those strings; there's autocomplete
 
Ooh, that's pretty cool
How did you get autocomplete?
 
8:50 PM
@user My ideal career path is to do absolutely useless stuff. Why do you think I'm doing a maths degree? :P
 
@user Basically, based on what the user has typed so far, it types the parameter as a union of valid next choices
 
Ah, smart
I don't think even Scala can do that (mainly because it can't deconstruct strings :( )
brb filing a feature request to add this for every language I know :P
 
Jelly, 05AB1E and Vyxal might not need it :P
 
Well I don't know any of those three :P
I feel mildly guilty about procrastinating on learning them, but I procrastinate on actually important stuff already so I should feel guiltier about that :P
@user Wait no it can!
My day has been made
I just found out two languages can theoretically do regex at compile time
This is what it must mean to experience true euphoria
brb gonna go parse some HTML
2
 
@user after this, user was never seen again
 
8:56 PM
Enjoy Cthulhu, be back for dinner o/
 
9:06 PM
Scala can't deconstruct string singleton type literals, it can only concatenate them :(((((
I'd have to encode them as tuples of characters or something :(((((((
@pxeger That's right, I'm rues now :P
 
@rues sure u r
se?
 
user rues the day he named himself "user" because of all the pings, so this ruse is a sure way to keep people from pinging him
idk why I'm speaking in the third person
 
Is rues permanent?
 
No, I'll probably go back to user at some point
 
Cool
I wanted to know if I had to go update all of the places I just said your name because of the bounty :P
 
9:12 PM
You got a problem with this name? Meet me dans le rue and I'll make you rue the day you insulted my name
Oh ok
 
im not going to canada for that sorry
also do we still have a rule against homework questions or nah
 
Nothing wrong with homework questions as long as they also make decent challenges, right?
 
well, i meant homework [tips] questions but yeah
 
@rues (To be clear, I shall sue you, I am not threatening physical assault)
 
I'm a little sad
 
9:17 PM
No you're not, you're Fmbalbuena
There we go, sadness cured. That'll be $30 :P
 
@rues $30?
 
Yes, because I cured your sadness
 
@Rɪᴋᴇʀ Technically, no, but practically yes
 
aka 'we reword to 'how do i golf this hypothetical situation'' and call it good?
 
If it's well-written and meets our standards for on-topic and quality, they're fine
 
9:19 PM
@rues because i'm kicked.
 
damn that's my issue. all of my questions had a topic when they've should've been no-topic caird
that makes so much sense
 
you're welcome, that'll be $30 :P
 
join the queue, my student loan financer is in front of you and their appt might take a while
 
Why not ask about your question here so that caird can validate it? (and if it isn't valid, bribe her with the $30 dollars to get approval to post it)
 
@rues I don't have €30
 
9:21 PM
nah this is about the question somebody posted on main a bit ago re; golfing some python code. which is clearly taken from the middle of a project of some kind, i'm guessing a final or some other important one judigng by the time in the semester rn
(it better not be code for an internship lol)
 
@Rɪᴋᴇʀ Link?
 
@Rɪᴋᴇʀ "This app works beautifully! It looks like this has been run through an obfuscator, though, where's the source?" "Um...that is the source"
 
no need to leave op another comment, i've already asked and all that. unless they give more information which leads me to say 'homie ur doing this very wrong pls write good code not short code' then its fine for now
@rues lmao yeah but also they said they were told to golf it and i'm very concerned about who would give that instruction
 
> freshavocado
 
9:24 PM
i assumed it wasn't a troll bc its such a specific piece of python code and their grammar was otherwise fine
 
Return of the avodad
 
probably not an attempt at comedy
 
18 hours ago, by Rɪᴋᴇʀ
gonna make throwaway accts and resurrect avocad from the unholy depths to which it was sent just to see how fast ur spam deletion powers really are :)
anything you want to tell us?
 
sus
 
9:25 PM
And Riker was the one to bring this up in the first place
 
homie if i wanted to put together a spam question it would be substantially more of a masterful attempt
 
@Rɪᴋᴇʀ Yeah, and I think it'd be reasonable to want to shorten code even irl (at least, I've wanted to before), although our methods for golfing often sacrifice performance
 
i'm almost insulted you'd think i'd stoop to python code to manage a database to spam about. no i'd just give something like, 'help me golf this ansi C function while keeping k&r compliant. must run under WSL on windows or build with clang'
 
0
A: List of bounties with no deadline

Fmbalbuena50 - 100 Rep for answers in NLRNIS if you do then i'll bounty 50-100 rep. (Complex codes will bountied 100 rep)

 
Yeah, I fully trust in Riker's ability to spam/troll better than that :P
 
9:27 PM
@Rɪᴋᴇʀ I shall request the Smokey people to add this to their list of keywords :P
 
@rues well yeah but those 2 lines aren't really something u can golf very effectively. other than 'remove spaces and shorten variable names' and maybe 'here's a better library to use'
 
True
 
smokey should have 'k&r complian' as a flag to warn people 'please no'
 
@NewBountiesWithNoDeadlines @Fmbalbuena why the repost?
 
9:28 PM
I have a feeling the requirement was just to make it concise and use library functions effectively instead of handwritten loops and stuff
 
what course would ever require that? (not an attack just a genuine question)
 
I can't see why it would be required, but I could see someone writing inelegant, long, inefficient code and a teacher telling them to shorten it and make it more readable
 
Do you not take freshman golfing 101?
 
man y'all really go for that and downvoted it, poor dude lol, he just wanted help .-. rip in peace
@cairdcoinheringaahing im pretty sure my dsa prof would literally beat the crap out of me if i attempted to do that on one of my assgns
 
Tbf, there isn't really much to golf. The best questions are ones where there's more than one approach
 
9:31 PM
yeah but i tried to ask in a more roundabout way since its probably easier to help them by backing up a bit. x-y problem at work
 
I'm afraid the OP has abandoned the question (or at least left the computer for now)
Not gonna get any edits from them for a while
 
meh. they'll either come back or they won't and it doesnt really matter either way
 
We need people to come back, we're running low on sacrifices to the golf god! :P
 
10:10 PM
@allxy Why are you in here? Up to your usual shenanigans?
 
hush
We don't mention that
 
11:10 PM
@rues wdym
why 32 = 6 / 2(1 + 2)
 
It's 3 <space> 2
Since it's 6 / 2 <space> (1+2)
 
3, 2 =6 / 2, (1 + 2)?
 
@Fmbalbuena Context
In APL, that's taken to mean something like [3, 2] = 6 / [2, 1+2]
 
*laughs*
 
11:36 PM
@rues Hey why 3 2 = 6 / 2 (1 + 2) in APL?
 
i think you do 6 / [2, 3] vectorise
 
@Niko do you like learning Vyxal
 
yes
vyxal is good
I wonder who wrote it, but i hope he doesn’t like rickroll so I won’t get ricked in vy… oh
 
11:55 PM
@Niko what a nerd not using the new site
 
oh no
 
00:00 - 15:0015:00 - 00:00

« first day (3956 days earlier)      last day (894 days later) »