Fork me on GitHub
#off-topic
<
2017-05-03
>
john00:05:01

It's hard to think about, but you can't disprove the possibility that even our intuitions about math are consequences of features subjective to this universe. And that different semantics could be possible in a different universe.

mobileink00:05:28

no. once you go subjective "this universe" is no longer available, since every subject occupies her own universe, and there is no way to connect these universes, by definition.

mobileink00:05:49

this idea has been demolished for a long time. see Wittengenstein on the impossibility of a private language.

john00:05:12

go subjective?

john00:05:18

not sure what you mean

mobileink00:05:12

c'mon dude save me some typing! once you make the kind of claim you just made re: subjectivity.

john00:05:07

I'm not sure I 'went' subjective... I'm not picking sides on an objectivity vs. subjectivity debate here

john00:05:17

and I'm not sure in what context "this universe" becomes unaccessible. Regarding subjects occupying their own universes... I suppose you mean that metaphorically, with respect to "subjectivity" as a debate point. That's a related argument, I guess.

john00:05:55

the whole morality vs. flavor of ice cream, subjective vs. objective debate.

mobileink00:05:05

ok, you had me fooled. :) in any case, we were talking about measuring code complexity. gawd i love rabbit holes!

john00:05:06

which is a morass

john00:05:25

right right. code complexity

mobileink00:05:35

ps. note the difference between perspective and subjectivity.

john00:05:07

My point is, the characterizations we give code are human dependent. They depend on the interpretation of the evaluator.

mobileink00:05:32

ok. i'm saying that we can measure code on ways that are not so-dependent. the obvious case being LOC.

john00:05:05

sure, or bits

john00:05:45

how many bits is too complex?

mobileink00:05:07

yeah. but also, in principle, the kind of quantitative analysis we might do on literary texts. like "how frequently does this author use relative clauses", adjusted for code.

mobileink00:05:20

mrasurement is not in the business of "too much this" or "too little that".

mobileink00:05:01

you can't even think about that until you have measurement.

john00:05:48

So, I guess my point is, in order to accurately evaluate the necessary complexity of a program, you have to first know it's purpose

john00:05:09

ie the problem

john00:05:18

What is the complexity of the problem? What is the complexity of the solution space? meaning the available tools to create solutions. What is the simplest design of the tools available in the solution space that produces a solution to the problem?

john00:05:49

In other words, I don't think it's a trivial problem.

john00:05:05

very context dependent.

john00:05:25

In fact, it is impossible to produce a machine that can measure all other machines

john00:05:39

If a particular machine is good at measuring the effectiveness of certain solutions for certain problems, it will be less good at measuring the effectiveness of other solutions for other problems.

john00:05:17

Unless your space is bounded, but useful tools usually become unbounded quickly

qqq02:05:33

how is it only $400 ?

dpsutton02:05:07

because it's a four year old chromebook with a nice screen.

qqq02:05:03

yeah, but it's got a nice screen and it's a crhomeboko pixel

john02:05:08

Pretty good price. Keyboard sucks to program on though iirc (at least with the other CBs. haven't tried the pixel)

qqq02:05:18

Bluetooth 3.0 , Webcam, and Dual Band WiFi Built in. Connect your Chromebook (if it have HDMI port) to a TV via HDMI and double check sound works there. Then make sure that speakers output is Chromebook
Weighs only 3.4 lbs. and measures just 0.6" thin.Check if there is a weird Chrome extension installed and perform a test by using Guest mode and see if it works or do a Chrome Browser Reset
Built In Verizon 4G LTE with 100mb included each month.If you suspect that there is a hardware issue do a EC Reset (Hard Reset)
Dual Core 1.8Ghz Intel i5 Processor and 4GB DDR3 RAM.Maybe there is an issue on the user profile, that can be fixed with a Powerwash Reset (Before you reset, make sure to back up your files on Google Drive or an external hard drive. The factory reset won't delete any of your files on Google Drive or external hard drive.)
this is weird; sounds like they're used or something; why would there be 'weird' profiles / extensions installed ?

noisesmith02:05:31

don't you get all your extensions as soon as you log in with your profile?

john02:05:55

lol sounds like the author didn't think that through

qqq03:05:42

@noisesmith : true, but on a supposedly new item, why is that in the description ?

noisesmith03:05:43

because you get your extensions as soon as you log in, via google account

noisesmith03:05:52

you don't have the user experience of installing them on that box

qqq03:05:05

you mean the reason the perso nwrote it there

qqq03:05:20

is that people logged in with their google accounts, got some extension taht was attached to their google accounts

qqq03:05:30

and then went "WTF, how did this extension appear" ?

noisesmith03:05:45

no, they are like "wtf, why is this box slow"

noisesmith03:05:51

because extension

noisesmith03:05:55

that's what it means

noisesmith03:05:27

(I think? It's definitely a bit weird)

john03:05:37

it sounded to me like they're used...

john03:05:30

I'd do a powerwash either way

qqq03:05:06

eh; you guys freaked me out

qqq03:05:12

2 orders cancelled

danp07:05:54

john: I've got a Chromebook and they're okay. There's a setting which lets you use the top row as function keys and you can hold the Search key to access the standard top row actions. That said, I wouldn't want one as my main device! 🙂

john03:05:31

and have fun relearning your tmux/screen keybindings

qqq05:05:25

fuck; if I just typed my wifi password trying to login to aq wrong network, does that orther router now hav emy password?

danp07:05:54

john: I've got a Chromebook and they're okay. There's a setting which lets you use the top row as function keys and you can hold the Search key to access the standard top row actions. That said, I wouldn't want one as my main device! 🙂

qqq17:05:41

https://www.worldcoinindex.com/coin/zcash <-- how did zcash manage to start and stay at such a high price ?

dominicm17:05:37

Loads of build up

qqq17:05:56

they're at #12, having beaten out dogecoin

qqq17:05:31

I wonder how much of bitcoin is propped up by crime lords avoiding civil forfeiture.

dominicm17:05:47

Crazy. Has zcash been peer reviewed by cryptographers yet?

qqq17:05:30

It's invented by a number of CS profs / PhD students from top schools ,like MIT, Berkeley

qqq17:05:55

It's based on zsnark, which I believe uses unconventional crypto assumptions.

dominicm17:05:58

Yeah, but they're mathematicians, not cryptographers.

qqq17:05:06

They publish in top crypto journals.

dominicm17:05:22

Hmm, seems I've mixed it up with another coin, maybe an older variation on it

dominicm17:05:45

The issue with zcash is somewhat it's immaturity & lack of peer review (vs e.g. Ring signatures like used in Monero which are far more mature)

dominicm17:05:09

https://i.stack.imgur.com/twWKs.png Peter Todd was part of the "trusted setup" That's the flaw with zcash

qqq18:05:48

I was under the impression that atleast one of the six people destoryed their DVD, it would be fine.

dominicm18:05:29

Considering the extent of nsa backdoors, it may not matter.

dominicm18:05:38

There's also the colluding argument.

dominicm18:05:35

There's also something about the attacks to deanonymize a user requiring way less than a 51% attack (Section 6.4 of the paper)

john19:05:05

I like how etherium uses a metered vm to fund infrastructure services. Seems like that could turn into a snowball, if done right.

john19:05:30

all the instances run the vm. if you want to leverage services over the network, those services cost some small coin fee.

john19:05:12

That way more are incentivized to provide services.

john19:05:56

But there are fundamental problems with all the coins, imo, if they want to supplant real cash.