The Nineteenth Byte

Alright this stinks. I can't see answer previews and trying to post an answer gets me a CAPTCHA prompt. Has this been happening to anyone else?

@Sherlock9 not for me

1:29 PM

It might be that my abysmally slow Internet connection isn't loading all of the Javascript... or something. I don't know

1:39 PM

Testing link syntax. Excuse me

Alright! Remembered it on the first try!

Markdown's link syntax is the worst thing ever invented

Maltysen

code-jam today!

o_O

I have to put Aggregate a "Friends of PPCG" leaderboard for Round 1a in my TODO list. write write

cat

@QPaysTaxes Heads up: Your "serial" votes were not reversed -- thanks for 2k rep :D

Hunh.

Michelfrancis Bustillos

1:46 PM

Does anyone know how to add that leader-board-esque script to a question?

Good luck with the leaderboard

I don't think I'll be awake enough in class tomorrow for code jam :D

Michelfrancis Bustillos

I've seen it done before and mentioned on Meta, just not sure how they did it

Maltysen

@Sherlock9 skip? its only 2 and a half hours

39

Q: Leaderboard Snippet

I've been using a stack snippet for a while to generate leaderboards for my simpler or more popular code golf challenges. I want to share the code for this snippet here so others can use it more easily as well. Feel free to put feature requests and bug reports in answers, or let me know in chat....

Michelfrancis Bustillos

Thanks!

1:48 PM

@Maltysen Nah, I like that class, and I won't be able to wake up at 8 otherwise

> To use the leaderboard in your own challenge, simply copy the snippet and search for the global variable definition of QUESTION_ID and replace it with the ID found in the URL to your question and replace OVERRIDE_USER with your own user ID.

@Maltysen It's the early hour that's the problem, not the actual class

I have almost decided that the people here a lot are bots... :)

@Lembik Sounds like something a bot would say

Why dependent types are awesome

1:55 PM

@Lembik No bots here, don't worry. (Except ElectionBot during elections)

@Fatalize :)

Bots are all in rooms like Beep Boop Maggot.

@NathanMerrill I read that recently.. it's very interesting but how can we use it to make challenges?

I feel some part of PPCG should be to show off new languages

[]()

-.-

1:56 PM

Another victim of Markdown's awful syntax

I like markdown. I was actually using asterisks to emphasize text long before I learned about markdown :)

I'm not sure what would be better (for chat that is). I certainly don't want to use html for it.

I wonder what better link syntax would look like

maybe we could add a bonus to challenges which is the year the language was invented :)

@Lembik Like the Good Old Suffix Vector?

1:57 PM

@NathanMerrill Fatalize appears to be only complaining about Markdown's link syntax

@zyabin101 what's that?

@Lembik Cue people making trivial variations on languages to get the "new" bonus.

@Geobits yes.. it wasn't a robust idea :)

15

Q: Good Old Suffix Vector

Inspired by an old manual... The challenge I define the ath suffix vector of b as the boolean list of length a with b trailing truthy values. Write a program or function that, given a and b by any means, returns the ath suffix vector of b by any means. Now this may seem trivial, but here is t...

code-challenge

anyways, there are almost no imperative dependently typed languages

the only one I could find was one that some students did for a research project

1:59 PM

@zyabin101 nice!!

@NathanMerrill Idris?

ah.. changed :)

yeah, my bad :)

and the research project only has a half-baked compiler

Sorry for the plug for my answers: this answer, this answer and this answer

so, on my drive to work today, it was snowing so hard, I couldn't see more than 20 feet, and they only had 1 lane open.

but literally 10 minutes later, it was sunny

and no snow on the ground

Does anyone knows how the leaderboard snippet works?

javascript

It looks for header tags

2:12 PM

changing the id of the question and the user makes it not display the "run the snippet" button

but if you don't it obviously doesn't point to the correct challenge

FryAmTheEggman

2:37 PM

I loled: codegolf.stackexchange.com/revisions/77747/14

thumbs.gfycat.com/WhoppingBlueFlickertailsquirrel-mobile.mp4

2

I'm a grown adult and I see cars smiling at me every day

cars are just happy (in general)

However there are exceptions

😠

2:53 PM

2

Adnan

@FryAmTheEggman Hahahahaha

FryAmTheEggman

If the next edit description isn't "And another one gone" I'll be very disappointed :P

Adnan

:P

@Geobits D:

3:39 PM

what is the significance of the name "the nineteenth byte" ?

A: Let's think of a creative name for our chatroom

It's like the "nineteenth hole" in real golf.

I think there is a meta post where you can read how this room got its name.

32

Well, the traditional generic name for the country club bar is "the nineteenth hole", which suggests The Nineteenth Byte or something like that.

haha, right on

@cat docs.racket-lang.org/scribble/srcdoc.html

@ChrisJester-Young Is there also a tennis ball?

@flawr No, Racket is not named after tennis racquets, but rather protection rackets.

3:48 PM

Rockets would be nice too.

Sprockets

Neither rockets nor sprockets are very criminal or otherwise dodgy concepts.

Optimizer

Team Rocket sprockets

Many Scheme implementations are named after that theme, like Larceny, Guile, etc.

OOh, now I get it.

Scheme

@HelkaHomba yourworldoftext.com/~zyabin101

I have a public world of text, too. :)

cat

4:04 PM

@ChrisJester-Young I found that, but it still seems like a lot of typing. I found a function that mimics Python docstrings: github.com/antoineB/racket-examples/blob/master/docstring-like/…

Not sure I'd use it in production, however.

@flawr schemers.org

the scheme community loves puns

@Winny nice to see a fellow racketeer in tnb :D

@cat tnb?

hi, by the way :)

@Winny The Nineteenth Byte.

ah, thank you

silly me

@cat I was about to learn some scheme at some point. But now I'm trying to haskell.

cat

@flawr I should probably learn Haskell at some point, but I wanted to learn a Lisp, and Racket is really nice, not just to learn :P

4:18 PM

I'm away from my world of text. Tri to not dun mess up!

i have yet to become comfortable working with xml, html, json, and http with racket, however :(

every time i do it, i wish for python

@cat As far as I can tell Haskell is quite nice too. But I think that is generally a trait of many funcitonal languages=)

but then i need to spin off concurrent tasks, and i go back to racket :)

say i want to demonstrate that an answer is wrong. to do this i would like to copy-paste a series of commands and their outputs from my terminal. what is the proper way to paste this output in the comments of an answer? just like a link to a pastebin post?

or is there some sort of stackexchange feature i should use?

4:33 PM

if you search for a synonym of a tag, then it should auto-tag the synonym

pastebin services don't typically retain their content as long as SE retains its threads

@ardnew Really?

You can usually specify the duration.

I don't see the appeal in functional languages

I'm all for functional functions in languages

but requiring everything to be functional makes simple problems hard

And hard problems simple.

which is why I argue for functional functions

4:39 PM

@MarsUltor @Downgoat and other Git users - please try out aliases/.ganything. It has some Git aliases and I need it reviewed.

because then you get the best of both worlds :)

I think the problem when making a not so functional language with functional elements is that they become way less efficient.

Pure funcitonal languages allow for qutie good optimization in the compiler/interpreter.

theoretically, if functional functions only call other functional functions, it should have the same available optimizations

you're suggesting imperative language compilers are unable to support the same optimizations on functional constructs that functional language compilers support?

I'm not actually sure, but it makes sense to me

4:44 PM

@ardnew Yes.

I'm by no means an expert but that is about what I've read so far=)

well i don't know enough to disagree, but my knee-jerk reaction is that sounds silly