The Nineteenth Byte

07:23

@Bubbler that snake game is kinda cool

CMC: Make a terminal based snake game, for reference ^^

Unrelated String

07:33

@AaronMiller that's legitimate because some people are actually just genetically cursed with an inability to appreciate cilantro

pxeger

> 02/10/2016: [...] The Future: laravel, bootstrap, jquery, vagrant, node, express, heroku

I mean...

Bubbler

What kind of future is that lol

pxeger

2017?

Bubbler

I say the real future is Rust, Rust, Rust, Rust, Rust, Rust, and Rust

emanresu A

Hellol

pxeger

07:48

@Bubbler This ain't the 1950s midwest any more

emanresu A

@pxeger Not laravel, and heroku is pain. Bootstrap & jquery are good but overused, never heard of vagrant, but node & express are good.

pxeger

vagrant is like docker but using full-blown VMs instead of containers

Bubbler

Rust is ready to slowly eat away the entire web stack

emanresu A

Nah, js is the future.

pxeger

if js is the future, I'm building a time machine and going back to the past

Bubbler

08:08

Any feedback?

emanresu A

Not really, looks good.

Sandbox Posts

08:27

0

A: Sandbox for Proposed Challenges

How many values of this type? Background The number of values for a given type is called the cardinality of that type, and that of type T is written as |T|. Haskell and a few other languages have a certain set of enum types, each of which has a small finite number of values (the exact names vary,...

Bubbler

Also ^?

Maybe a reverse problem could be more interesting: find the shortest type that has the given cardinality

Neil

08:48

@Bubbler hmm... there was this social network account I had once, but I forget what the site's called, and I have no idea whether it still exists. last account I "used" was the google one that got shut down some time ago

ah, I remember now, and that other social network got shut down 7 years ago

caird coinheringaahing

09:54

> If the title seems click-baity or doesn't adequately describe the question, edit it!

*nervously looks at all the titles on this site*

emanresu A

Oof

'ingth

user

10:59

@Bubbler Nice!

@Bubbler I’d say Rust was a child of Haskell and perhaps mildly influenced by Scala, but that’s as far as I would go

Neither the concepts nor the syntax are too similar

Wheat Wizard

12:45

@Bubbler Totally different problem but I think it would be interesting to do this version with parametric polyorphism. e.g. a -> b has no inhabitants, a -> a has 1, a -> (a -> a) has 2 etc.

There would be some edge cases, for example (a -> a) -> a might be a little odd because it depends on how you view fix.

Really I guess you want to define the laws of inference in the type theory.

New Posts

bread

3

caird coinheringaahing

^ Spam

Bubbler

13:02

@WheatWizard I'm not sure if it is computable in general. It feels at least as hard as implementing Coq's tauto tactic, and I'm not sure if it terminates in all cases.

Wheat Wizard

It's might depend on the axioms of your type system.

But a basic type system would just be an intuitionistic calculus.

Coq has a lot more to deal with in terms of type complexity.

pVC aecidiospore adduced

@NewPosts i want the butter also

Aaron Miller

@lyxal At what point should I understand your pfp?

Bubbler

But like, it is possible to express equivalences between classical axioms (say EM and Peirce) in intuitionistic logic and prove them, but it is no simple task

And (a->a)->(a->a) already has cardinality of infinity

Wheat Wizard

My instinct is that this is weaker than even PC.

This is basically an intutionistic version of PC but where the only defined operator is implication. And the question is "How many distinct proofs are there of this statement".

lyxal

13:13

@AaronMiller best case scenario: 1.5 runs of chapter 2

Your first whatever you want and a bit of the alt route

Worst case scenario: idk how many runs

Why the idk? Because you might be a stupid idiot like me and almost complete a second before realising you actually hadn't done the alt route at all

Bubbler

@WheatWizard What does PC there stand for?

Wheat Wizard

Propositional calculus

Aaron Miller

@lyxal What if I accidentally do the alt route first time?

pVC aecidiospore adduced

CMP: Should i add graphics to dinoux?

like maybe you can create games

lyxal

@AaronMiller then you've outgolfed my reasoning

And then you should be able to tell me a quote related to my pfp

But the chances are very high that you didn't

Did you finish a run yet?

Wheat Wizard

13:21

If you allow Rank N types the problem becomes First Order Logic which is definitely not solvable.

caird coinheringaahing

Ooh nice, just cast my 1000th helpful flag network wide :D

5

Redwolf Programs

Nice!

@pVCaecidiosporeadduced Oh no, your language has become a kitchen sink :p

lyxal

@RedwolfPrograms now see back when I was a wee lad writing a cringe minecraft blog because school, I had no clue what tf was meant by "kitchen sink"

And WordPress had this kitchen sink button

So me being me, I wrote a whole post on it detailing my disappointment at the lack of kitchen related features

For obvious reasons I'm not linking y'all the blog

Redwolf Programs

D:

lyxal

13:37

I mean, idk if it's even still up

Redwolf Programs

If it is, at least give us a screenshot

@NewPosts QuickBooks support spam is the new IGS

CMQ: What are your favorite sites to read HNQs from?

I like reading the home improvement site's HNQs, for some reason

Wheat Wizard

I like Politics se. It's probably the worst site on the network.

Redwolf Programs

Politics' questions usually fall into "controversial topic and interesting question" or "boring clarification on some technical thing"

The first are lots of fun :p

lyxal

@RedwolfPrograms hang on just gotta make sure that y'all searching for the post text doesn't actually link back to the blog

Because there is some serious cringe and probable PII on there

Bubbler

@RedwolfPrograms I often click through worldbuilding (and RPG, though I have almost zero idea how D&D works)

Wheat Wizard

13:45

Actually biblical hermeneutics is the worst site, but those are just straight up painful to read. Politics is bad but in a way that's really funny.

Bubbler

I actively avoid clicking through politics

Wheat Wizard

Yeah that's a good idea.

Redwolf Programs

Philosophy's pretty bad too

It's like all of the pedants on SE got together to argue about things everyone already knows the answer to

Bubbler

How about Skeptics?

Wheat Wizard

Oh yeah Philosophy. I posted an answer there once and it was real fun.

lyxal

13:46

@RedwolfPrograms it looks safe enough to post a screenshot

Redwolf Programs

I like Skeptics

Oh, information security is one of my favorites

lyxal

@RedwolfPrograms gaze upon my cringe and cry in despair

Bubbler

@RedwolfPrograms The "please crack this RSA key" site? :P

pVC aecidiospore adduced

@RedwolfPrograms wdym?‽

Redwolf Programs

A kitchen sink would mean it's full of a whole bunch of features and lacks a consistent vision

pVC aecidiospore adduced

13:50

@RedwolfPrograms oh lol

Redwolf Programs

Like adding graphics to what used to be a golfing language

pVC aecidiospore adduced

before i made the thing i thought of making a usable language that easy to understand

caird coinheringaahing

@RedwolfPrograms RPG and Worldbuilding

Tho I mainly just click on ones I think I'll find interesting

lyxal

@RedwolfPrograms scifi, puzzling, money and cr if the conditions are right

Redwolf Programs

Three of those are ones I specifially avoid lol

I like money though

And money.se

lyxal

13:55

@RedwolfPrograms that's going in my out of context quote compilation

caird coinheringaahing

@RedwolfPrograms Who doesn't? :P

I often click on Academia tbh

Redwolf Programs

Same here

caird coinheringaahing

That and The Workplace

lyxal

@lyxal which I have decided will be the vyxal group chat on discord

Redwolf Programs

Workplace tends to have really highly upvoted questions I think

caird coinheringaahing

13:56

Yeah, I think only SO and MSE have higher voted ones

lyxal

Anyhow, unrelated, but I'm going to be sleep

Redwolf Programs

o/

lyxal

o///////////////////

caird coinheringaahing

@lyxal Damn, that's an impressive thing to be :P

Redwolf Programs

@lyxal Lyxal, have you been playing around in a nuclear reactor again? You have too many arms :p

Redwolf Programs

14:15

Third simulation, very cool: gist.github.com/RedwolfPrograms/…

Changing the constant on lines 144 and 145 to 0.0625 makes it more interesting

I got a cool result: A snake thing

Aaron Miller

14:33

That's pretty neat

pVC aecidiospore adduced

@RedwolfPrograms i dont understand how that works

pxeger

This may be the weirdest paper I've ever read: a comparison of the evolution in size of Ubuntu software packages and mammalian body masses (jstor.org/stable/23761854)

Aaron Miller

16:20

I just got done writing an answer to this challenge, and then realized that it asks for different versions of a single language, and flags are considered different languages, not different versions. :/

I still want to show it off, though, so here it is: Try it Online! It can recognize 256 different combinations of flags, including no flags.

Specifically, these are the flag combinations it recognizes

caird coinheringaahing

16:32

@20k+ users, vtd plz

Thanks hyper :P

hyper-neutrino

ppl do be keeping our mod office room active with all this spam/naa stuff

Aaron Miller

Would using different flags be valid for The Versatile Integer Printer?

caird coinheringaahing

Leave a comment asking?

hyper-neutrino

by definition of "flags make it a different language" yes but on the other hand it would be too trivial to find like 50 combinations of flags in vyxal that do nothing in 99% of cases so i want to say that violates the spirit of the challenge

caird coinheringaahing

Personally, I'd say no, for the same reason I usually say that different versions != different languages, but I'm not the OP

hyper-neutrino

16:37

actually wait no, this should be at least somewhat interesting

(in this challenge) major versions are unique but minor versions aren't, and i'd put flags at below minor versions

Aaron Miller

that's what I figured

hyper-neutrino

although i would be interested to see how high you could count using only vyxal and just switching the flag config

Aaron Miller

I modified the flag combination thing; I swapped out o for Ṫ and encoded each flag to a different power of 2: Try it Online!

It can count up to 511

Each line checks for a different flag

hyper-neutrino

oh lol

Aaron Miller

I suppose I could pretty trivially add the H flag to it, but I don't really feel like it

That was pretty fun to make, so I think I'll write up a little explanation of each line

Aaron Miller

16:58

Explanashin

Aaron Miller

17:14

fun fact: If ^ was valid, and I also added the H flag and golfed it down as much as I could, it would score ~0.00000007

hyper-neutrino

lol

16

Q: CM escalations - How we got the queue back down to zero

CM escalations are one type of request that the Community Management team handles. These are issues that Moderators send to the Community Managers when an issue needs to be escalated to someone on staff. Common reasons for escalations include moderators dealing with a complicated voting invalidat...

\o/

caird coinheringaahing

17:52

Does that really need to be featured? It's a very impressive accomplishment, and I am interested in the "behind the curtain" stuff, but MSE features posts across the network, and there's already 3 featured posts aside from that

pxeger

agreed, it definitely doesn't need to be

caird coinheringaahing

Left a comment :P

I have to say, it's surprisingly difficult to provide constructive criticism / question one very small part of something, without it appearing like you hate the entire thing :/

hyper-neutrino

18:08

it was featured on suggestion by... someone

i forget who. the comment's been deleted

caird coinheringaahing

18:31

Uni's requiring me to learn Latex, and we have an "intro to latex" class next week. Hope it's not too unfamiliar :P

emanresu A

Tex is sus.

emanresu A

18:56

@AaronMiller Won't r mess up the $ in the Ṫ bit?

DLosc

19:08

@cairdcoinheringaahing Yeah, it is. I often use a formula like "This is great! One minor point..." (Which only works if you actually think it's great and not just okay, or if you're willing to act more enthusiastic than you actually are.)

Aaron Miller

@emanresuA I'm sure I have no idea what you're talking about

:P

DLosc

@cairdcoinheringaahing I learned LaTeX only because one professor insisted that we use it for all our assignments in his class. And that wasn't even a math class (though it was Theory of Computation, probably the mathiest comp-sci class).

Aaron Miller

@AaronMiller wait, that breaks the a flag

DLosc

Now that I think about it, using LaTeX at work was what prompted my first question on StackOverflow. So in a way, LaTeX is the reason why I'm here today.

Aaron Miller

@AaronMiller I don't know why I said that, it definitely works and has always worked and I definitely didn't just change it ~~again~~ for the first time

DLosc

20:10

@RedwolfPrograms Almost any of them, depending on the question title. Worldbuilding is definitely the top one. I often find something fun/interesting on Puzzling, ELU, SciFi, ELL, Parenting, RPG, IPS, Chess, Politics, Law, Skeptics, Literature, Physics, Workplace, Linguistics, Latin, Christianity, Biblical Hermeneutics, Bicycles, Music, etc. But during Purim Torah season, Mi Yodea outshines them all. :D

user

23:05

@cairdcoinheringaahing This is true of most opinions, why are you so surprised lol

Recommend Emacs to a Vim user and it will not go well :P

Bubbler

@DLosc Same for me in another mathy compsci class (forgot exact title)

user

@AviFS I hate May too, whaddaya think of my proposal to skip it and do April -> June?

We could also get rid of February because it's quirky

Then September would truly be the 7th month and so on

@cairdcoinheringaahing OMG HOW CAN YOU THINK THAT KETCHUP IS LITERALLY THE BEST THING SINCE THE MICROWAVE OVEN YOU GOTTA TRY IT YOU ABSOLUTE HEATHEN!!1!

Hi @visitors to TNB, please ignore my above few messages, TNB's usually pretty normal

Wezl

I disagree

to both of the above

> Mustard is better than ketchup, spaces are better than tabs. Except for in code golf, where catsup is shorter and indentation is wrong.

user

¯\_(ツ)_/¯ Just trying to pretend that TNB's a normal room to lure people in

Wezl

23:33

a user: *investigates TNB*
the user: ... KETCHUP ...
a user: *interested*
the user: trying to ... lure people in
a user: *flees in terror*

lyxal

23:47

@RedwolfPrograms why do you jump to the conclusion that I've been putting myself at risk by screwing around with radiation?

Did it never occur to you that I could have just stolen the extra arms?

2

DLosc

CMC: Given an input of 1 or 2 (the 0-indexed inputs 0 or 1 are also acceptable), output the lyrics to one of the two versions of "Off to See the Wizard" from The Wizard of Oz:

Version 1:
You're off to see the Wizard
The wonderful Wizard of Oz
You'll find he is a whiz of a wiz
If ever a wiz there was
If ever, oh ever a wiz there was
The Wizard of Oz is one because
Because, because, because, because, because
Because of the wonderful things he does
You're off to see the Wizard
The wonderful Wizard of Oz

Version 2:
We're off to see the Wizard
The wonderful Wizard of Oz
We hear he is a whiz of a wiz
If ever a wiz there was
If ever, oh ever a wiz there was
The Wizard of Oz is one because
Because, because, because, because, because
Because of the wonderful things he does
We're off to see the Wizard
The wonderful Wizard of Oz

Transcript for