The Nineteenth Byte

caird coinheringaahing

3:00 AM

Especially to low effort questions that you know will reach HNQ

lyxal

@AidenChow deadlineless bounties are a good source too

Aiden Chow

@cairdcoinheringaahing "post a challenge every 3 days" problem is im not creative in thinking about challenge prompts at all

Radvylf Programs

@cairdcoinheringaahing Idk what's up with me but I just physically cannot come up with challenge ideas anymore

caird coinheringaahing

Then again, I have a net -1200 this month, so ¯\_(ツ)_/¯

Radvylf Programs

So it's not necessarily easy

Unrelated String

3:01 AM

@RadvylfPrograms Idk what's up with me but I just physically cannot come up with challenge ideas ~~anymore~~

Aiden Chow

@lyxal what are those

user

@RadvylfPrograms lpt: mentally come up with ideas instead

Radvylf Programs

87

Q: List of bounties with no deadline

This is a list of unofficial, deadline-less (hence not searchable) bounties offered by users on various challenges on the main site. Disclaimer: There is no guarantee that the user will award the bounty for you in case you fulfill its requirement. Especially if the user isn't an active member any...

user

> deadliness

Aiden Chow

@UnrelatedString saaaame, i rarely have any actually good challenge ideas, as shown by me only having 3 challenges posted

lyxal

3:02 AM

@UnrelatedString Idk what's up with me but I just ~~physically~~ cannot ~~come up with challenge ideas anymore~~

Radvylf Programs

@user There's so many words you could replace "physically" with to make it funny. "I spiritually cannot come up with challenge ideas", "sexually can't come up with challenge ideas", "chemically cannot come up with new challenge ideas"

Aiden Chow

oh shoot i actually read it just like that ^^^^

-_-

caird coinheringaahing

Ok, so: if you really want easy rep/challenges, the best way to go about it is:
1. learn how to write a challenge without the Sandbox. The Sandbox only slows you down. Unfortunately, this takes time and practice.
2. browse various maths websites e.g. OEIS, Wikipedia, etc. for math/sequence challenges
3. write them up, and give them a catchy title
3. profit

Unrelated String

@lyxal ~~Idk~~ what's up ~~with me but I just physically cannot come up with challenge ideas anymore~~

caird coinheringaahing

idk

lyxal

3:03 AM

@UnrelatedString ~~Idk what's up with~~ me ~~but I just physically cannot come up with challenge ideas anymore~~

Radvylf Programs

@cairdcoinheringaahing It actually took me more time and practice to learn to use the sandbox lol

Just brute forcing it and getting ¼ of your questions closed and downvoted works well enough

Unrelated String

net rep gain

caird coinheringaahing

@cairdcoinheringaahing For reference 1/8 of my challenges are sequence

Aiden Chow

@lyxal most of them just seems like u have to do some impressive stuff, not smth i think i can do

Radvylf Programs

There are some where it's just "submit an answer in [language]"

user

3:05 AM

Just copy sequences from oeis, ez

Radvylf Programs

APL being the most famous one

Unrelated String

the lotm bounties are also a thing, though not quite deadlineless for obvious reasons

user

Oh yeah i forgot i owe ww 900 rep lol

caird coinheringaahing

@user I still hate that you stopped one of your deadlineless bounties, or less I would've taken all your rep :P

user

@RadvylfPrograms and if you do apl you also get free tutoring in the apl orchard

Aiden Chow

3:07 AM

pretty much any golfing lang just looks like a headache to learn, at least for me

user

@cairdcoinheringaahing the one on old answers? It’s technically still going, i just don’t have the rep

Unrelated String

> apl

caird coinheringaahing

@cairdcoinheringaahing Legit, look at how many low hanging fruit are in my recent questions tab: codegolf.stackexchange.com/users/66833/…

user

ive posted like 1 answer this year

caird coinheringaahing

@user In which case, I have some answers to submit :P

