The Whiteboard

PreferenceBean

10:00 PM

you lost me

this was fun earlier

Jimmy Hoffa

> System F corresponds to the fragment of second-order intuitionistic logic that uses only universal quantification.

see, it's easy

Ixrec

that might be why I switched to talking about tribbles in Mos Eisley

PreferenceBean

oh shut up

Jimmy Hoffa

Feb 2 at 19:53, by Ampt

↖--- Helping.

PreferenceBean

you're helping me to die inside

Ixrec

10:01 PM

@JimmyHoffa that is a really random subset of a non-standard logic...

PreferenceBean

thank you James!

nice NW Unicode arrow

@Ixrec we could build another station..

Jimmy Hoffa

@Ixrec I know. I don't actually know about how all that mega-magic works. I'm more trying to make a point about how foreign it all really to keep @AaronHall from trying to look at it through the lense of OOP where it doesn't fit

@PreferenceBean that e's for you btw. Enjoy.

alternatively, @AaronHall is a smart guy, maybe he can read and discern knowledge from those links

PreferenceBean

@JimmyHoffa it's "lens" here too but I appreciate the effort

"OOPs"

Aaron Hall

There's only so much time in the day...

PreferenceBean

oh oh I know this one

it's 24 hours! modulo leap second! what do I win?

Aaron Hall

10:07 PM

I'm sorry, you forgot to phrase your response in the form of a question.

Ampt

my team lead just left, and my boss is packing up. Time for a nap while I wait to go to a friends place for games

user114359

Should this question have a regular lock? Or should it be wiki-locked?

user114359

471

Q: I've inherited 200K lines of spaghetti code -- what now?

I hope this isn't too general of a question; I could really use some seasoned advice. I am newly employed as the sole "SW Engineer" in a fairly small shop of scientists who have spent the last 10-20 years cobbling together a vast code base. (It was written in a virtually obsolete language: G2 --...

user41796

please define what a wiki lock means

Ixrec

what exactly is a "wikilock"?

user114359

10:14 PM

isn't that where it cannot be closed or deleted, but we can still edit?

Ampt

that is such a perfect question and answer example of a wiki post

user114359

It is really good, even if too broad, and makes excellent reference material (and dupe target). But it could be nice to be able to update it.

user41796

I think it's officially called a "Wiki Answer" lock. And it allows for editing answers. However, that also allows for voting on the posts

Ampt

I can't edit it

user41796

Not that I just experimented on a question of mine elsewhere...

Ampt

10:17 PM

gib rep pls

user41796

@Ampt it's historically locked at the moment

user41796

historical lock means no votes, no edits. Can still flag comments.

user114359

I don't see a pressing need to edit anything there, I just know we have more lock types now specifically for questions like this. I VTC'd another question as a dupe of that one and I noticed the historical lock.

Shog9

beer's almost gone, query's still running @gnat :(

user41796

@Shog9 Oh, c'mon now. It's not gnat's turn to be blamed for everything today.

Shog9

10:19 PM

sure it is

I have sticky traps set up everywhere and he's still buzzing around

2

gnat

@Shog9 thanks! I'll drink some whiskey for that

user114359

I approve of whiskey

Ampt

Ponders whether he can be trusted to get a bottle of Jack for the night

user41796

@Shog9 He definitely is ... persistent.

user41796

@Ampt I think you demonstrated to Kit earlier that you're not.

user41796

10:20 PM

So you better get 2

user114359

@Ampt I already have a big bottle in the fridge. I come prepared.

gnat

@Snowman list question, and list is quite hard to wipe out of it (as opposed to that one-return we edited this week). Better stay historical. "What would you include in your list of the most effective strategies to help straighten out the spaghetti"

Shog9

bends rim of can inward to funnel out the last few drops of beer

user41796

@Shog9 That's getting pretty desperate. Don't you live in a fine enough locale that offers beer delivery?

Shog9

yeah, but I was hoping this query would finish

but it didn't

IT DID

just in the nick of time

...but I didn't ask for text results.

user41796

10:26 PM

I'm crying for you ...

user41796

OTOH, time to have some beer sent in

Shog9

screw this. I'm gonna leave and if this has finished by the time I get back then @gnat will have his results.

FWIW, 18 questions would've been protected on Progse during the past 365 days if we ignored rep gained after answer creation.

or maybe less

gnat

@Shog9 will be great to learn this, I was waiting for quite a while for data to back up or trash my subjective estimates

PreferenceBean

just get drunk

gnat could possibly go wrong

Jimmy Hoffa

10:43 PM

@PreferenceBean I know; didn't mean it was for your UK sensibility- I know you lack sensibilities as a whole. :D

@Ampt take a step to the dark side; get a bottle of Famous Grouse

PreferenceBean

@JimmyHoffa hah touché

Aaron Hall

Gonna work late today, wife's going to be out late

Jimmy Hoffa

@AaronHall that means go to the bar, not keep working

Aaron Hall

Dude, didn't you see how excited I am to amortize my laptop's cost over another year? I don't spend money on drinks out. I'll buy my wife a drink (because that's different), but I greatly resent spending $5 or more on a beer for myself.

I qualified for an FHA mortgage, but the PMI is too expensive, and I want to buy myself some more grad school... no money for bars.

user114359

Just in case any of the nerds here can answer:

user114359

10:51 PM

1

Q: What are the triangles around Kermit's neck?

What is the ring of triangles around Kermit's neck? Looking at pictures of frogs, I have been unable to find one that has similar markings. For example, take this picture of a typical frog: Kermit, of course, has a signature ring of triangles around his neck: So far I have been unable to f...

muppets

Jimmy Hoffa

@Snowman I thought Kermit was the frog king and that was his tribal war necklace anointing him as such. It's a necklace of teeth.

Aaron Hall

> The earliest trace of Kermit first appeared in 1955 on WRC-TV's Sam and Friends. This prototype Kermit was created from a discarded spring coat belonging to Henson's mother and two ping pong ball halves for eyes.[5]

Initially, Kermit was a lizard-like creature. He subsequently made a number of television appearances before his status as a frog was established, which was shortly before Sesame Street began. His collar was added at the time to make him seem more froglike and to conceal the seam between his head and body.[6]

Kermit the Frog

Kermit the Frog is Jim Henson's most famous Muppet creation, first introduced in 1955. He is the straight man protagonist of many Muppet projects, most notably on Sesame Street, and The Muppet Show, as well as in movies, specials, and public service announcements throughout the years. Henson originally performed Kermit until his death on May 16, 1990; Steve Whitmire has performed Kermit since that time. He was voiced by Frank Welker in Muppet Babies and occasionally in other animation projects. Kermit performed the hit singles "Bein' Green" in 1970 and "The Rainbow Connection" in 1979 for The Muppet...

user114359

@AaronHall yeah I read wikipedia. I don't understand how adding a non-frog anatomical feature would make him frog-like. I can buy the "hides the seam" bit too. But my question has a very specific word in the title: what is it, not why is it there.

Ixrec

"My question is definitely not a duplicate because..."

Jimmy Hoffa

@Snowman if it was originally there as a lizard-like creature, then it would fit the fringe of many lizards

Duga

11:05 PM

This is not about javascript - your question is very broad; too broad to get good answers. A good indicator for that is that you were actually asking four questions in one post. Please don't stop contributing, I've enjoyed your questions and answers - but it would help make them specific about a certain issue. You might also want to check out the other StackExchange communities, especially Computer Science, Programmers or Code Review — Bergi 37 secs ago

Jimmy Hoffa

Ixrec

nicobar pigeons have the best neck frills

Ampt

look like neo-goth dreads

Jimmy Hoffa

Apparently a frill is mighty dangerous to have

(source: nature.com - really. Wat?)

user114359

Post your theories as answers to my question, then

Ixrec

11:12 PM

I am not posting an answer that claims Kermit is secretly a pigeon

Jimmy Hoffa

@Ixrec I will I will!

0

A: What are the triangles around Kermit's neck?

Kermit's secretly a nicobar pidgeon.

Why does anybody even let me on this platform at all..

Ampt

We've been asking ourselves that question for years

PreferenceBean

@AaronHall You're buying a grad school?

wtf is a pidgeon

Aaron Hall

some

PreferenceBean

oh, just the Hall?

hehehe

Ampt

11:18 PM

@PreferenceBean Bad PreferenceBean! Bad!

PreferenceBean

that's ok

I'll be BarryTheHatchet soon enough

Aaron Hall

One day I'm going to be able to pay for a dormitory at a school. It'll be called "Hall Hall."

PreferenceBean

hah

one day I wil invent the perfectly efficient transfer orbit, and it shall in my honour forevermore be named the light, raceable Lightness Races in Orbit orbit

DeliriousSyntax

@MichaelT So, no snowboarding during the hangout?

@PreferenceBean Hi PreferenceBean

PreferenceBean

hello liri

DeliriousSyntax

11:24 PM

Is it possible to to write a program on a device such as the most basic mp3 pplayer that just has a list of songs and plays music

Aaron Hall

I'd go with "yes"?

arstechnica.com/gaming/2016/01/…

Ixrec

@JimmyHoffa the 10kers over there are going to be so confused

Jimmy Hoffa

@Ixrec good for them. To be fair, I've left easter eggs around this site as well

Ixrec

@DeliriousSyntax what do you think is causing the mp3 player to show you a list of songs and play music?

PreferenceBean

monoids, obvs

Aaron Hall

11:39 PM

I had an SO employee I met at a Christmas party a year(+) ago suggest I ask "Who's a good doggie" on pets.SE. So I did, with an 'You are!' answer. It was pretty funny. But it got deleted. :( But I figured since I got the idea from an SO employee, if I got in trouble for it (and I didn't) I could play that card. No more pranks though, scouts' honor.

DeliriousSyntax

@Ixrec now that you mention... Now new questions: How do I see what language it can read? Can the mp3 player be decompiled? How could I inject a new program? and Where I could I learn more? I really just want to make the songs in alphabetical order so it will be easier to find a song :)

Aaron Hall

You should be Googling "how to hack an ipod"

Ixrec

I have no idea what you mean by "what language it can read" (the mp3 file format?), but the rest of that is "ask whoever made the device"

and if they don't support that sort of nefarious behavior, "google how to jailbreak it"

DeliriousSyntax

I mean like what kind of programming language because boot animation and the gui must be in some computer language

Aaron Hall

@DeliriousSyntax macworld.com/article/1049843/ipods/ipodtips.html

Ixrec

11:43 PM

the general answer remains "ask whoever made the device", since iirc you have not specified what kind of mp3 player we're talking about

user114359

That low-level stuff could be written in C, ASM, or hard-coded in the chip. The idea of a "language" is something that runs on a processor that can execute arbitrary instructions.

user114359

for a device like that, probably a combination of those

Aaron Hall

Since you can get Linux on an ipod, I'd go with Python. :D

DeliriousSyntax

$10 ematic EM102VIDDP MP3 Video Player Super cheap saw it on discounted and couldnt resist

user114359

"MP3 Video Player" eh? I thought MPEG layer 3 was audio

DeliriousSyntax

11:46 PM

Python XD that's awesome That's my favorite one

Ixrec

yeah, I thought video was MP4

DeliriousSyntax

Thats what it says on the back

MP4 is videos and MP3 is music, but on the back of this thing says MP3 Video Player

This is it ematic.us/shop/…

Perfect for work out sessions except for the fact that you can't create playlists and it's hard to find a song if you have to scroll through 300 of them manually

Transcript for