(Nah, I can't be bothered with rep anymore)

user

3:07 AM

Go ahead and edit them in

Radvylf Programs

I'm glad to see I'm not the only one here who's been totally unable to post a ton of quality content recently lol

Unrelated String

lol

user

@cairdcoinheringaahing do it for the status

Radvylf Programs

Idk if I'm just out of practice, or too busy, or lack the motivation, or what

Unrelated String

even my answers have been lame all year

user

3:08 AM

Probably just a phase

caird coinheringaahing

@cairdcoinheringaahing Ugh, I posted 4 things in Jan, then nothing until 20 days ago

user

Once mercury aligns with vulcan again it’ll be fine

caird coinheringaahing

@UnrelatedString I finally hit 800 answers, and it was with such a shitty answer as well ಠ_ಠ

Unrelated String

lol

user

Delete one then post a quality answer

Radvylf Programs

3:10 AM

I want to say that once the school year's over I'll be less busy, but I'm going to try to get a job this summer so it's hard to say that for sure

caird coinheringaahing

Tho, I have 2 nice things in the Sandbox, so I feel confident that I'll restart my streak of posting a challenge per day, and won't at all collapse and post once challenge in the next 3 months

Radvylf Programs

I think I just need to get back into the habit of posting stuff

hyper-neutrino

i haven't even posted in over a month lol

Unrelated String

my most upvoted answer this year at 8 was a zero effort fgitw, and then second place at 7 is a two-way tie between beating jonathan allan and a reference i just had to make

caird coinheringaahing

That said: anyone who wants to is allowed to ping me, comment under my posts, kick me from any rooms ou're an RO in, etc. once September starts: I'm going to organise this as a community event

Radvylf Programs

3:12 AM

Man it's been so long since I've been actively keeping track of my rep, my posts, FGITWing, etc. I feel like I'm a TNB user who occasionally pops into CGCC instead of the other way around lol.

hyper-neutrino

last time i posted a question was 9 months ago for caird's birthday :P

Unrelated String

@RadvylfPrograms exact same here

caird coinheringaahing

@hyper-neutrino Speaking of, that's approaching, so I expect something grander this year ;)

hyper-neutrino

D:

caird coinheringaahing

@RadvylfPrograms Man, I don't even feel like that: I feel like I drop by both the site and the room from time to time, seeing how things are going

Hell, you even had to reach out to me to ask if I was good :/

user

3:13 AM

@RadvylfPrograms same, i used to have to block the main site because i went there too much and now it doesn’t even autocomplete in the search bar

Unrelated String

wow

Radvylf Programs

It's oddly like...reassuring? to hear that this isn't just something I've been struggling with recently

hyper-neutrino

@RadvylfPrograms same TBH. i'm just here to be easily accessible; I check the main site like more than hourly while awake out of habit but mostly just for flags

caird coinheringaahing

We're a bunch of old timers who still enjoy the hobby, we just don't do it as much :P

user

Although i haven’t been as active in chat either lately

@cairdcoinheringaahing that’s right, I’m a senior citizen

Radvylf Programs

3:16 AM

This happening to all of us at once is honestly really interesting from a more scientific perspective. Like, it can't be a coincidence that this is happening to all of us at once. Delayed impact of pandemic lockdowns? Domino effect from a few core users taking breaks simulatenously? We've used up all of the interesting challenges, there can only be 13k of them?

user

It might be that we only got really into cgcc because of the pandemic, and now we’ve all. Had too much of it

lyxal

Not being big brain enough to solve challenges plus being asleep when fgitw happens is my main problem

Idk about y'all but my lack of posting is from lack of things I am able to do

caird coinheringaahing

To be completely blunt, I have two main goals here: get elected mod and get a gold discussion badge. Once they both happen, I'm content to take much more of a backseat role of just being around when needed (flags, weighing in on meta from time to time) and mostly ignoring main

user

There are definitely interesting challenges still being posted

Radvylf Programs

My main problem right now is just feeling guilty whenever I hang out on CGCC because I have so much school stuff to do

caird coinheringaahing

3:17 AM

@RadvylfPrograms School/university

Unrelated String

^

caird coinheringaahing

Me and HN are both in uni, you're approaching the end of high school, those take time away from code golf

user

On the contrary

caird coinheringaahing

Can't speak to either user or Unrelated, but I suspect its similar

Radvylf Programs

Oh true, a ton of CGCC's core users all going to college and/or deciding to take four AP classes and the world's wackest latin class at the same time might be a part of it

Unrelated String

3:19 AM

first year of university yeah

caird coinheringaahing

@UnrelatedString absolutely

user

My grades have been steadily slipping because I’ve been doing everything but school work

Unrelated String

f

mine have been precarious because i haven't done anything at all

caird coinheringaahing

@user ~~ask HN to suspend you lol~~

lyxal

Uni do make it so that you don't have as much time for things

Radvylf Programs

3:19 AM

But on a positive note, once my teacher grades all of my 19 ungraded assignments, I'll be passing Latin!!!

user

Senioritis hit hard when I least expected it

@cairdcoinheringaahing tbh I’m really considering doing that when i start college

caird coinheringaahing

Due to various reasons, I have to get a 70% this year, so I've actually been spending time studying

@user Don't

user

Why not?

caird coinheringaahing

Uni/college is a weird blend of having free time and not having free time :P

user

I mean, there’s discord

caird coinheringaahing

3:21 AM

Either, you'll be too busy with uni work to need a suspension, or you'll be grateful for the couple of hours you get to chat here :P

user

—-and my soc—-

@cairdcoinheringaahing hmm, fair point

Radvylf Programs

@user I would say it's less productive to be on Discord than CGCC so what's the point, but I productivity-shame myself enough as it is so I don't want to do that to you lol

Unrelated String

@RadvylfPrograms *if

user

Might be easier to use a browser extension to block tnb and throw away the password

hyper-neutrino

getting suspended was useful when i had like negative self control

user

3:23 AM

@RadvylfPrograms wdym, trading opium for heroine works great

hyper-neutrino

since then i can keep up with things (for the most part) perfectly fine on my own

caird coinheringaahing

@cairdcoinheringaahing That said, I'd be remiss if I said that social life wasn't a factor :P

@hyper-neutrino Hi yes, stop being me :P

user

This is the extent of my social life lol

caird coinheringaahing

College will change that

Unrelated String

^

Radvylf Programs

3:24 AM

It's far from a social life, but I've had short conversations with no less than two people I don't usually talk to recently, which I'm really proud of

Unrelated String

that was an ^ to user not caird

caird coinheringaahing

@UnrelatedString Boo :P

hyper-neutrino

i've been in university for four terms and uh

user

@cairdcoinheringaahing 🤞

Radvylf Programs

I'm hoping getting a job this summer will help remind me how to talk to humans

Unrelated String

3:24 AM

i haven't had an in person social life in like
at least three years

hyper-neutrino

i've talked to like, one person i knew in high school and one other person i talked to on discord (besides my IRL friend)?

my (IRL) social life has not changed since i joined uni, it is still just as non-existent as ever since covid :P

caird coinheringaahing

Damn

Unrelated String

i have only interacted outside of classes the like three total times the linguistics club has held meetings

caird coinheringaahing

Do US unis have "societies"? (or clubs I guess?)

hyper-neutrino

we have a math soc and do have clubs i just uh

don't

Unrelated String

3:26 AM

lol

caird coinheringaahing

fairs :P

Unrelated String

reminds me i need to actually look at the club list again

because the lack of interaction is actually really fucking getting to me

caird coinheringaahing

I leant into my problems and became a committee member on 2 different alcohol societies, and the poker society :P

Unrelated String

lmao

user

I’ve been in this school club all through high school. We all worked pretty closely together but i recently realized everyone else knows each other super well, even the freshmen, while I’m just…some guy

caird coinheringaahing

3:27 AM

@user oof

user

@cairdcoinheringaahing you’re kidding right

Unrelated String

i was a founder of a club in high school which was pretty much just a few guys i already knew

user

—-speedrun to hell—-

Unrelated String

and they're pretty much still my main friends

caird coinheringaahing

@user Nope. I am the social secretary of the rum society, secretary of the real ale society and am running for committee of the poker society on monday

user

3:28 AM

@UnrelatedString that’s nice

Unrelated String

just by virtue of playing league of legends two or three times a week

hyper-neutrino

damn

lyxal

@cairdcoinheringaahing You actually go to your unis poker club?

user

@cairdcoinheringaahing oh congrats and good luck

caird coinheringaahing

@lyxal How else will I lose £10 a week?

Unrelated String

3:28 AM

how do two separate unis have poker clubs

lyxal

@cairdcoinheringaahing I envy your courage to go

hyper-neutrino

wait, you have friends in league of legends? i thought league of legends tended to destroy friendships 💀

Unrelated String

i feel like that's something administartion wouldn't be fond of

caird coinheringaahing

@user Thanks :P

Radvylf Programs

I'm planning on making friends when I go to college. I'll be surrounded by ~~nerds~~ like me, so I'll have people to talk to who share similar interests, which is half the reason I don't have any friends right now

hyper-neutrino

3:29 AM

@UnrelatedString i don't feel like that'd be that rare?

Unrelated String

@hyper-neutrino it's also worse than unplayable without friends :P

hyper-neutrino

actually my middle school had a bridge club 💀

Unrelated String

whoa

i feel like bridge doesn't have as deep a connection to gambling though

caird coinheringaahing

@UnrelatedString The poker society is entirely non-profit, or else they aren't allowed: all buy in money goes back to the members, except for what's required to buy equipment/etc.

Unrelated String

i'd assume as much

actually wait i'm surprised they play with actual money to begin with

caird coinheringaahing

3:30 AM

@lyxal I budget £40 a month to spend there, and I make a bit of money from time to time

@UnrelatedString Winner usually snags ~£180 for a £5 buy in

Unrelated String

wow

hyper-neutrino

@UnrelatedString that is true (i think idk lol)

caird coinheringaahing

@hyper-neutrino Bridge doesn't involve gambling

hyper-neutrino

hm

user

Who said they were separate? Caird and lyxal are obviously the same person

hyper-neutrino

3:32 AM

it is a strategy game iirc? idrk how it works at all lol, i thought it had to do with gambling but i guess you could play any game for money

caird coinheringaahing

@UnrelatedString Just my luck that the one time I make it into the serious money (5th, usually pays £45) was a charity event where the prize pot was halved, so I got £20 :P

Unrelated String

f

caird coinheringaahing

@hyper-neutrino Bridge? Not really

Then again, I've played solitaire for money, so ¯\_(ツ)_/¯

Unrelated String

wh

Radvylf Programs

Wait how lol

Like, first to win a game gets the money?

hyper-neutrino

3:33 AM

^^ how does that even work xD

caird coinheringaahing

No, casino style. Pay £1 to flip over a card, if you can't able to complete the game, house gets the money

hyper-neutrino

bet against yourself; if you don't win you give yourself $20, if you do win you give yourself $20

user

But seriously, colleges have some pretty crazy clubs (there’s one at the college I’m gonna go to where they harvest ice cream from cows)

caird coinheringaahing

Otherwise, you get 1.5x

hyper-neutrino

oh that's interesting

what's the house edge on that, idk what the odds of succeeding at solitaire are lol

Unrelated String

3:34 AM

wack

Radvylf Programs

@user Hopefully they don't cut corners and put the cow in a walk-in freezer

caird coinheringaahing

House loses most of the time, but if you're palying with friends, who cares lol :P

hyper-neutrino

ah. also, true :P

Unrelated String

it's like sending a gift card, but with suspense

caird coinheringaahing

@hyper-neutrino Essentailly, it boils down to "Are you wiling to spend £35 to likely get £52"? :P

@user We have a bondage club (no, I'm not joking)

Radvylf Programs

3:36 AM

@cairdcoinheringaahing I could imagine there being some strategy in like, being able to tell early on if it won't be a winnable game

hyper-neutrino

@cairdcoinheringaahing >_> well, interesting

user

Yoo they have a fight club too

caird coinheringaahing

@RadvylfPrograms If you play FreeCell solitaire (IIRC, that's the normal version), then 99% of games are winnable

user

And a poker club. That’s 3 @UnrelatedString

caird coinheringaahing

Wait no, freecell is cards face up, Klondike is the "standard" one, but apparently it isn't know what percentage of deals are winnable: solitaire365.com/tips/is-every-game-of-solitaire-winnable

Unrelated String

3:38 AM

i actually didn't get that you were listing stuff at your college and thought the fight club was a joke :P

and was trying to think of how to respond without having read or watched fight club

user

Weird, all of your messages just loaded for me

caird coinheringaahing

@UnrelatedString You don't respond; the first rule of fight club is that you don't talk about fight club

user

For a few minutes there it was just me talking to myself

@UnrelatedString i was joking, it’s just boxing (at least the one I found)

Unrelated String

lol

caird coinheringaahing

@hyper-neutrino bristolsu.org.uk/groups/university-of-bristol-kink-society (nsfw, in case that wasn't obvious)

hyper-neutrino

3:42 AM

huh. interesting. honestly i support that :P

~~are you a member of it~~

Unrelated String

same

caird coinheringaahing

@hyper-neutrino I am not :P

Unrelated String

yet

caird coinheringaahing

~~I don't need a society to find people to hook up with :P~~

But honestly, seemed like an easy trap from new students to get involved with, without understanding what it was actually there for, and I decided I didn't want to be around those kind of people

I'd rather be taking people's money because they thought they could make some easy cash at poker soc :P

user

Just realized this conversation is sort of off topic :(

hyper-neutrino

3:47 AM

ah. yeah it started from us talking about activity on cgcc (mostly on-topic) and quite rapidly drifted to college. do we want a college chat room? seems to be a topic we bring up fairly often here lol

user

Good idea

caird coinheringaahing

So, this seems like the acceptable kind of off-topic chatter imo. This isn't noise, but its likely to be of interest to multiple users

user

Id like a catchall off topic room but that’s not the consensus i think

Unrelated String

speaking of kinds of people
so the only club i'm in is the undergraduate linguistics club
but around campus there's just a shit ton of flyers for the anime club
and from the flyers alone i was thinking "i don't think i want to associate with this"
but they also have a link to their discord so after finals i went fuck it and scouted it out on a burner account
it was... not as bad as i was expecting but still pretty fucking weird
and for some reason someone who's ta'ing one of the lower level classes i'm in was there under his real name lmao

user

What’s wrong with using your real name?

Unrelated String

3:49 AM

on discord? it's just
weird

like it was his actual username on the account

user

@cairdcoinheringaahing can’t hurt to make a chat room now for future conversations even if we don’t move this one into that room

Unrelated String

nicknaming yourself with your real name for an in person group makes perfect sense ofc

user

I use my full name as my username on my main discord account lol

And use khmer vowel inherent aa as my nickname

caird coinheringaahing

I have no problem with "off-topic" discussion, mainly because people aren't just here to discuss code golf 100% of the time. Chat is intended to be a "third place" where we discuss things we're interesting in - and, because we share an interest in code golf, we're likely to share an interest in other things. If that off-topic conversation becomes noise, or things that people genuinely thing should spin off into other rooms (e.g. politics, your opinions on Elon buying Twitter etc.) then yeah, go ahead, make a new room and we can move there.

If messages are legit noise tho? Yeah, trash that, kick repeat offenders, etc. But for off-topic but legit convos? I don't see a problem with those

@UnrelatedString I use my first name as my nickname when the server is people I've met IRL

Unrelated String

3 mins ago, by Unrelated String

nicknaming yourself with your real name for an in person group makes perfect sense ofc

caird coinheringaahing

3:54 AM

What about if I've only met a few of the people IRL?

Unrelated String

we actually enforced that in the aforementioned high school club

user

Do y’all use an alt too?

caird coinheringaahing

No, cba

Unrelated String

no

^

user

Huh

Unrelated String

3:55 AM

if i really want to i make a burner account

but actually using multiple discord accounts seems like a pain in the ass

hyper-neutrino

i have an alt account that i sometimes use for scouting servers without revealing my actual online identity, except it's not impossible to figure out it's me, it just makes it a bit less obvious

user

Maybe i should rename my main account or something

caird coinheringaahing

@cairdcoinheringaahing As an example, I go by my name in the uni society discords I'm in, despite only meeting a fraction of the members

hyper-neutrino

i use my alt account for testing as well lol, that's its main purpose

Unrelated String

maybe using third party clients could make it easier

user

3:56 AM

@UnrelatedString not if you use the app for one and browser for another

caird coinheringaahing

@hyper-neutrino SE has conditioned me into that being the only valid use for socks :P

hyper-neutrino

^^ that's what i do. account switcher is kinda bad

@cairdcoinheringaahing lol :P

user

Also discord has a new feature where you can switch between alts iirc

Unrelated String

i know someone who has an alt on his phone but i use mobile discord waaaaaaay too much for that

user

@hyper-neutrino :( bad how?

Unrelated String

3:57 AM

oh yeah

caird coinheringaahing

@user otoh, I like being able to get notifs on my phone for certain servers, and I mainly use discord from my laptop when in my flat

Unrelated String

^

hyper-neutrino

it's not as fast as i'd like and whenever you switch, the client forgets which channel you were in in each server so after you switch, going to a server always brings you to the topmost channel

Unrelated String

oh yikes

caird coinheringaahing

Plus I can't remember my password, I rely on staying logged in, and I don't want to test if either device remembers my login

Unrelated String

3:58 AM

does it by any chance also reset volumes

hyper-neutrino

i don't actually know lol

it does not seem to

Unrelated String

because i got spontaneously logged out like a week or two ago, then was in for a very unpleasant surprise when i summoned a music bot

hyper-neutrino

ah :/

caird coinheringaahing

@cairdcoinheringaahing Also also, my laptop mic is screwed, so I use my phone for VC, but I almost exclusively use VC when playing a game on my laptop

user

F

Unrelated String

3:59 AM

f

wait does that mean you don't use a headset or is the headset broken and you haven't figured out if there's some way to use the laptop's mic while listening to a headset

caird coinheringaahing

@cairdcoinheringaahing Linking back to CGCC: The game is Legacy's Allure, which I legit want to make a Koth out of, but it so complicated (like chess * 100) that I don't think I can

Unrelated String

ooh

caird coinheringaahing

@UnrelatedString Bluetooth headphones without a builtin mic, so the mic is in my laptop

Unrelated String

ah

user

No randomness, not pay to win, nice

Unrelated String

4:02 AM

don't wireless headphones tend to have noticeably worse audio quality than wired

Jo King

looks fun

Unrelated String

but yeah makes sense

caird coinheringaahing

(always happy to advertise) if you're interested in it, we have a mod on Tabletop Simulator, and a discord: discord.gg/fNwZKvE7Gw

@UnrelatedString Ye, it's not great

Unrelated String

f

Pyautogui

4:22 AM

What is a good answer/question ratio?

I am a new user, fairly inexperienced (though I have lurked for some time), and am very interested in the proper etiquette.

Unrelated String

inf ;)

serious answer is it genuinely doesn't matter

don't force yourself to do anything

Pyautogui

Got it.

Thanks!

lyxal

4:51 AM

@UnrelatedString does that mean that my hybrid wireless/wired headphones cancel out in terms of audio quality?

Unrelated String

...good question

probably depends on how

lyxal

Well you can use either wired mode or wireless mode

So I'd say it averages out

Unrelated String

so 90% of the time it's good quality but you can choose to sacrifice some for movement at will

that's a bit better than averaging out

DLosc

@Pyautogui Judging from our top 10 all-time users, a good answer/question ratio is anywhere from 680.14 to 0.0899. ;) So yeah--if you like solving challenges, do that; if you have challenge ideas, post them in the sandbox.

2

lyxal

5:19 AM

Something isn't quite right here, but I can't quite put my finger on it

hyper-neutrino

hmmmmmmmmmmmmmmmmmmm

lyxal

woah woah woah they added copilot to ms word

holy frick

Mar 16 at 13:01, by lyxal

So turns out I'm so used to VS Code autoformatting code on saving and Copilot's autosuggestions that I get confused why MS Word isn't do either those things when I'm doing report writing

thank you to the microsoft employee who implemented my request

many appreciate

well it isn't really copilot, but it's text prediction that completes on tabs

which is close enough to copilot for me

and it doesn't give full sentences (yet)

caird coinheringaahing

5:41 AM

@Pyautogui Depends: do you prefer posting answers or questions? :P

Razetime

@Pyautogui hi there pyautogui

allxy

6:59 AM

I'm back!

pxeger

Hi back, I'm pxeger!

graffe

Has anyone used copilot? What’s it like?

allxy

Time to read seven days of transcript lol

pxeger

@graffe @lyxal has used it extensively

graffe

@pxeger any reports?

allxy

7:01 AM

@graffe It's pretty good, except do not trust it with rotation vectors

graffe

@allxy ah :)

lyxal

@graffe it's great for stuff with patterns and short snippets

Also boilerplate

graffe

What is a rotation vector?

lyxal

It's great for boilerplate

graffe

That sounds great already!

I just added myself to the waiting list

lyxal

7:03 AM

A substantial part of Vyxal is copilot generated

Pyautogui

The end of safjan.com/how-to-get-most-of-github-copilot has a short review.

IIRC

graffe

@lyxal wow

lyxal

To get the most out of copilot, use it to spend less time on what to write and more time on how to write a program

graffe

@lyxal what happens if you start coding a standard undergraduate exercise?

@Pyautogui thanks

lyxal

@graffe I uh probably shouldn't comment on that

because I uh may or may not do that

graffe

7:05 AM

@lyxal :) it must be a standard thing to do

lyxal

(but on a serious note, it's very useful for undergrad stuff)

graffe

I really want to try it now!

lyxal

(I say this as an undergrad software engineering student who uses copilot to make assessments go a little quicker)

graffe

Sounds cool

lyxal

it is

quick question: do you use vs code/jetbrains/any editor that supports copilot?

pxeger

7:06 AM

@cairdcoinheringaahing Personally, I think the more ROs the merrier

and I don't think an election is necessarily needed, but I don't see why we couldn't have one

@lyxal Outlook already does this btw

lyxal

@pxeger I know

but Word using it is something I've wanted for a while

pxeger

It's not always the most helpful, because I'll start an email saying "I would say ..." and it suggests "yes", "definitely", or "for sure", but what I wanted to say was "no"

Neil

hmm, someone doesn't like that Python 2/3 question...

lyxal

@pxeger but that's to be expected from any auto-suggestion tool

GPT-3, Codex, Copilot, etc are all prone to moments of unhelpfulness

so it comes with the territory imo

pxeger

Well I just mean it would be nice if it had some more variety in options, because the 3 choices often all just basically the same

lyxal

7:10 AM

Of course

and my first impressions of what they've added to Word is that it's also limited

it's no Davinci or Codex that's for sure

hopefully they expand its range someday

for both Outlook and Word

graffe

I really want to see someone coding in C or Python using copilot

Unrelated String

@Neil specifically all of the eval answers

lyxal

@graffe if you want a feel of what AI text competition is like, I recommend you try out the GPT-3 beta. It doesn't do code, but it does give an idea of how to optimise prompts to get what you expect

Unrelated String

i understand "eval bad" but all of the eval-based answers are actually pretty interesting

Neil

@UnrelatedString no, every single answer has been downvoted

graffe

7:14 AM

@lyxal thanks. But C seems an interesting challenge

Unrelated String

oh i thought my haskell answer wasn't but it was just the rep notification thing aggregating it weirdly

yeah what the fuck

lyxal

also,

// A LinkedList struct in C

#include <stdlib.h>
#include <stdio.h>
#include <string.h>
#include <stdbool.h>
#include <assert.h>
#include "LinkedList.h"

struct LinkedList
{
	int size;
	struct Node *head;
};

struct Node
{
	char *data;
	struct Node *next;
};

//
// Creates a new LinkedList
//

LinkedList *newLinkedList()
{
	LinkedList *list = (LinkedList *)malloc(sizeof(LinkedList));
	assert(list != NULL);
	list->size = 0;
	list->head = NULL;
	return list;
}

//
// Creates a new Node
//

Node *newNode(char *data)

The only thing it had was the first comment

it generated the rest of it

@allxy once you're done, welcome back gamer.

how was the camping?

Neil

@cairdcoinheringaahing 1 2 3 3? which sequence is that in OEIS?

Unrelated String

> Displaying 1-10 of 2883 results found.

took a while to scroll to one starting with it though

Aiden Chow

i found another one starting with it: oeis.org/A046530

Neil